Testing Methodology Using SDL for an On-demand Routing Protocol in MANET

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.

[1]  Ana R. Cavalli,et al.  Testing Methods for SDL Systems , 1996, Comput. Networks ISDN Syst..

[2]  Charles E. Perkins,et al.  Ad hoc On-Demand Distance Vector (AODV) Routing , 2001, RFC.

[3]  David B. Johnson,et al.  Routing in Ad Hoc Networks of Mobile Hosts , 1994, 1994 First Workshop on Mobile Computing Systems and Applications.

[4]  David A. Maltz,et al.  Protocols for Adaptive Wireless and Mobile Networking , 1996 .

[5]  Richard Castanet,et al.  Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis , 2002, TestCom.

[6]  J. Broch,et al.  Dynamic source routing in ad hoc wireless networks , 1998 .

[7]  David A. Maltz,et al.  A performance comparison of multi-hop wireless ad hoc network routing protocols , 1998, MobiCom '98.

[8]  Asis Nasipuri,et al.  Mobile Ad Hoc Networks , 2004 .

[9]  Vaduvur Bharghavan,et al.  MACAW: a media access protocol for wireless LAN's , 1994, SIGCOMM 1994.

[10]  Gregory A. Hansen,et al.  The Optimized Link State Routing Protocol , 2003 .

[11]  Elizabeth M. Belding-Royer,et al.  A review of current routing protocols for ad hoc mobile wireless networks , 1999, IEEE Wirel. Commun..

[12]  Jing Deng,et al.  Dual busy tone multiple access (DBTMA): a new medium access control for packet radio networks , 1998, ICUPC '98. IEEE 1998 International Conference on Universal Personal Communications. Conference Proceedings (Cat. No.98TH8384).

[13]  Zygmunt J. Haas,et al.  The zone routing protocol (zrp) for ad hoc networks" intemet draft , 2002 .

[14]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.

[15]  Vincent Park,et al.  Temporally-Ordered Routing Algorithm (TORA) Version 1 Functional Specification , 2001 .

[16]  David B. Johnson,et al.  The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks , 2003 .

[17]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.