@inproceedings{3a416f4a51fc47a0ac4c9ac9c41df222,
title = "Testing methodology for an ad hoc routing protocol",
abstract = "In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networks and issues new challenges to treat these constraints. In the network community, the practice is based on simulation models that allow to perform performance measures but no formal methods are used. We propose to promote the use of formal description techniques such as the promela and SDL languages that are both well accepted in the community of communication protocols. Until now, few works exist that handle the formal description of ad hoc networks, this network has as a main feature the absence of infrastructure. So, conformance testing and verification need to be revisited in order to bridge the gap between these new protocols and formal methods. In order to test and verify such protocols we need first to dispose of a formal model of what we want to verify and test. This is what we propose herein.",
keywords = "Ad hoc network protocols, Model checking, PLTL, SPIN, Simulations, Testing, Verification",
author = "St{\'e}phane Maag and Fatiha Zaidi",
year = "2006",
month = dec,
day = "1",
doi = "10.1145/1163653.1163663",
language = "English",
isbn = "1595935029",
series = "PM2HW2N 2006: Proceedings of 2006 ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks",
pages = "48--55",
booktitle = "PM2HW2N 2006",
note = "PM2HW2N 2006: 2006 ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks ; Conference date: 02-10-2006 Through 02-10-2006",
}