A formal passive testing approach to test a MANET routing protocol - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A formal passive testing approach to test a MANET routing protocol

Résumé

Conformance testing is crucial to the quality and reliability of routing protocols for pervasive communications. Most of the works are devoted to their simulations in order to study their performance in a simulated context without taking into account their formal requirements and specifications. Our work tackles the formal methods to test the conformance of a ad hoc routing protocol (i.e. OLSR) deployed in a real network. A passive testing technique is applied taking into account the OLSR formal specification, formal description of properties and collected traces of the implementation. This approach is complementary to active testing techniques allowing then to reduce the inconclusive verdicts often observed in several experiments
Fichier non déposé

Dates et versions

hal-01369686 , version 1 (21-09-2016)

Identifiants

Citer

Ana Rosa Cavalli, Stephane Maag, Edgardo Montes de Oca, Fatiha Zaidi. A formal passive testing approach to test a MANET routing protocol. PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking , Mar 2009, Galveston, United States. pp.1 - 6, ⟨10.1109/PERCOM.2009.4912874⟩. ⟨hal-01369686⟩
123 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More