Timed Testing with TorX

摘要

We describe an approach to on-the-fly real-time testing based on non-deterministic timed automata. The approach is based on standard computations on zone automata. We present algorithms for practical testing, as they were implemented in the testing tool TorX.