|
Título:
|
Analysis of the OLSR Protocol by Using Formal Passive Testing
|
|
Autores:
|
García Merayo, Mercedes ;
Andrés Sánchez, César ;
Maag, Stéphane ;
Cavalli, Ana ;
Núñez García, Manuel
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
IEEE Computer Society, 2009-12
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Matemáticas: Investigación operativa
,
Tipo = Artículo
|
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/15587/1/09.pdf
|
