
6
How to Design Extended Finite State Machine
Test Models in Java
Mark Utting
CONTENTS
6.1 Introduction .............................................................................. 147
6.1.1 What is model-based testing? .................................................... 148
6.1.2 What are the pros and cons? ..................................................... 148
6.2 Different Kinds of Models ................................................................ 149
6.3 How to Design a Test Model ............................................................. 150
6.3.1 Designing an FSM model ........................................................ 151
6.3.2 ...