TEAGER – Test automation for UML state machines

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.
  • Vollständige Referenz
  • BibTeX
Santen, T. & Seifert, D., (2006). TEAGER – Test automation for UML state machines. In: Biel, B., Book, M. & Gruhn, V. (Hrsg.), Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn: Gesellschaft für Informatik e.V.. (S. 73-84).
@inproceedings{mci/Santen2006,
author = {Santen, Thomas AND Seifert, Dirk},
title = {TEAGER – Test automation for UML state machines},
booktitle = {Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik},
year = {2006},
editor = {Biel, Bettina AND Book, Matthias AND Gruhn, Volker} ,
pages = { 73-84 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings-79-10.pdf351.2Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-173-0
ISSN: 1617-5468
Datum: 2006
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige