Logo des Repositoriums
 
Konferenzbeitrag

TEAGER – Test automation for UML state machines

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2006

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

TEAGER is a tool suite supporting test automation based on UML state machines, conforming to the UML semantics definition. For testing, the various sources of non-determinism in state machines pose major challenges. This article discusses those challenges and the approach for their solution taken in TEAGER. This includes probabilistic batch generation of test cases, which include expected observations, test execution and evaluation, as well as a probabilistic simulator for state machines, which is useful for model validation.

Beschreibung

Santen, Thomas; Seifert, Dirk (2006): TEAGER – Test automation for UML state machines. Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-173-0. pp. 73-84. Regular Research Papers. Leipzig. 28.-31. März 2006

Schlagwörter

Zitierform

DOI

Tags