Differences

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

--- sequencers [2024/01/03 20:05] – [Sequencer - Mark Serial] admin
+++ sequencers [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.
-=====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 - MCase=====