A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach

Author

Grepet, Cyril ; Maag, Stéphane

Author_Institution

Inst. Nat. des Telecommun., CNRS SAMOVAR, Evry

fYear

2007

fDate

19-23 March 2007

Firstpage

514

Lastpage

519

Abstract

In this paper we present a new approach to test the conformance of a wireless ad hoc routing protocol. This approach is based on a formal specification of the DSR protocol described by using the SDL language. Test scenarii are automatically generated by a tool developed in our laboratory and a method enabling to execute them on an implementation into a real network is illustrated. The concept of self-similarity is presented to reduce by combination the number of nodes in a network enabling to execute the test scenarii in defining a relationship between the network and specification topologies

Keywords

ad hoc networks; mobile radio; routing protocols; specification languages; DSR protocol; MANET routing protocol; SDL language; node self-similarity approach; wireless ad hoc routing protocol; Ad hoc networks; Automatic testing; Computational modeling; Formal specifications; Laboratories; Mobile ad hoc networks; Network topology; Performance evaluation; Routing protocols; Telecommunication network reliability;

fLanguage

English

Publisher

ieee

Conference_Titel

Pervasive Computing and Communications Workshops, 2007. PerCom Workshops '07. Fifth Annual IEEE International Conference on

Conference_Location

White Plains, NY

Print_ISBN

0-7695-2788-4

Type

conf

DOI

10.1109/PERCOMW.2007.16

Filename

4144890