| dc.contributor.author | Weißleder, Stephan | |
| dc.contributor.author | Sokenou, Dehla | |
| dc.date.accessioned | 2023-04-27T13:14:28Z | |
| dc.date.available | 2023-04-27T13:14:28Z | |
| dc.date.issued | 2008 | |
| dc.identifier.issn | 0720-8928 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/41344 | |
| dc.description.abstract | 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 | en |
| dc.language.iso | en | |
| dc.publisher | Geselllschaft für Informatik e.V. | |
| dc.relation.ispartof | Softwaretechnik-Trends Band 28, Heft 3 | |
| dc.subject | automatic test generation | |
| dc.subject | model-based test specification | |
| dc.subject | cause-effect graph | |
| dc.subject | UML | |
| dc.subject | OCL | |
| dc.title | Cause-Effect Graphs for Test Models Based on UML and OCL | en |
| dc.type | Journal Articles | |
| dc.pubPlace | Bonn | |
| mci.conference.sessiontitle | Berichte aus den Fachgruppen und Arbeitskreisen | |
