
4
Automatic Model-Based Test Generation from UML
State Machines
Stephan Weißleder and Holger Schlingloff
CONTENTS
4.1 Introduction .............................................................................. 77
4.1.1 UML state machines ............................................................. 78
4.1.2 Example—A kitchen toaster ..................................................... 80
4.1.3 Testing from UML state machines ............................................... 82
4.1.4 Coverage criteria ................................................................. 85
4.1.5 Size of test suites ................................................................. ...