Differences

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

Link to this comparison view

Both sides previous revision Previous revision
tutorial:debugging [2020/07/19 16:22]
admin [Debugging test generation]
tutorial:debugging [2020/07/19 16:34] (current)
admin [Debugging test generation]
Line 26: Line 26:
 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. 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: 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 initial state to every state in the model 
Line 36: Line 37:
    ​openOptima.NoSolutionException:​ Unable to reach following states from state 1: state 2    ​openOptima.NoSolutionException:​ Unable to reach following states from state 1: state 2
  
 +==== Transition guards not working ====
 Another commonly encountered issue with test generation is the use of transition guard. ​ Transition guard is only used during automation as the variables used in guard condition will only be evaluated/​set by automation script. ​ During test sequence generation, you should assume that all transition guards will be ignored. Another commonly encountered issue with test generation is the use of transition guard. ​ Transition guard is only used during automation as the variables used in guard condition will only be evaluated/​set by automation script. ​ During test sequence generation, you should assume that all transition guards will be ignored.
  
  
 +==== Test case too long ====
 +A test cases is represented as a path from the initial state to a final state. ​ You may notice that some test cases generated by some sequencers may be longer than expected. ​ This is the expected behavior, especially for //Random// and //Optimal// sequencers. ​
 +
 +If you wish to get a set of shorter test cases, you may choose //​Priority//​ sequencer. For more details about the sequencers, check out [[../​sequencers | Sequencers]].
  
  
Print/export
QR Code
QR Code tutorial:debugging (generated for current page)