Software Testing

Exercise Question, (6) Model-Based Testing

What are the different roles of models of the system under test (SUT) and models of the
environment for testing? How can these models be used for testing?

Model of the SUT:
  • Model provides an oracle
  • Structure can be used for automated test case generation
 
Model of the environment:
  • Restricts the possible inputs of the SUT
  • Acts as a test selection criterion
  • Model can also describe typical interaction patterns

Diskussion