A passive conformance testing approach for a MANET routing protocol

In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing topology and lack of centralized management. This makes it necessary to investigate new ways to test complex scenarios and configurations. The work here proposes a formal passive testing method to test the conformance and reliability of the protocol. The method developed has been performed on a real case study showing that the approach can be successful applied and that it allows reducing inconclusive verdicts often observed using other methods. Categories and Subject Descriptors C.2.2 [Computer-Communication Networks]: Network Protocols—Routing protocols; D.2.5 [Software Engineering]: Testing and Debugging—Testing Tools; I.6 [Simulation and Modeling]: Model Validation and Analysis General Terms Design, Reliability, Verification Keywords MANET, Routing Protocols, Conformance Testing

• Type: Conference
• Year: 2009
• Where: SAC
• Authors: Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca
• Keywords: Applied Computing, Conformance Testing, Passive Conformance Testing, Routing Protocols, SAC 2009