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