Behavioral System Models versus Models of Testing Strategies in Functional Test Generation

An important dichotomy in the concept space of model-based testing is between models that directly describe intended system behavior and models that directly describe testing strategies. The purpose of this chapter is to shed light on this dicothomy from both practical as well as theoretical viewpoints. In the proceedings, we will call these two types of models “system models” and “tester models,” respectively, for brevity’s sake.