Start Over

A formal passive testing approach to test a MANET routing protocol

Authors :: Ana Cavalli
Fatiha Zaïdi
Stephane Maag
Edgardo Montes de Oca
Méthodes et modèles pour les réseaux (METHODES-SAMOVAR)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR)
Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP)-Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP)
Département Logiciels et Réseaux (LOR)
Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP)
Centre National de la Recherche Scientifique (CNRS)
Montimage Research labs (Montimage )
Laboratoire de Recherche en Informatique (LRI)
Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Source :: Proceedings PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking, PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking, PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking, Mar 2009, Galveston, United States. pp.1-6, ⟨10.1109/PERCOM.2009.4912874⟩, PerCom Workshops
Publication Year :: 2009
Publisher :: HAL CCSD, 2009.
Abstract: International audience; Conformance testing is crucial to the quality and reliability of routing protocols for pervasive communications. Most of the works are devoted to their simulations in order to study their performance in a simulated context without taking into account their formal requirements and specifications. Our work tackles the formal methods to test the conformance of a ad hoc routing protocol (i.e. OLSR) deployed in a real network. A passive testing technique is applied taking into account the OLSR formal specification, formal description of properties and collected traces of the implementation. This approach is complementary to active testing techniques allowing then to reduce the inconclusive verdicts often observed in several experiments

Subjects :: Routing protocol
business.industry
Wireless ad hoc network
Computer science
Distributed computing
ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS
020206 networking & telecommunications
020207 software engineering
Context (language use)
02 engineering and technology
Mobile ad hoc network
Formal methods
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Optimized Link State Routing Protocol
Formal specification
0202 electrical engineering, electronic engineering, information engineering
Conformance testing
business
Computer network

Details

Language :: English
Database :: OpenAIRE
Journal :: Proceedings PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking, PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking, PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking, Mar 2009, Galveston, United States. pp.1-6, ⟨10.1109/PERCOM.2009.4912874⟩, PerCom Workshops
Accession number :: edsair.doi.dedup.....dcc353e0ef5fd9141bf116ebc4cfb86a
Full Text :: https://doi.org/10.1109/PERCOM.2009.4912874⟩