
Test-Adequacy Assessment Using Control Flow
it does not behave as per the requirements on any test case. The ad-
equacy of T is measured with respect to a suitably selected adequacy
criterion C after P is found to behave satisfactorily on all elements of
T. This construction–enhancement cycle is considered complete if T is
found adequate with respect to C. If not, then additional test cases are
constructed in an attempt to remove the deficiency. The construction of
these additional test cases once again makes use of the requirements that
P must meet.
Example 6.6: Consider the following program intended to compute
x
y
, given integers x and y.Fory < 0 , the ...