Zeitschriftenartikel
Cause-Effect Graphs for Test Models Based on UML and OCL
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2008
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Geselllschaft für Informatik e.V.
Zusammenfassung
In this paper, we discuss how to transform UML state machines with OCL expressions into cause-effect graphs. This transformation is necessary to keep test models consistent and understandable. We substantiate all explanations by an example model, which is part of a model for a freight elevator control