Title :
Analysis of the OLSR Protocol by Using Formal Passive Testing
Author :
Andres, Cesar ; Maag, Stephane ; Cavalli, Ana ; Merayo, Mercedes G. ; Nuez, M.
Author_Institution :
Dept. de Sist. Informaticos y Comput., Univ. Complutense de Madrid, Madrid, Spain
Abstract :
In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, so-called invariants provide us with a formal representation of the requirements of the system. In order to precisely express new properties in multi-node environments, in this paper we introduce a new kind of invariants. We apply the resulting framework to perform a complete study of a MANET routing protocol: The optimized link state routing protocol.
Keywords :
ad hoc networks; formal verification; mobile communication; program testing; routing protocols; MANET routing protocol; OLSR protocol; formal passive testing; formal representation; multinode environments; optimized link state routing protocol; Acoustic testing; Electronic mail; Mobile ad hoc networks; Performance evaluation; Routing protocols; Runtime; Software engineering; Software testing; System testing; Telecommunication computing; Formal Methods; MANET routing protocols; Passive Testing; Protocol Testing; Timed Systems;
Conference_Titel :
Software Engineering Conference, 2009. APSEC '09. Asia-Pacific
Conference_Location :
Penang
Print_ISBN :
978-0-7695-3909-6
DOI :
10.1109/APSEC.2009.37
