Proceedings of ISP RAS


Model-Based Testing for MANETs.

Stéphane Maag

Abstract

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.

Keywords

model based testing; manet; nodes self-similarity; routing protocols

Edition

Proceedings of the Institute for System Programming, vol. 26, issue 6, 2014, pp. 31-46.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2014-26(6)-2

Full text of the paper in pdf (in Russian) Back to the contents of the volume