Cause-Effect Graphs for Test Models Based on UML and OCL.
Stephan Weißleder, Dehla Sokenou · 2008
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.