Model-based testing for MANETs - Archive ouverte HAL
Article Dans Une Revue Proceedings of the Institute for System Programming of the RAS (ISP RAS) Année : 2014

Model-based testing for MANETs

Résumé

Conformance testing in network engineering is a crucial phase in the development of complex communicating systems. Model-based testing allows to automatize the testing process by generating test suites from a formal specification and to execute them on a real IUT. While many techniques have been developed, their application to test wireless routing ad-hoc protocols still raises many issues. The paper objective paper is to present the node self-similarity reducing the number of inconclusive verdicts often met in traditional MBT

Dates et versions

hal-01255093 , version 1 (13-01-2016)

Identifiants

Citer

Stephane Maag. Model-based testing for MANETs. Proceedings of the Institute for System Programming of the RAS (ISP RAS), 2014, 26 (6), pp.31 - 46. ⟨10.15514/ISPRAS-2014-26(6)-2⟩. ⟨hal-01255093⟩
35 Consultations
0 Téléchargements

Altmetric

Partager

More