Verisim: Formal Analysis of Network Simulations
IEEE Transactions on Software Engineering
A Formal Approach for Passive Testing of Protocol Data Portions
ICNP '02 Proceedings of the 10th IEEE International Conference on Network Protocols
A passive testing approach based on invariants: application to the WAP
Computer Networks and ISDN Systems
A formal validation methodology for MANET routing protocols based on nodes' self similarity
Computer Communications
Interoperability testing of a MANET routing protocol using a node self-similarity approach
Proceedings of the 2008 ACM symposium on Applied computing
Towards A Game Theoretic Understanding of Ad-Hoc Routing
Electronic Notes in Theoretical Computer Science (ENTCS)
An EFSM-based intrusion detection system for ad hoc networks
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
A testing architecture for designing high-reliable MANET protocols
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
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.