http://dl.gi.de/handle/20.500.12116/41328 2026-07-21T14:25:01Z http://dl.gi.de/handle/20.500.12116/41346 Testing Against Requirements Using UML Environment Models Heisel, Maritta; Hatebur, Denis; Santen, Thomas; Seifert, Dirk Testing Against Requirements Using UML Environment ModelsWe propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to illustrate the method. This article is an abbreviated version of. 2008-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/41344 Cause-Effect Graphs for Test Models Based on UML and OCL 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 2008-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/41345 Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen Engels, Gregor; Güldali, Baris; Sauer, Stefan 2008-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/41342 Integration textueller Anforderungen und Modell-basiertem Testen mit SysML Alt, Oliver 2008-01-01T00:00:00Z