Sciweavers

Share
FATES
2004
Springer

A Test Generation Framework for quiescent Real-Time Systems

9 years 7 months ago
A Test Generation Framework for quiescent Real-Time Systems
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational interpretation of the notion of quiescence in the context of real-time behavior. This gives rise to a family of implementation relations parameterized by observation durations for quiescence. We define a nondeterministic (parameterized) test generation algorithm that generates test cases that are sound with respect to the corresponding implementation relation. Also, the test generation is exhaustive in the sense that for each non-conforming implementation a test case can be generated that detects the non-conformance.
Laura Brandán Briones, Ed Brinksma
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FATES
Authors Laura Brandán Briones, Ed Brinksma
Comments (0)
books