Test-Adequacy Assessment Using Program Mutation
TDSFFOQ TDSFFOQ
TDSFFOQY J
LFZUBC <K>DPVOU Q
Q R<J>
GS TDSFFO
GOBNF<K> LFZUBC <J>XPSE
GQSDU TDSFFO
The global and local reference sets corresponding to the above
references are as follows:
GRA
f
={}
GRP
f
={q[i], keytab[i].wor d, & screen}
GRS
f
={keytab[ j ].count, ∗p, ∗q[ j], screen. p1.x}
GRT
f
={keytab[i], keytab[ j ], screen. p1, screen. p2}
LRA
f
={}
LRP
f
={fname[ j ]}
LRS
f
={∗fname[ j ], fa[i ]}
LRT
f
={}
The above sets can be used to augment the local sets.
Analogous to the global and local sets of variables, we define global
and local sets of constants: GC
f
and LC
f
. GC
f
is the set of all con-
stants global to f . LC
f
is the set of all constants local to f . Note that a
constant can be used within ...