Test-Adequacy Assessment Using Control Flow
r
Decision d can only be covered by a test that tests requirement
R
2.3
followed by requirement R
1.7
.
Once the cause for the lack of coverage is determined, the tester proceeds
to construct a new test case t
. P is then executed against t
to ensure that
it behaves correctly in accordance with the requirements.
There are several possible outcomes of executing P against t
.One
outcome is that decision d remains uncovered implying improper con-
struction of t
. Another possibility is that P behaves incorrectly on t
.In
either case, testing is performed with respect to the requirements while
the coverage measurement is used as a means to probe the inadequacy
of T.
The discussion above leads us to conclude that structural ...