Test Adequacy Assessment
As shown next, method PSCJU in class QMBOFU calls method
DIFDL. The IOR operator renames this call to, say, K@DIFDL.
DMBTT planet{ DMBTT planet{
4USJOH name; 4USJOH name;
0SCJU orbit(...) 0SCJU orbit(...)
{. . . check();...}; {...j_check();...};
WPJE DIFDL \^ WPJE DIFDL \^
.
.
.
IOR
=⇒
.
.
.
}}
DMBTT farPlanet FYUFOET planet{ DMBTT farPlanet FYUFOET planet{
WPJE DIFDL \^ WPJE DIFDL \^
.
.
.
.
.
.
}}
Given an object 9 of type GBS1MBOFU 9PSCJU will now
invoke the subclass version of DIFDL and not that of the parent
class. Distinguishing an IOR mutant requires a test case to show that
9PSCJU must invoke DIFDL of the parent class and not that of
the subclass.
The ISK operator generates a mutant