All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.evosuite.coverage.branch.BranchCoverageTestFitness Maven / Gradle / Ivy

/**
 * 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 .
 */
package org.evosuite.coverage.branch;

import org.evosuite.Properties;
import org.evosuite.coverage.ControlFlowDistance;
import org.evosuite.ga.archive.Archive;
import org.evosuite.testcase.ExecutableChromosome;
import org.evosuite.testcase.TestChromosome;
import org.evosuite.testcase.TestFitnessFunction;
import org.evosuite.testcase.execution.ExecutionResult;
import org.evosuite.testcase.execution.MethodCall;
import org.evosuite.utils.ArrayUtil;

/**
 * Fitness function for a single test on a single branch
 * 
 * @author Gordon Fraser
 */
public class BranchCoverageTestFitness extends TestFitnessFunction {

	private static final long serialVersionUID = -6310967747257242580L;

	/** Target branch */
	private final BranchCoverageGoal goal;

	/**
	 * Constructor - fitness is specific to a branch
	 * 
	 * @param goal
	 *            a {@link org.evosuite.coverage.branch.BranchCoverageGoal}
	 *            object.
	 */
	public BranchCoverageTestFitness(BranchCoverageGoal goal) throws IllegalArgumentException{
		if(goal == null){
			throw new IllegalArgumentException("goal cannot be null");
		}
		this.goal = goal;
	}

	/**
	 * 

* getBranch *

* * @return a {@link org.evosuite.coverage.branch.Branch} object. */ public Branch getBranch() { return goal.getBranch(); } public boolean getValue() { return goal.getValue(); } public BranchCoverageGoal getBranchGoal() { return goal; } /** *

* getClassName *

* * @return a {@link java.lang.String} object. */ public String getClassName() { return goal.getClassName(); } /** *

* getMethod *

* * @return a {@link java.lang.String} object. */ public String getMethod() { return goal.getMethodName(); } /** *

* getBranchExpressionValue *

* * @return a boolean. */ public boolean getBranchExpressionValue() { return goal.getValue(); } /** *

* getUnfitness *

* * @param individual * a {@link org.evosuite.testcase.ExecutableChromosome} object. * @param result * a {@link org.evosuite.testcase.execution.ExecutionResult} object. * @return a double. */ public double getUnfitness(ExecutableChromosome individual, ExecutionResult result) { double sum = 0.0; boolean methodExecuted = false; for (MethodCall call : result.getTrace().getMethodCalls()) { if (call.className.equals(goal.getClassName()) && call.methodName.equals(goal.getMethodName())) { methodExecuted = true; if (goal.getBranch() != null) { for (int i = 0; i < call.branchTrace.size(); i++) { if (call.branchTrace.get(i) == goal.getBranch().getInstruction().getInstructionId()) { if (goal.getValue()) sum += call.falseDistanceTrace.get(i); else sum += call.trueDistanceTrace.get(i); } } } } } if (goal.getBranch() == null) { // logger.info("Branch is null? " + goal.branch); if (goal.getValue()) sum = methodExecuted ? 1.0 : 0.0; else sum = methodExecuted ? 0.0 : 1.0; } return sum; } /** * {@inheritDoc} * * Calculate approach level + branch distance */ @Override public double getFitness(TestChromosome individual, ExecutionResult result) { ControlFlowDistance distance = goal.getDistance(result); double fitness = distance.getResultingBranchFitness(); if(logger.isDebugEnabled()) { logger.debug("Goal at line "+goal.getLineNumber()+": approach level = " + distance.getApproachLevel() + " / branch distance = " + distance.getBranchDistance() + ", fitness = " + fitness); } updateIndividual(this, individual, fitness); if (fitness == 0.0) { individual.getTestCase().addCoveredGoal(this); } if (Properties.TEST_ARCHIVE) { // the next if condition is needed for DynaMOSA when branch coverage is not // set as coverage criterion to optimize. However, branches are // the backbone for all other criteria and thus they are always used in DynaMOSA if (ArrayUtil.contains(Properties.CRITERION, Properties.Criterion.BRANCH)) Archive.getArchiveInstance().updateArchive(this, individual, fitness); } return fitness; } /** {@inheritDoc} */ @Override public String toString() { return goal.toString(); } /** {@inheritDoc} */ @Override public int hashCode() { final int prime = 31; int result = 1; result = prime * result + ((goal == null) ? 0 : goal.hashCode()); return result; } /** {@inheritDoc} */ @Override public boolean equals(Object obj) { if (this == obj) return true; if (obj == null) return false; if (getClass() != obj.getClass()) return false; BranchCoverageTestFitness other = (BranchCoverageTestFitness) obj; if (goal == null) { if (other.goal != null) return false; } else if (!goal.equals(other.goal)) return false; return true; } /* (non-Javadoc) * @see org.evosuite.testcase.TestFitnessFunction#compareTo(org.evosuite.testcase.TestFitnessFunction) */ @Override public int compareTo(TestFitnessFunction other) { if (other instanceof BranchCoverageTestFitness) { BranchCoverageTestFitness otherBranchFitness = (BranchCoverageTestFitness) other; return goal.compareTo(otherBranchFitness.goal); } return compareClassName(other); } /* (non-Javadoc) * @see org.evosuite.testcase.TestFitnessFunction#getTargetClass() */ @Override public String getTargetClass() { return getClassName(); } /* (non-Javadoc) * @see org.evosuite.testcase.TestFitnessFunction#getTargetMethod() */ @Override public String getTargetMethod() { return getMethod(); } }




© 2015 - 2024 Weber Informatics LLC | Privacy Policy