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