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

File

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

Document Identifiers

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)
    0
    PDF Downloads
    0
    Metadata Views

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.

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

Author Details

Kim G. Larsen
Marius Mikucionis
Brian Nielsen
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
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact