Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
sequencers [2024/01/03 20:05] – [Sequencer - Mark Optimal] 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 - 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.
  
 =====Sequencer - MCase===== =====Sequencer - MCase=====