IDE & Navigation
Properties & Tools
TestOptimal uses different types of graph to help visualizes the different aspect of MBT model and MBT model exeutions.
There are 4 types of graphs TestOptimal generates and displays in the IDE browser. These graphs are variations of state diagrams. They are used to describe the model and present the MBT execution results.
See example at: example model graph. All of the rest of the graphs are generated from this model graph.
The transition is labeled with the sequential number showing its position in the sequence. Transitions are duplicated if they have to be traversed multiple times. See example at example sequence/traversal graph.
Coverage Graph is used to describe the testing coverage of the model from an execution. Clicking on opens Coverage Graph for the current or last model execution. If model has not been executed since it's open, an empty graph will be displayed.
See an example at example coverage graph. Notice the states and transitions are color coded to indicates their coverage: