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.