
2
Behavioral System Models versus Models of Testing
Strategies in Functional Test Generation
Antti Huima
CONTENTS
2.1 Introduction .............................................................................. 26
2.1.1 Finite-state machines ............................................................. 26
2.1.2 Arithmetics ....................................................................... 27
2.1.3 Advanced tester model execution algorithms .................................... 28
2.1.4 Harder arithmetics ............................................................... 29
2.1.5 Synchronized finite-state machines ............................................... ...