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.
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk