Test-Adequacy Assessment Using Control Flow
changing in the same execution. We can now rewrite T
also in a way
similar to T. Combining T and T
, we get a set T
containing two test
cases written as follows:
T
=
⎧
⎪
⎪
⎨
⎪
⎪
⎩
t
1
: << request = 1, x = 2, y = 3 > →
< request = 2, x = 4 > →< request = 3 >>
t
2
: << request = 2, x = 4 > →
< request = 1, x = 2, y = 3 > →< request = 3 >>
⎫
⎪
⎪
⎬
⎪
⎪
⎭
Test set T
contains two test cases, one that came from T and the other
from T
. You might wonder why so much fuss regarding whether some-
thing is a test case or a test set. In practice, it does not matter. Thus, you
may consider T as a set of three test cases or simply as a set of one test
case. However, we do want to stress the point that distinct values of all
program inputs ...