DocumentCode
1604074
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
fYear
2008
Firstpage
316
Lastpage
321
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems and Networks Communications, 2008. ICSNC '08. 3rd International Conference on
Conference_Location
Sliema
Print_ISBN
978-0-7695-3371-1
Type
conf
DOI
10.1109/ICSNC.2008.43
Filename
4693690
Link To Document