Object test methods -- state transitions

  • equivalence classes -- distinct \c{object} states
  • extrema testing -- includes parameters \c{of methods}

Errors

-- wrong result, illegal state change
  • within object -- invariance
  • involving multiple objects -- interaction protocols

slide: Object test methods