Test-Adequacy Assessment Using Program Mutation
screen.p1 = screen.p2
screen.p1.x = i
keytab [j].count = *p
p = q[i]
fr = screen
*fname[j] = keytab [i].word
fprct = &screen
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 a ...