License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04371.3
URN: urn:nbn:de:0030-drops-3269
URL: http://dagstuhl.sunsite.rwth-aachen.de/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:
04371.NielsenBrian.Paper.326.pdf (0.6 MB)

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: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/opus/volltexte/2005/326},
  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}
}

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI