RT Journal Article
T1 Analysis of the OLSR Protocol by Using Formal Passive Testing
A1 García Merayo, María De Las Mercedes
A1 Andrés Sánchez, César
A1 Maag, Stéphane
A1 Cavalli, Ana
A1 Núñez García, Manuel
AB 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.
PB IEEE Computer Society
SN 1530-1362
YR 2009
FD 2009-12
LK https://hdl.handle.net/20.500.14352/42203
UL https://hdl.handle.net/20.500.14352/42203
LA eng
NO 16th Asia-Pacific Software Engineering Conference.DEC 01-03, 2009.Bat Ferringhi, MALAYSIA.
DS Docta Complutense
RD 8 jun 2025