Title :
A validation model for the DSR protocol
Author :
Cavalli, Ana ; Grepet, Cyril ; Maag, Stéphane ; Tortajada, Vincent
Author_Institution :
GET, Inst. Nat. des Telecommun., Evry, France
Abstract :
We present a validation model for the dynamic source routing (DSR) protocol. This model includes a formal specification of the protocol and a set of scenarios. The scenarios test the conformance of a given implementation to some targeted system functionalities. The DSR protocol has been specified following the IETF draft [D.B. Johnson, et al., (2003)]. The formal specification has been performed using the SDL language and the scenarios have been generated from the specification using a method and a tool developed at INT [A. Cavalli, et al., (1999)]. The test generation method is based on a set of test purposes that express specific system properties and is completely automated. We also present the experimentation results of the application of our tool to the DSR protocol.
Keywords :
ad hoc networks; conformance testing; formal specification; formal verification; routing protocols; specification languages; wireless LAN; IETF draft; SDL language; ad hoc wireless network; conformance testing; dynamic source routing protocol; formal specification; test generation method; validation model; Ad hoc networks; Automatic testing; Formal specifications; Mobile ad hoc networks; Network topology; Routing protocols; Standards development; System testing; Telecommunication network reliability; Wireless networks;
Conference_Titel :
Distributed Computing Systems Workshops, 2004. Proceedings. 24th International Conference on
Print_ISBN :
0-7695-2087-1
DOI :
10.1109/ICDCSW.2004.1284120
