org.evosuite.TestSuiteGeneratorHelper Maven / Gradle / Ivy
The newest version!
/**
* Copyright (C) 2010-2018 Gordon Fraser, Andrea Arcuri and EvoSuite
* contributors
*
* This file is part of EvoSuite.
*
* EvoSuite is free software: you can redistribute it and/or modify it
* under the terms of the GNU Lesser General Public License as published
* by the Free Software Foundation, either version 3.0 of the License, or
* (at your option) any later version.
*
* EvoSuite is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with EvoSuite. If not, see > m) {
Set branchSet = m.get(v);
return (branchSet == null) ? 0 : branchSet.size();
}
static void getBytecodeStatistics() {
if (Properties.TRACK_BOOLEAN_BRANCHES) {
int gradientBranchCount = ExecutionTraceImpl.gradientBranches.size() * 2;
ClientServices.track(RuntimeVariable.Gradient_Branches, gradientBranchCount);
}
if (Properties.TRACK_COVERED_GRADIENT_BRANCHES) {
int coveredGradientBranchCount = ExecutionTraceImpl.gradientBranchesCoveredTrue.size()
+ ExecutionTraceImpl.gradientBranchesCoveredFalse.size();
ClientServices.track(RuntimeVariable.Gradient_Branches_Covered, coveredGradientBranchCount);
}
if (Properties.BRANCH_COMPARISON_TYPES) {
int cmp_intzero = 0, cmp_intint = 0, cmp_refref = 0, cmp_refnull = 0;
int bc_lcmp = 0, bc_fcmpl = 0, bc_fcmpg = 0, bc_dcmpl = 0, bc_dcmpg = 0;
for (Branch b : BranchPool
.getInstance(TestGenerationContext.getInstance().getClassLoaderForSUT())
.getAllBranches()) {
int branchOpCode = b.getInstruction().getASMNode().getOpcode();
int previousOpcode = -2;
if (b.getInstruction().getASMNode().getPrevious() != null) {
previousOpcode = b.getInstruction().getASMNode().getPrevious().getOpcode();
}
switch (previousOpcode) {
case Opcodes.LCMP:
bc_lcmp++;
break;
case Opcodes.FCMPL:
bc_fcmpl++;
break;
case Opcodes.FCMPG:
bc_fcmpg++;
break;
case Opcodes.DCMPL:
bc_dcmpl++;
break;
case Opcodes.DCMPG:
bc_dcmpg++;
break;
}
switch (branchOpCode) {
// copmpare int with zero
case Opcodes.IFEQ:
case Opcodes.IFNE:
case Opcodes.IFLT:
case Opcodes.IFGE:
case Opcodes.IFGT:
case Opcodes.IFLE:
cmp_intzero++;
break;
// copmpare int with int
case Opcodes.IF_ICMPEQ:
case Opcodes.IF_ICMPNE:
case Opcodes.IF_ICMPLT:
case Opcodes.IF_ICMPGE:
case Opcodes.IF_ICMPGT:
case Opcodes.IF_ICMPLE:
cmp_intint++;
break;
// copmpare reference with reference
case Opcodes.IF_ACMPEQ:
case Opcodes.IF_ACMPNE:
cmp_refref++;
break;
// compare reference with null
case Opcodes.IFNULL:
case Opcodes.IFNONNULL:
cmp_refnull++;
break;
}
}
ClientServices.track(RuntimeVariable.Cmp_IntZero, cmp_intzero);
ClientServices.track(RuntimeVariable.Cmp_IntInt, cmp_intint);
ClientServices.track(RuntimeVariable.Cmp_RefRef, cmp_refref);
ClientServices.track(RuntimeVariable.Cmp_RefNull, cmp_refnull);
ClientServices.track(RuntimeVariable.BC_lcmp, bc_lcmp);
ClientServices.track(RuntimeVariable.BC_fcmpl, bc_fcmpl);
ClientServices.track(RuntimeVariable.BC_fcmpg, bc_fcmpg);
ClientServices.track(RuntimeVariable.BC_dcmpl, bc_dcmpl);
ClientServices.track(RuntimeVariable.BC_dcmpg, bc_dcmpg);
RuntimeVariable[] bytecodeVarsCovered = new RuntimeVariable[]{RuntimeVariable.Covered_lcmp,
RuntimeVariable.Covered_fcmpl, RuntimeVariable.Covered_fcmpg,
RuntimeVariable.Covered_dcmpl,
RuntimeVariable.Covered_dcmpg, RuntimeVariable.Covered_IntInt,
RuntimeVariable.Covered_IntInt,
RuntimeVariable.Covered_IntZero, RuntimeVariable.Covered_RefRef,
RuntimeVariable.Covered_RefNull};
for (RuntimeVariable bcvar : bytecodeVarsCovered) {
ClientServices.track(bcvar,
getBytecodeCount(bcvar, ExecutionTraceImpl.bytecodeInstructionCoveredFalse)
+ getBytecodeCount(bcvar, ExecutionTraceImpl.bytecodeInstructionCoveredTrue));
}
RuntimeVariable[] bytecodeVarsReached = new RuntimeVariable[]{RuntimeVariable.Reached_lcmp,
RuntimeVariable.Reached_fcmpl, RuntimeVariable.Reached_fcmpg,
RuntimeVariable.Reached_dcmpl,
RuntimeVariable.Reached_dcmpg, RuntimeVariable.Reached_IntInt,
RuntimeVariable.Reached_IntInt,
RuntimeVariable.Reached_IntZero, RuntimeVariable.Reached_RefRef,
RuntimeVariable.Reached_RefNull};
for (RuntimeVariable bcvar : bytecodeVarsReached) {
ClientServices.track(bcvar,
getBytecodeCount(bcvar, ExecutionTraceImpl.bytecodeInstructionReached) * 2);
}
}
}
static void printTestCriterion() {
if (Properties.CRITERION.length > 1) {
LoggingUtils.getEvoLogger().info("* Test criteria:");
} else {
LoggingUtils.getEvoLogger().info("* Test criterion:");
}
for (int i = 0; i < Properties.CRITERION.length; i++) {
printTestCriterion(Properties.CRITERION[i]);
}
}
static TestGenerationStrategy getTestGenerationStrategy() {
switch (Properties.STRATEGY) {
case EVOSUITE:
return new WholeTestSuiteStrategy();
case RANDOM:
return new RandomTestStrategy();
case RANDOM_FIXED:
return new FixedNumRandomTestStrategy();
case ONEBRANCH:
return new IndividualTestStrategy();
case REGRESSION:
return new RegressionSuiteStrategy();
case ENTBUG:
return new EntBugTestStrategy();
case MOSUITE:
return new MOSuiteStrategy();
case DSE:
return new DSEStrategy();
case NOVELTY:
return new NoveltyStrategy();
default:
throw new RuntimeException("Unsupported strategy: " + Properties.STRATEGY);
}
}
public static void addAssertions(TestSuiteChromosome tests) {
AssertionGenerator asserter;
ContractChecker.setActive(false);
if (Properties.ASSERTION_STRATEGY == AssertionStrategy.MUTATION) {
asserter = new SimpleMutationAssertionGenerator();
} else if (Properties.ASSERTION_STRATEGY == AssertionStrategy.ALL) {
asserter = new CompleteAssertionGenerator();
} else
asserter = new UnitAssertionGenerator();
asserter.addAssertions(tests);
if (Properties.FILTER_ASSERTIONS)
asserter.filterFailingAssertions(tests);
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy