Test Generation
corresponding to s. However, we do need to find tests in T, used for
testing P, that must be included in the regression test set T
for P
.To
do so, suppose that (a) s defines variable x, as for example through an
assignment statement, and (b) RS(t, x, l) is the relevant slice for variable
x at location l corresponding to test case t ∈ T. We use the following
steps to determine whether t needstobeincludedinT
.
Step 1 Find the set S of statements s
1
, s
2
,..., s
k
, k ≥ 0thatusex.
Let n
i
, 1 ≤ i ≤ k denote the node corresponding to statement
s
i
in the DDG of P. A statement in S could be an assignment
that uses x in an expression, an output statement, or a func-
tion or method call. Note that x could also be a global vari-
able in which case all ...