
Test Selection, Minimization, and Prioritization
causes the traversal of node 4 in Figure 5.10. However, the traversal
of node 4 does not affect the computation of w at node 8 and hence,
when using the dynamic slice approach, t is not included in T
. Note
that node 4 is not in DS(t) with respect to variable w at line 8 and
hence t should not be included in T
.
5.6.4 POTENTIAL DEPENDENCE
The dynamic slice contains all statements in trace(t) that had an affect
on program output. However, there might be a statement s in the trace
that did not affect program output but may affect if changed. By not
including s in the dynamic slice we exclude t from the