7th International Conference on Mobile Data Management (MDM'06)
Conformance and Interoperability Testing of an Ad Hoc Routing Protocol
Nara, Japan
May 10-May 12
ISBN: 0-7695-2526-1
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.