This is an old revision of the document!


State Model IDE

TestOptimal supports state models and combinatorial design models. State Model IDE is used to build and execute state models.

There are 6 tabs in this IDE:

Additionally it has Execution Monitor


Development Process

Model-Based Testing and Automation is an Iterative Development Process with the following steps:

  • Modeling
  • Generation
  • Automation
  • Execution
  • Review/Analysis

Similar to agile development process, you would plan for each iteration with a set of user stories/requirements from the backlog and incrementally build on the model from the previous iteration.

Start with one user story / requirement, create the model and follow through Generation, Automation to Execution. During the process you may realize better ways to model the user story / requirement. Feel free to go back and forth to adjust model accordingly.