TestOptimal Wiki

Model-Based Testing (MBT)

User Tools

Site Tools


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.

Message Sequence Chart (MSC)

Message Sequence Chart (MSC) is used to describe the test cases. Click on opens MSC graph.

The lifeline represents the state and the arrow describes the test step.

different_types_of_graphs.txt · Last modified: 2017/12/19 00:30 by admin