A Component based Testing Technique for a MANET Routing Protocol.

Fatiha Zaïdi 1 Mounir Lallali 2 Stephane Maag 3
1 LRI - Laboratoire de Recherche en Informatique
2 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 METHODES
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
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.
Keywords : SPIN Model-checker Conformance Testing MANET Routing Protocols
Type de document :
Communication dans un congrès
The ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'10), May 2010, Tunisia. pp.1-7, 2010, 〈10.1109/AICCSA.2010.5587040〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger
http://hal.univ-brest.fr/hal-00706005
Contributeur : Mounir Lallali <>
Soumis le : vendredi 8 juin 2012 - 16:24:45
Dernière modification le : mardi 24 avril 2018 - 13:35:58
Document(s) archivé(s) le : lundi 10 septembre 2012 - 12:10:25

Fichier

A_Component_based_Testing_Tech...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

TELECOM-SUDPARIS | UMR8623 | UNIV-BREST | INRIA | LRI-VALS

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, Tunisia. pp.1-7, 2010, 〈10.1109/AICCSA.2010.5587040〉. 〈hal-00706005〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

176

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD