Test Adequacy Assessment
As shown next, method orbit in class planet calls method
check. The IOR operator renames this call to, say, j_check.
class planet{ class planet{
String name; String name;
Orbit orbit(...) Orbit orbit(...)
{. . . check();...}; {...j_check();...};
void check (. . . ){...} void check (. . . ){...}
.
.
.
IOR
=⇒
.
.
.
}}
class farPlanet extends planet{ class farPlanet extends planet{
void check (. . . ){...} void check (. . . ){...}
.
.
.
.
.
.
}}
Given an object X of type farPlanet, X.orbit( ) will now
invoke the subclass version of check and not that of the parent
class. Distinguishing an IOR mutant requires a test case to show that
X.orbit( ) must invoke check of the parent class and not that of
the subclass.
The ISK operator generates a mutant by ...