Skip to content. | Skip to navigation

Personal tools

L B Briones and M Röhl (2005)

Test Derivation from Timed Automata

In: Model-based Testing of Reactive Systems, ed. by Broy, M. and Jonsson, B. and Katoen, J.-P. and Leucker, M. and, chap. 8, pp. 201-231, Lecture Notes in Computer Science, Volume 3472, Springer. LNCS 3472.

A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.

Document Actions