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:04] – [Sequencer - Pairwise] 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=====
Line 89: Line 73:
  
 Since //MCase// is built with scripting, you can dynamically build any number of //MCases// through //REST// api.  This provides an option to allow ALM process to test bug fixes remotely. Since //MCase// is built with scripting, you can dynamically build any number of //MCases// through //REST// api.  This provides an option to allow ALM process to test bug fixes remotely.
- 
- 
-=====Sequencer - Concurrent===== 
-//Concurrent// sequencer is the only sequencer that supports concurrent system models.  //Concurrent// models allows simultaneous firing of multiple transitions from the state and it's used to simulate processing of event-driven system or concurrent systems. 
- 
-===== Combinatorial Algorithms ===== 
-In the ideal world we would want exhausted testing, but we all know that's not practical and in many cases not feasible. 
- 
-//Combinatorial Algorithms// are used to generate test cases for //Combinatorial Data// models. //TestOptimal// supports following combinatorial algorithms: 
- 
-  * pairwise 
-  * 3-wise 
-  * 4-wise 
-  * 5-wise 
-  * 6-wise 
- 
- 
-Pairwise algorithm geneartes the least number of test cases (permutations of variables) while 6-wise generates the most test cases but provides most coverage among the algorithm listed above. 
- 
-Empirically most of defects are caused by the interaction between two variables, hence pairwise algorithm would provide decent coverage with least amount of test cases for most of the system.  This is commonly used especially for larger models as it could potentially cut down the test cases by 99%. 
- 
-