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:02] – [Model Sequencers] adminsequencers [2024/01/03 21:51] (current) – [Sequencer - AllPairs] admin
Line 11: Line 11:
  
 =====Types of Sequencers===== =====Types of Sequencers=====
-The algorithms used by the sequencers differ depend on the type of models: //State-based// and //Combinatorial Data//. +Sequencers generate the test sequence by traversing the state diagram using graph-based algorithms.  A graph path from model's initial state to any of the final state is considered a test case.
- +
-For //State-based// models, //Model Sequencer// generates the test sequence by traversing the state diagram using graph-based algorithms.  A graph path from model's initial state to any of the final state is considered a test case.+
  
 Different algorithms achieve different coverage on the model. In combination with //stop conditions//, you can stop the test generation when the desired coverage is achieved. Different algorithms achieve different coverage on the model. In combination with //stop conditions//, you can stop the test generation when the desired coverage is achieved.
- 
-For //Combinatorial Data// models, //Model Sequencer// generates the permutations for the variable value (domain) sets to achieve the specific combination coverage. 
- 
-Constraints (rules) can be added to //Combinatorial Data// models to remove unwanted combinations. 
  
  
Line 65: Line 59:
  
  
-=====Sequencer - Pairwise===== +=====Sequencer - AllPairs===== 
-//Pairwise// sequencer explores combinations of incoming and outgoing transitions of each state in the model and generate test paths that cover all incoming - outgoing transition pairs.  +//AllPairs// sequencer explores combinations of incoming and outgoing transitions of each state in the model and generate test paths that cover all incoming - outgoing transition pairs.  
  
-//Pairwise// 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 95: 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%. 
- 
-