Cause-Effect Graphs for Test Models Based on UML and OCL

Weißleder, StephanSokenou, Dehla2023-04-272023-04-272008https://dl.gi.de/handle/20.500.12116/41344In 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 controlenautomatic test generationmodel-based test specificationcause-effect graphUMLOCLCause-Effect Graphs for Test Models Based on UML and OCLText/Journal Article0720-8928