DocumentCode
2113960
Title
A Methodology for Interoperability Testing of a MANET Routing Protocol
Author
Merouane, Koceilah ; Grepet, Cyril ; Maag, Stephane
Author_Institution
CNRS SAMOVAR, Evry
fYear
2007
fDate
4-9 March 2007
Firstpage
5
Lastpage
5
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICWMC.2007.2
Filename
4138110
Link To Document