Analysis of the OLSR protocol by using formal passive testing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Analysis of the OLSR protocol by using formal passive testing

Résumé

In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, so-called invariants provide us with a formal representation of the requirements of the system. In order to precisely express new properties in multi-node environments, in this paper we introduce a new kind of invariants. We apply the resulting framework to perform a complete study of a MANET routing protocol: The Optimized Link State Routing protocol

Dates et versions

hal-01366249 , version 1 (14-09-2016)

Identifiants

Citer

César Andrés, Stephane Maag, Ana Rosa Cavalli, Mercedes Merayo, Manuel Nunez. Analysis of the OLSR protocol by using formal passive testing. APSEC 2009 : 16th Asia-Pacific Software Engineering Conference, Dec 2009, Penang, Malaysia. pp.152 - 159, ⟨10.1109/APSEC.2009.37⟩. ⟨hal-01366249⟩
57 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More