TEAGER – Test automation for UML state machines

dc.contributor.author	Santen, Thomas
dc.contributor.author	Seifert, Dirk
dc.contributor.editor	Biel, Bettina
dc.contributor.editor	Book, Matthias
dc.contributor.editor	Gruhn, Volker
dc.date.accessioned	2019-08-13T08:27:55Z
dc.date.available	2019-08-13T08:27:55Z
dc.date.issued	2006
dc.description.abstract	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.	en
dc.identifier.isbn	3-88579-173-0
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/24301
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-79
dc.title	TEAGER – Test automation for UML state machines	en
dc.type	Text/Conference Paper
gi.citation.endPage	84
gi.citation.publisherPlace	Bonn
gi.citation.startPage	73
gi.conference.date	28.-31. März 2006
gi.conference.location	Leipzig
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1