Using UML environment models for test case generation
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen · Software Engineering (Workshops) · 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.