@inproceedings{57796b503b7e48e89a6d4119a1ebfb5e,
title = "DataMonitor - A formal approach for passively testing a MANET routing protocol",
abstract = "By applying formal description techniques and formal testing approaches, it is possible to validate the conformance of implementations to the requirements of communication protocols. However, and particularly in wireless communications systems, most of the testing work is devoted to the evaluation of their performance in a simulated environment without formal descriptions. The current work expands on our formal approach for black-box testing of network protocols implemented in the tool DataMonitor, and it demonstrates its applications for MANET routing protocols through passive testing on OLSR traces. With such application, we show how our formal approach can help express complex properties from data relations in messages and evaluated them on real traces. The results from our experiments with an OLSR implementation are provided.",
keywords = "Formal approach, MANET, Passive conformance testing, Routing protocols",
author = "Felipe Lalanne and Stephane Maag",
year = "2013",
month = sep,
day = "16",
doi = "10.1109/IWCMC.2013.6583560",
language = "English",
isbn = "9781467324793",
series = "2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013",
pages = "207--212",
booktitle = "2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013",
note = "2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013 ; Conference date: 01-07-2013 Through 05-07-2013",
}