Title :
A Methodology for Interoperability Testing of a MANET Routing Protocol
Author :
Merouane, Koceilah ; Grepet, Cyril ; Maag, Stephane
Author_Institution :
CNRS SAMOVAR, Evry
Abstract :
In this paper, we propose a methodology to test the interoperability of a MANET routing protocol, that is DSR. This approach is based on a formal specification of the protocol designed in SDL. From this specification and the requirements of the protocol, test scenario are automatically generated to test the interactions between two implementations. A test architecture is depicted and experiments are illustrated on an implementation of the protocol in a a real case study.
Keywords :
ad hoc networks; formal specification; mobile computing; open systems; routing protocols; MANET routing protocols; dynamic source routing protocol; formal specification; interoperability testing; Automatic testing; Context modeling; Formal specifications; IP networks; Mobile ad hoc networks; Network topology; Performance evaluation; Routing protocols; System testing; Telecommunication network reliability;
Conference_Titel :
Wireless and Mobile Communications, 2007. ICWMC '07. Third International Conference on
Conference_Location :
Guadeloupe
Print_ISBN :
0-7695-2796-5
Electronic_ISBN :
0-7695-2796-5
DOI :
10.1109/ICWMC.2007.2
