Test cases
A test case succeeds if it reveals a defect in a program
- Test cases used to succeed if they executed as expected
But test cases that “fail” help improve confidence
- Many test cases are chosen because they are characteristic of a collection of real executions of the program