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 …

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 …