2009 16th Asia-Pacific Software Engineering Conference 2009
DOI: 10.1109/apsec.2009.37
|View full text |Cite
|
Sign up to set email alerts
|

Analysis of the OLSR Protocol by Using Formal Passive Testing

Abstract: Abstract-In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, socalled 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2011
2011
2012
2012

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 30 publications
0
1
0
Order By: Relevance
“…However, in certain circumstances the tester cannot interact with the system and has to analyze observations of this system that are not controlled by him: he becomes a passive tester. During the last years, I was interested on the definition of a passive testing methodology for timed systems [3] and in the application of the methodology to real systems [2,1].…”
Section: Other Work On Testing Of Timed and Probabilistic Systemsmentioning
confidence: 99%
“…However, in certain circumstances the tester cannot interact with the system and has to analyze observations of this system that are not controlled by him: he becomes a passive tester. During the last years, I was interested on the definition of a passive testing methodology for timed systems [3] and in the application of the methodology to real systems [2,1].…”
Section: Other Work On Testing Of Timed and Probabilistic Systemsmentioning
confidence: 99%