Abstract
We present the development of T-UPPAAL - a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based on a sound and complete randomized online testing algorithm and is implemented 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. This paper introduces the principles behind the tool, describes the present implementation status, and future work directions.
| Originalsprog | Engelsk |
|---|---|
| Titel | Dagstuhl Seminar Proceedings : Perspectives of Model-Based Testing |
| Redaktører | Brinksma, Grieskamp, Tretmans, Weyuker |
| Vol/bind | 04371 |
| Forlag | IBFI gem. GmbH, Schloss Dagstuhl |
| Publikationsdato | 2005 |
| Status | Udgivet - 2005 |
| Begivenhed | Perspectives of Model-Based Testing 2004 - Wadern, Tyskland Varighed: 5 sep. 2004 → 10 sep. 2004 |
Konference
| Konference | Perspectives of Model-Based Testing 2004 |
|---|---|
| Land/Område | Tyskland |
| By | Wadern |
| Periode | 05/09/2004 → 10/09/2004 |
| Navn | Dagstuhl Seminar Proceedings |
|---|---|
| ISSN | 1862-4405 |
Bibliografisk note
Publisher Copyright:© 2005 Dagstuhl Seminar Proceedings. All rights reserved.