White-Box Validation

• “Fire” each transition

• “Execute” each state net

• Check correctness

• Check completeness

  • Are all expected/required scenarios addressed?
  • Are all exceptions handled?

Previous slide

Next slide

Back to first slide

View graphic version