Timed Testing with TorX

Conference: MMB Workshop 2006 - ITG FA 6.2 Workshop on Model-Based Testing, GI/ITG Workshop on Non-Functional Properties of Embedded Systems, 13th GI/ITG Conference Measuring, Modelling, and Evaluation of Computer and Communication
03/27/2006 - 03/29/2006 at Nürnberg, Germany

Proceedings: MMB Workshop 2006

Pages: 10Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Bohnenkamp, Henrik (Software Modelling and Verification Group (Informatik 2), RWTH Aachen University, 52056 Aachen, Germany)
Belinfante, Axel (Formal Methods and Tools, Department of Computer Science, University of Twente, Postbus 217, 7500 AE Enschede, The Netherlands)

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.