All paths might be exercised without detection of an incorrect or inadequate test. Accepts inputs, rejects gross errors. Levels of Correctness 1. No syntactic errors in the program 2. No compilation errors and the program cycles to completion for valid inputs.
Correct output is obtained for at least one test case.
Correct output is obtained for typical test cases. Correct output is obtained for difficult test cases. Correct output is obtained for all nonerroneous inputs and for likely errors. Correct output is obtained for all possible inputs.