Object test methods -- state transitions
- equivalence classes -- distinct object states
- extrema testing -- includes parameters of methods
Errors
-- wrong result, illegal state change- within object -- invariance
- involving multiple objects -- interaction protocols