Test-Adequacy Assessment Using Program Mutation
The JTD operator deletes this keyword. This forces a tester to show
that indeed the variable or method referenced via this was intended.
The JSC operator removes or adds the static keyword to model faults
related to the use of instance versus class variables. The JID operator
removes any initializations of class variables to model variable initializa-
tion faults.The JDC operator removes programmer-implemented con-
structors. This forces a tester to generate a test case that demonstrates
the correctness of the programmer-supplied constructors.
Four operators model common programming mistakes. Using an ob-
ject reference instead of the content of an object is a fault modeled by
the EOA operator.
Example