Creating an MBT model with TestOptimal is quite straight forward. There are several ways to do this:

1. create withTestOptimal IDE
2. import model from external tools

To create a model with TestOptimal IDE, select “File / New” menu and enter the name for the model. The new model is created with an empty modeling canvas.

The first step to build the MBT model is to determine what states you need to describe AUT. Each state must have a unique identifier and a brief description.

You create the state by right mouse click on “Model” property node in the “Model” tab, and select “Add State” from the popup context menu. Fill out the property fields on the state Property tab on the right and click “OK” button.

Usually you will just create all of the states at once, but you can certainly add more states later on.

The next step is identify for each state what transitions you need to connect current state to other states. Again each transition requires a unique identifier within the state.

To create a transition, select a state, right mouse click on the selected state and select “Add Transition” from the popup context menu. Fill out the transition property fields on the transition Property tab on the right and click “OK” button.

Usually you will create all transitions to connect one state to all other states and do this for all states.

At this point you have the model completed in the memory. The “File” menu should be colored orange. Click “File / Save” to save the changes to disk.

You may view the model in graph by clicking on .

You may import models created with external tools using the “import” function. TestOptimal supports GraphML, GraphXML, and XMI.

To import a model, you must create a new empty model (without states/transitions) first by following the process described above. select “File / Import” menu, scroll to the bottom and select the file type from the drop-down list. Click on “Browse” button to select the import file and click “Import” button. It is recommended to save the changes to the disk after you verified the model is correctly imported.

You may merge the import model with an existing model. To do this, just open the existing model and then follow the import process described above. The system should report a list of changes as the result of the merge.