Eliminate Errors Before Going to Target
Simulation for
- Verification
- Deadlocks, Live locks, Communication with dead/non existent party, exceptions (array overflow, values out of range…)
- Validation (in conjunction with MSCs and Observers)
- Design tests cases, run your model against MSCs or Observers to check for matches
- Express failures scenarios as well as success scenarios