Larsen, Kim G.
[VerfasserIn];
Mikucionis, Marius
[VerfasserIn];
Nielsen, Brian
[VerfasserIn]
;
Kim G. Larsen and Marius Mikucionis and Brian Nielsen
[MitwirkendeR]
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
We present TUPPAAL --- a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. We describe a sound and complete randomized online testing algorithm, and describe how to implement it using symbolic state representation and manipulation techniques. We propose the notion of relativized timed input/output conformance as the formal implementation relation. A novelty of this relation and our testing algorithm is that they explicitly take environment assumptions into account, generate, execute and verify the result online using the UPPAAL on-the-fly model-checking tool engine. A medium size case study shows promising results in terms of error detection capability and computation performance.