Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
tutorial:debugging [2020/07/19 15:04] admin |
tutorial:debugging [2020/07/19 16:34] admin [Debugging test generation] |
||
---|---|---|---|
Line 20: | Line 20: | ||
===== Debugging test generation ===== | ===== Debugging test generation ===== | ||
+ | Debugging issues with test generation will require knowledge on the sequencer used. If you need a refreshing course on the sequencer works, check out [[../ | ||
+ | |||
+ | The first thing that you need is to identify the sequencer being used and the error message that may be displayed. | ||
+ | |||
+ | The sequencer used is shown on application toolbar on the upper-left corner of the IDE. Make sure that the expected sequencer has been chosen. | ||
+ | |||
+ | ==== Missing transitions ==== | ||
+ | In order for the sequencers to be able to generate test sequences from the model, the following conditions must hold true for all models: | ||
+ | * there must be a path from initial state to every state in the model | ||
+ | * there must be a path from every state to a final state | ||
+ | |||
+ | One of the common issues encountered during test generation is caused by missing transitions. An example model of such case is: | ||
+ | {{wiki: | ||
+ | |||
+ | As you may have picked up the error in the model - it breaks the first condition: there isn't a path from initial state " | ||
+ | | ||
+ | |||
+ | ==== Transition guards not working ==== | ||
+ | Another commonly encountered issue with test generation is the use of transition guard. | ||
+ | |||
+ | |||
+ | ==== Test case too long ==== | ||
+ | A test cases is represented as a path from the initial state to a final state. | ||
+ | |||
+ | If you wish to get a set of shorter test cases, you may choose // | ||
+ | |||
+ | |||
+ | |||
+ | |||
===== Debugging automation script ===== | ===== Debugging automation script ===== |