Logo des Repositoriums

Auflistung nach Schlagwort "model-based test specification"

1 - 1 von 1
  • Zeitschriftenartikel
    Cause-Effect Graphs for Test Models Based on UML and OCL
    (Softwaretechnik-Trends Band 28, Heft 3, 2008) Weißleder, Stephan; Sokenou, Dehla
    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