Title :
Conformance and Interoperability Testing of an Ad Hoc Routing Protocol
Author :
Grepet, Cyril ; Maag, Stephane
Author_Institution :
National Institute of Telecommunications, France
Abstract :
Several researches are currently dealing with the validation of ad hoc routing protocols. But almost all of them stress their analysis from simulation or emulation studies. We present in this paper a formal methodology for the conformance and interoperability testing of the DSR protocol based on a formal specification of the protocol designed in SDL. Difficulties in interoperability testing are illustrated and solutions are proposed.
Keywords :
Ad hoc networks; Analytical models; Emulation; Formal specifications; Mobile ad hoc networks; Network topology; Routing protocols; Stress; Telecommunication network reliability; Testing;
Conference_Titel :
Mobile Data Management, 2006. MDM 2006. 7th International Conference on
Print_ISBN :
0-7695-2526-1
DOI :
10.1109/MDM.2006.49
