Skip to Main content Skip to Navigation
Conference papers

A Component based Testing Technique for a MANET Routing Protocol.

Abstract : This paper deals with the crucial challenging issue of testing the conformance of the MANET routing protocols. Indeed, because of the inherent constraints of such networks such as a dynamic topology, to formally test these protocols becomes a tough problem. Most of the studies taking into account a formal model of the protocol is faced to the combinatorial state space explosion issue when deploying and analyzing that model. In our work we present how to cope with that problem by drawing inspiration of the model-checker research domain and an integration of a component-based testing algorithm dedicated to the automatic generation of OLSR test sequences from a formal model written in Promela.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.univ-brest.fr/hal-00706005
Contributor : Mounir Lallali <>
Submitted on : Friday, June 8, 2012 - 4:24:45 PM
Last modification on : Tuesday, September 29, 2020 - 2:13:22 PM
Long-term archiving on: : Monday, September 10, 2012 - 12:10:25 PM

File

A_Component_based_Testing_Tech...
Files produced by the author(s)

Identifiers

Citation

Fatiha Zaïdi, Mounir Lallali, Stephane Maag. A Component based Testing Technique for a MANET Routing Protocol.. The ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'10), May 2010, Hammamet, Tunisia. pp.1-7, ⟨10.1109/AICCSA.2010.5587040⟩. ⟨hal-00706005⟩

Share

Metrics

Record views

393

Files downloads

529