Testing Against Requirements Using UML Environment Models.
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert · 2008
We 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 [4]. 1