Title :
Testing Methodology Using SDL for an On-demand Routing Protocol in MANET
Author :
Rookhosh, F. ; Haghighat, A. Toroghi ; Nickmanesh, S.
Author_Institution :
Sch. of Comput. Eng., Islamic Azad Univ., Qazvin
Abstract :
This paper presents a validation model for the DSR routing protocol that includes a specification of the protocol and a test scenario. The scenario tests the conformance of a system implementation. The specification has been performed using the SDL language that developed by ITU-T and the scenario has been generated from the specification in a tool like Cinderella SDL. The test generation method is based on a set of test purposes that express specific system properties and is completely automated.
Keywords :
ad hoc networks; mobile radio; routing protocols; specification languages; telecommunication computing; Cinderella SDL; DSR routing protocol; MANET; SDL language; dynamic source routing protocol; on-demand routing protocol; system Implementation; testing methodology; wireless mobile ad hoc network; Ad hoc networks; Automatic testing; Computer networks; Formal specifications; Interference; Mobile ad hoc networks; Peer to peer computing; Routing protocols; Spread spectrum communication; System testing;
Conference_Titel :
Systems and Networks Communications, 2008. ICSNC '08. 3rd International Conference on
Conference_Location :
Sliema
Print_ISBN :
978-0-7695-3371-1
DOI :
10.1109/ICSNC.2008.43
