Time: Wednesday 13.10.2004, 14:30
Place: Room A4-108, Fr. Bajersvej 7
We present T-UPPAAL - 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 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.
This is a joint work with Kim G. Larsen and Brian Nielsen.