Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Formal Approaches to Testing of Software (FATES 2004) Proceedings |
| Editors | Jens Grabowski, Brian Nielsen |
| Publisher | Springer |
| Publication date | 2005 |
| Pages | 79-94 |
| ISBN (Print) | 3-540-25109-X |
| Publication status | Published - 2005 |
| Event | Formal Approaches to Software Testing - Linz, Austria Duration: 4 Sept 2004 → … Conference number: 4 |
Conference
| Conference | Formal Approaches to Software Testing |
|---|---|
| Number | 4 |
| Country/Territory | Austria |
| City | Linz |
| Period | 04/09/2004 → … |
| Series | Lecture Notes in Computer Science |
|---|---|
| Number | 3395 |
Keywords
- Conformance testing
- Real-time systems
- Embedded systems
- Online testing