Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
sequencers [2024/01/03 20:05] – [Combinatorial Algorithms] adminsequencers [2024/01/03 21:51] (current) – [Sequencer - AllPairs] admin
Line 63: Line 63:
  
 //AllPairs// sequencer offers more extensive model coverage than most of the sequencers ([[#Sequencer - Optimal | Optimal]] and [[#Sequencer - Priority | Priority]], and others) with a deterministic test sequence.  //AllPairs// sequencer offers more extensive model coverage than most of the sequencers ([[#Sequencer - Optimal | Optimal]] and [[#Sequencer - Priority | Priority]], and others) with a deterministic test sequence. 
-=====Sequencer - Mark Optimal===== 
-Often times you may want to only test certain part of the model.  //Mark Optimal// sequencer (and [[#Sequencer - Mark Serial| Mark Serial]]) generates test cases to cover the marked transitions. 
  
-//Mark Optimal// sequencer generates the test cases using the same //Postman Problem Algorithm// used by [[#Sequencer - Optimal | Optimal]] sequencer except that only the marked transitions are required to be covered. +=====Sequencer - Marking States/Transitions===== 
- +With IDE, you can mark (highlight) states and transitions and generate test sequence to cover partial of the model.  With ProMBT, you can also submit model execution with REST api.
-//Mark Optimal// sequencer (and [[#Sequencer - Mark Serial| Mark Serial]]) can be used for [[https://en.wikipedia.org/wiki/Exploratory_testing | Exploratory Testing]], e.g. testing a new user stories just added to the model. +
- +
-//Mark Optimal// sequencer is only available when running model in IDE. +
-=====Sequencer - Mark Serial===== +
-//Mark Serial// sequencer is similar to [[#Sequencer - Mark Optimal]], it generates test cases to cover the marked transitions in the model. +
- +
-What distinguishes //Mark Serial// sequencer from //Mark Optimal// sequencer is that the test cases generates follows the order the transitions are marked.  As the result, the test sequence generated by //Mark Serial// sequencer is usually longer. +
- +
-//Mark Serlia// sequencer (and [[#Sequencer - Mark Optimal| Mark Optimal]]) can be used for [[https://en.wikipedia.org/wiki/Exploratory_testing | Exploratory Testing]], e.g. testing a new user stories just added to the model. +
- +
-//Mark Serial// sequencer allows you to test scenarios that require traversing transitions in a specific order. +
- +
- +
-//Mark Optimal// sequencer is only available when running model in IDE.+
  
 =====Sequencer - MCase===== =====Sequencer - MCase=====