SDL Simulation Modes

• Interactive

  • Fine tuning of the simulation session
  • Step by step
  • Undo/Redo
  • Scenario Save/Replay
  • MSC generation

• Random

  • Automation of the “choice” with random selection of transitions
  • Go until/while <cond>
  • Seed control for Pseudo-random simulation

• Exhaustive

  • Automation of the “choice” with exhaustive selection of transitions
  • Four tree traversal modes

Diagnostic

SDL and MSC

models

Errors

Fix errors

Interactive and

Automatic error

detection

Understand,

replay

Previous slide

Next slide

Back to first slide

View graphic version