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

fYear

2009

fDate

1-3 Dec. 2009

Firstpage

152

Lastpage

159

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2009. APSEC '09. Asia-Pacific

Conference_Location

Penang

ISSN

1530-1362

Print_ISBN

978-0-7695-3909-6

Type

conf

DOI

10.1109/APSEC.2009.37

Filename

5358585