A framework for testing object-oriented programs

2

  • levels of testing -- influence of errors
  • object test methods -- state transitions
  • contracts -- interaction protocols
  • static testing -- careful reading

slide: Section 4.2: A framework for testing object-oriented programs