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:

• Model Editor
• Script Editor
• DataSet Editor
• Requirement Editor
• Execution Result
• Model Artifact

Additionally it has Execution Monitor

• State Properties
• Transition Properties

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.