From The Feasability Analysis To Real-Time Test Generation.
Ismaïl Berrada, Richard Castanet, Patrick Félix · Studia informatica universalis · 2004
Testing real-time systems is an important and not obvious step in the validation process of critical systems. This paper proposes an efcient algorithm for solving the feasi- bility problem corresponding to a path of length in a timed automaton, with clocks. The given solution, combined with synchronous product, allows in particular, generating both the fastest and the slowest timed test cases for a given test purpose.