A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach

Authors:
Cyril Grepet;Stephane Maag
Affiliations:
Institut National des Telecommunications CNRS SAMOVAR, France;Institut National des Telecommunications CNRS SAMOVAR, France
Venue:
PERCOMW '07 Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops
Year:
2007

Citing 0
Cited 1

A formal validation methodology for MANET routing protocols based on nodes' self similarity

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a new approach to test the conformance of a wireless ad hoc routing protocol. This approach is based on a formal specification of the DSR protocol described by using the SDL language. Test scenarii are automatically generated by a tool developed in our laboratory and a method enabling to execute them on an implementation into a real network is illustrated. The concept of self-similarity is presented to reduce by combination the number of nodes in a network enabling to execute the test scenarii in defining a relationship between the network and specification topologies.