Title :
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
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;
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
DOI :
10.1109/PERCOMW.2007.16
