Timed Testing with TorX

Konferenz: 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
27.03.2006 - 29.03.2006 in Nürnberg, Germany

Tagungsband: MMB Workshop 2006

Seiten: 10Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

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.