DataMonitor : a formal approach for passively testing a MANET routing protocol - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès IWCMC '13 : The 9th IEEE International Wireless Communications & Mobile Computing Conference Année : 2013

DataMonitor : a formal approach for passively testing a MANET routing protocol

Résumé

By applying formal description techniques and formal testing approaches, it is possible to validate the conformance of implementations to the requirements of communication protocols. However, and particularly in wireless communications systems, most of the testing work is devoted to the evaluation of their performance in a simulated environment without formal descriptions. The current work expands on our formal approach for black-box testing of network protocols implemented in the tool DataMonitor, and it demonstrates its applications for MANET routing protocols through passive testing on OLSR traces. With such application, we show how our formal approach can help express complex properties from data relations in messages and evaluated them on real traces. The results from our experiments with an OLSR implementation are provided.
Fichier non déposé

Dates et versions

hal-00860243 , version 1 (10-09-2013)

Identifiants

Citer

Felipe Lalanne Rojas, Stephane Maag. DataMonitor : a formal approach for passively testing a MANET routing protocol. IWCMC '13 : The 9th IEEE International Wireless Communications & Mobile Computing Conference, Jul 2013, Cagliari, Sardinia, Italy. pp.207-212, ⟨10.1109/IWCMC.2013.6583560⟩. ⟨hal-00860243⟩
18 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More