DROPS

Document

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

Authors: Kim G. Larsen, Marius Mikucionis, and Brian Nielsen

Published in: Dagstuhl Seminar Proceedings, Volume 4371, Perspectives of Model-Based Testing (2005)

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

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)

Copy BibTex To Clipboard

@InProceedings{larsen_et_al:DagSemProc.04371.3,
  author =	{Larsen, Kim G. and Mikucionis, Marius and Nielsen, Brian},
  title =	{{Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work}},
  booktitle =	{Perspectives of Model-Based Testing},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4371},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.3},
  URN =		{urn:nbn:de:0030-drops-3269},
  doi =		{10.4230/DagSemProc.04371.3},
  annote =	{Keywords: Online testing, black-box testing, real-time systems, embedded systems, symbolic state representation, relativized timed input/output conformance, mo}
}

Search Results

Documents authored by Nielsen, Brian

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

Abstract

Cite as

Thanks for your feedback!

Could not send message