public static int guessObject(SimpleObject obj)
{
if (obj == null)
{
return(-1);
}
if (obj.getOperationCount() == 2 && obj.getResult() == 3)
{
return(1);
}
else
{
return(0);
}
}
//@SetteRequiredStatementCoverage(value = 66)
public static int guessImpossibleObject(SimpleObject obj)
{
if (obj == null)
{
return(-1);
}
if (obj.getOperationCount() < 0 || obj.getResult() < 0)
{
// invalid object, cannot be created with method call, only via
// reflection or overflow
return(1);
}
else
{
return(0);
}
}
public static int guessResultAndOperationCountParams(int x, int oc)
{
SimpleObject obj = new SimpleObject();
for (int i = 0; i < oc; i++)
{
obj.addAbs(x);
}
if (obj.getResult() == 10 && obj.getOperationCount() == 5)
{
return(1);
}
else
{
return(0);
}
}
public static int fullCoverage(SimpleObject obj, int x1, int x2,
int oc)
{
if (obj == null)
{
return(-1);
}
obj.chainedAddAbs(x1).addAbs(x2);
if (obj.getResult() == 10 && oc == obj.getOperationCount())
{
return(1);
}
else
{
return(0);
}
}
//@SetteRequiredStatementCoverage(value = 85)
public static int guessImpossibleOperationCountParams(int oc)
{
SimpleObject obj = new SimpleObject();
for (int i = 0; i < oc; i++)
{
obj.addAbs(1);
}
if (obj.getOperationCount() < 0)
{
// only with overflow
return(1);
}
else
{
return(0);
}
}
public static int guessOperationCount(SimpleObject obj, int oc)
{
if (obj == null)
{
return(-1);
}
for (int i = 0; i < oc; i++)
{
obj.addAbs(1);
}
if (obj.getOperationCount() == 5)
{
return(1);
}
else
{
return(0);
}
}
//@SetteRequiredStatementCoverage(value = 80)
public static int guessImpossibleResultAndOperationCount(
SimpleObject obj, int x, int oc)
{
if (obj == null)
{
return(-1);
}
for (int i = 0; i < oc; i++)
{
obj.addAbs(x);
}
if (obj.getResult() == 10 && obj.getOperationCount() == 4)
{
// impossible
return(1);
}
else
{
return(0);
}
}
//@SetteRequiredStatementCoverage(value = 87)
public static int guessImpossibleOperationCount(SimpleObject obj,
int oc)
{
if (obj == null)
{
return(-1);
}
for (int i = 0; i < oc; i++)
{
obj.addAbs(1);
}
if (obj.getOperationCount() < 0)
{
// impossible
throw new Exception();
}
else
{
return(0);
}
}