Analysis of the OLSR Protocol by Using Formal Passive Testing

Andrés, César; Maag, Stéphane; Cavalli, Ana; Merayo, Mercedes G.; Núñez, Manuel

doi:10.1109/apsec.2009.37

Search citation statements

Order By: Relevance

Paper Sections

Select...

Other Work On Testing Of Timed and Probabilistic Systems1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2011

2012

Publication Types

Select...

Book1

Other1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 30 publications

(29 reference statements)

Supporting

Mentioning

Contrasting

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%

Formal Testing of Timed and Probabilistic Systems

Núñez

2011

Testing Software and Systems

View full text Add to dashboard Cite

This talk reviews some of my contributions on formal testing of timed and probabilistic systems, focusing on methodologies that allow their users to decide whether these systems are correct with respect to a formal specification. The consideration of time and probability complicates the definition of these frameworks since there is not an obvious way to define correctness. For example, in a specific situation it might be desirable that a system is as fast as possible while in a different application it might be required that the performance of the system is exactly equal to the one given by the specification. All the methodologies have as common assumption that the system under test is a black-box and that the specification is described as a timed and/or probabilistic extension of the finite state machines formalism.

show abstract

Section: Other Work On Testing Of Timed and Probabilistic Systemsmentioning

confidence: 99%