Publikation: Teil einer Monographie/eines Konferenzbandes

Test derivation from timed automata

Grunddaten
Abstract
Autoren
Einrichtung

Grunddaten

Titel	Test derivation from timed automata
Veröffentlicht in	Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]. - Berlin [u.a.] : Springer
Erscheinungsjahr	2005
Seiten (von – bis)	201 – 231
Jahr	2005
Publikationsform	Druckschrift
Publikationsart	Teil einer Monographie/eines Konferenzbandes
Sprache	Englisch
Letzte Änderung	20.05.2019 13:32:56
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/36646
Links zu Katalogen

Abstract

A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.

Autoren

Briones, Laura Brandán

Röhl, Mathias

Einrichtung

IEF/Bereich Informatik