http://dl.gi.de/handle/20.500.12116/41328 2026-07-23T09:02:32Z 2026-07-23T09:02:32Z Heisel, Maritta Hatebur, Denis Santen, Thomas Seifert, Dirk http://dl.gi.de/handle/20.500.12116/41346 2023-04-27T13:14:29Z 2008-01-01T00:00:00Z

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 Weißleder, Stephan Sokenou, Dehla http://dl.gi.de/handle/20.500.12116/41344 2023-04-27T13:14:28Z 2008-01-01T00:00:00Z

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 Engels, Gregor Güldali, Baris Sauer, Stefan http://dl.gi.de/handle/20.500.12116/41345 2023-04-27T13:14:28Z 2008-01-01T00:00:00Z

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 Alt, Oliver http://dl.gi.de/handle/20.500.12116/41342 2023-04-27T13:14:28Z 2008-01-01T00:00:00Z

Integration textueller Anforderungen und Modell-basiertem Testen mit SysML Alt, Oliver

2008-01-01T00:00:00Z