Universidad Complutense de Madrid
E-Prints Complutense

Analysis of the OLSR Protocol by Using Formal Passive Testing

Impacto

Downloads

Downloads per month over past year

García Merayo, Mercedes and Andrés Sánchez, César and Maag, Stéphane and Cavalli, Ana and Nuñez García, Manuel (2009) Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC '09 Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference . pp. 152-159. ISSN 1530-1362

[img] PDF
411kB

Official URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5358585


URLURL Type
http://www.ieee.org/Organisation


Abstract

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.


Item Type:Article
Additional Information:

16th Asia-Pacific Software Engineering Conference.DEC 01-03, 2009.Bat Ferringhi, MALAYSIA.

Uncontrolled Keywords:Protocol Testing; Formal Methods; Timed Systems; Passive Testing; MANET routing protocols.
Subjects:Sciences > Mathematics > Operations research
ID Code:15587
Deposited On:12 Jun 2012 08:13
Last Modified:22 Aug 2018 10:53

Origin of downloads

Repository Staff Only: item control page