Part 2

Test Plans and Test Sets

Testing detects “bugs” in an implementation, but it does not indicate their absence.

To test a component you will develop a test plan.  The test plan consists of a test set – a set of valid inputs and expected outputs. 

Valid inputs are a small subset of values from the input domain.  To determine the set of valid inputs you will examine the requires clause of an operation. Expected outputs are determined by examining the ensures clause of an operation.

+