Universidad Complutense de Madrid
E-Prints Complutense

Analysis of the OLSR Protocol by Using Formal Passive Testing

Impacto

Descargas

Último año

García Merayo, Mercedes y Andrés Sánchez, César y Maag, Stéphane y Cavalli, Ana y 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 . 152-159 . ISSN 1530-1362

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.

411kB

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


URLTipo de URL
http://www.ieee.org/Institución


Resumen

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.


Tipo de documento:Artículo
Información Adicional:

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

Palabras clave:Protocol Testing; Formal Methods; Timed Systems; Passive Testing; MANET routing protocols.
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15587
Depositado:12 Jun 2012 08:13
Última Modificación:12 Jun 2012 08:13

Descargas en el último año

Sólo personal del repositorio: página de control del artículo