A Methodology for Interoperability Testing of a MANET Routing Protocol

Authors:
Koceilah Merouane;Cyril Grepet;Stephane Maag
Affiliations:
Institut National des Telecommunications, France;Institut National des Telecommunications, France;Institut National des Telecommunications, France
Venue:
ICWMC '07 Proceedings of the Third International Conference on Wireless and Mobile Communications
Year:
2007

Citing 0
Cited 4

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

Computer Communications
Interoperability testing of a MANET routing protocol using a node self-similarity approach

Proceedings of the 2008 ACM symposium on Applied computing
A generic formal framework for protocol interoperability test and test cases minimization

Proceedings of the 3rd international workshop on Automation of software test
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a methodology to test the interoperability of a MANET routing protocol, that is DSR. This approach is based on a formal specification of the protocol designed in SDL. From this specification and the requirements of the protocol, test scenarii are automatically generated to test the interactions between two implementations. A test architecture is depicted and experiments are illustrated on an implementation of the protocol ima a real case study.