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:
Model-Based Testing and Automation is an Iterative Development Process with the following steps:
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.