Nodes self-similarity to test wireless ad hoc routing protocols

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 scenarios are automatically generated by a tool developed in our laboratory. A method enabling to execute them on an implementation into a real network is illustrated. Indeed, an important issue is to execute some generated test scenarios on a dynamic network in which the links are routinely modified. Therefore, the concept of self-similarity is presented to reduce the number of nodes by collapsing them in a real network. This enables to execute the test scenarios in defining a relationship between the network and specification topologies.

Original languageEnglish
Title of host publicationTesting of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings
EditorsAlexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
PublisherSpringer Verlag
Pages123-137
Number of pages15
ISBN (Print)3540730656, 9783540730651
DOIs
Publication statusPublished - 1 Jan 2007
Externally publishedYes
Event19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007 - Tallinn, Estonia
Duration: 26 Jun 200729 Jun 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4581 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Testcom 2007, and 7th International Workshop on Formal Approaches to Testing Software, FATES 2007
Country/TerritoryEstonia
CityTallinn
Period26/06/0729/06/07

Fingerprint

Dive into the research topics of 'Nodes self-similarity to test wireless ad hoc routing protocols'. Together they form a unique fingerprint.

Cite this