Paper Info
Title
A test generation framework for quiescent real-time systems
Abstract
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 behaviour. 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.
Year
DOI
Venue
2004
10.1007/978-3-540-31848-4_5
FATES
Keywords
Field
DocType
corresponding implementation relation,observation duration,test generation,non-conforming implementation,implementation relation,test generation framework,quiescent real-time system,input-output transition system,real-time behaviour,real-time system,test generation algorithm,test case,real time,real time systems,input output
Transition system,Parameterized complexity,Nondeterministic algorithm,Test theory,Algorithm,Real-time computing,Test case,Engineering
Conference
Volume
ISSN
ISBN
3395
0302-9743
3-540-25109-X
Citations 
PageRank 
References 
42
1.83
18
Authors
2
Name
Order
Citations
PageRank
Laura Brandán Briones1754.99
Ed Brinksma21676210.11