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

Link to this comparison view

mark_mode [2016/09/22 02:35] (current)
Line 1: Line 1:
 +===== Mark Mode Execution =====
 +//Mark// mode allows you to generate custom test cases from the model.  ​
 +==== How to Use Mark Mode ====
 +To enable //Mark// mode, click on //Mark// icon on the left sidebar area.  You will be prompted to choose the [[sequence_mode | Sequence Mode]] to execute the model. ​ //Mark// icon will turn green indicating it's enabled.
 +Once the //Mark// mode is enabled, select the states and transitions you wish to cover by clicking on the states and transitions while holding down the //shift// or //ctrl// key.  You should see the states and transitions tagged with a sequence number indicating the order they were //​marked//​. ​ The order may or may not be meaningful depending on the sequencer used.
 +Click on //Run// button to execute the model.
QR Code
QR Code mark_mode (generated for current page)