License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-3269
URL: http://drops.dagstuhl.de/opus/volltexte/2005/326/
Go to the corresponding Portal


Larsen, Kim G. ; Mikucionis, Marius ; Nielsen, Brian

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

pdf-format:
Document 1.pdf (604 KB)


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.

BibTeX - Entry

@InProceedings{larsen_et_al:DSP:2005:326,
  author =	{Kim G. Larsen and Marius Mikucionis and Brian Nielsen},
  title =	{Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work},
  booktitle =	{Perspectives of Model-Based Testing},
  year =	{2005},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  number =	{04371},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/326},
  annote =	{Keywords: Online testing, black-box testing, real-time systems, embedded systems, symbolic state representation,  relativized timed input/output conformance, mo}
}

Keywords: Online testing, black-box testing, real-time systems, embedded systems, symbolic state representation, relativized timed input/output conformance, mo
Seminar: 04371 - Perspectives of Model-Based Testing
Issue Date: 2005
Date of publication: 28.11.2005


DROPS-Home | Fulltext Search | Imprint Published by LZI