DagSemProc.04371.3.pdf
- Filesize: 0.59 MB
- 21 pages
Document
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 4371
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2005-11-28
Cite As Get BibTex
Kim G. Larsen, Marius Mikucionis, and Brian Nielsen. Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
https://doi.org/10.4230/DagSemProc.04371.3
Abstract
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.
Subject Classification
Keywords
- Online testing
- black-box testing
- real-time systems
- embedded systems
- symbolic state representation
- relativized timed input/output conformance
- mo
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads