### Table of Contents

## MBT Graphs

*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.

### Model Graph

*Model Graph* is used to describe the static view of the model. Clicking on opens *Model Graph*.

See example at: example model graph. All of the rest of the graphs are generated from this model graph.

### Traversal Graph

*Traversal Graph* is used to describe the actual sequence generated from the model using one of the MBT sequencers. Clicking on opens *Traversal 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

*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:

- green - sufficiently covered, that is minimum of times it must be traversed is satisfied
- yellow - partially covered but minimum times it must be traversed is not satisfied.
- orange - not covered, that is the state/transition was not reached during the execution.