TestOptimal Wiki

Model-Based Testing (MBT)

User Tools

Site Tools


Model Editor

Model Editor is a graphical modeling tool that allows users to model AUT using states and transitions. It is tightly integrated with all other tabs within IDE to form a full modeling, automation and execution platform.

Model Editor supports two model notation: State Diagram (or Extended Finite State Machine - EFSM) and Activity Diagram (or Control Flow Graph - CFG) (Rel. 4.2). This wiki page assumes State Diagram notation is used.

Editor Overview

Model Editor header displays the model name and its path on the left and a set of buttons giving you quick access to the editor features:

The editor consists of:

  • Modeling Canvas - drag/drop to create states and transitions, context menu to edit properties, see details at Modeling canvas
  • Tree View - display states/transitions in tree view structure, accessed through Model menu or sidebar button.
  • MCase View - create and edit mCase for scenarios and ad-hoc test cases, accessed through Model menu or sidebar button .
  • Guard View - display transition guard conditions and their statuses' access through state context menu.
  • Shortcut key - IDE shortcut keys are supported
  • Delete key - delete marked states and transitions

Refer to a Model Editor Canvas for a overview of different edit functions.

Modeling Basics

Model consists of states and transitions. It's like a state diagram, very easy to understand.


State is represented by a block with a state header at the top. The state header consists of a series of indicator icons and quick access to state mScript. State can be re-sized to hold sub-states.


Transition is represented by a connector connecting the source state and target state.

Creating New States

States are created with Add State canvas context menu. Transitions are created by right-mouse dragging from a source state to the target state.

There is a quick way to create a new state and a new transition to connect the existing state to the new state: right-mouse drag from an existing state to the modeling canvas (white space area).

Moving States

Move states by drag and drop with left mouse. The transitions connected to the state will move or re-route as necessary as the state moves.

You can move multiple states at a time by first marking the states. As you move any of the marked state, the rest of the marked states move with it. Drag and drop operation is automatically cancelled when any of the states are moved past the edge of the modeling canvas.

Single click on the state or transition to mark them and click again to un-mark. Marking a state or transition automatically un-mark all states and transitions. To mark multiple states or transitions, press and hold down “shift” or “ctrl” key while marking the states or transitions. If “shift” or “ctrl” key does not work, click on canvas and try again.

Double clicking on the modeling canvas clear existing marks.

A status message may be displayed on the upper-right corner. It can be canceled by clicking on the message or anywhere on the model.

Delete key will delete all selected states and transitions.

As you make changes to the model including moving the states and transitions, the model pending change icon will be highlighted (orange disk icon) indicating changes pending to be saved.

The model may include Sub Model.

modelingtab.txt · Last modified: 2018/08/21 23:54 by admin