
15
Reactive Testing of Nondeterministic Systems
by Test Purpose-Directed Tester
J¨uri Vain, Andres Kull, Marko K¨a¨aramees, Maili Markvardt,
and Kullo Raiend
CONTENTS
15.1 Introduction .............................................................................. 426
15.1.1 On the fly test generation in online testing ...................................... 426
15.1.2 Related work ..................................................................... 426
15.2 Preliminaries of Model-Based Reactive Planning Testing .............................. 428
15.2.1 Reactive planning testing in a nutshell .......................................... 428
15.2.2 Model-based ...