Differences

This shows you the differences between two versions of the page.

Link to this comparison view

modeling_with_testoptimal [2016/09/22 02:36] (current)
Line 1: Line 1:
 +===== Creating MBT Model =====
  
 +Creating an MBT model with TestOptimal is quite straight forward. There are several ways to do this:
 +
 +  - create withTestOptimal IDE
 +  - 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 [[StateNode|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 [[TransNode|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 {{http://​testoptimal.com/​img/​modelGraph.png}}. ​
 +
 +==== Importing Model====
 +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.
Print/export
QR Code
QR Code modeling_with_testoptimal (generated for current page)