Foundations of Software Testing (Fundamental Algorithms and Techniques) by Pearson

Test Adequacy Assessment

declared above, ∗p will be mutated. p alone may be mutated by one of

the pointer reference-replacement operators. As another example, the

entire reference q[i] will be mutated; q itself may be mutated by one of

the array reference-replacement operators.

7.10.10.2 Array Reference Replacement

Incorrect use of an array variable is the fault modeled by two mutation

operators VGAR and VLAR. These operators mutate an array reference

in function f using, respectively, the sets GA



f

and LA



f

. Types are pre-

served while mutating array references. Here, name equivalence of types

as defined in C is assumed. Thus, if a and b are, respectively, arrays of in-

tegers and pointers to integers, a will not be replaced by b and vice versa.

7.10.10.3 ...