Document Open Access Logo

Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work

Authors Kim G. Larsen, Marius Mikucionis, Brian Nielsen



PDF
Thumbnail PDF

File

DagSemProc.04371.3.pdf
  • Filesize: 0.59 MB
  • 21 pages

Document Identifiers

Author Details

Kim G. Larsen
Marius Mikucionis
Brian Nielsen

Cite AsGet 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.
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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail