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

org.evosuite.coverage.cbranch.CBranchTestFitness 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.cbranch;

import java.util.Map;
import java.util.Map.Entry;
import org.evosuite.Properties;
import org.evosuite.coverage.branch.Branch;
import org.evosuite.coverage.branch.BranchCoverageGoal;
import org.evosuite.coverage.branch.BranchCoverageTestFitness;
import org.evosuite.ga.archive.Archive;
import org.evosuite.setup.CallContext;
import org.evosuite.testcase.TestChromosome;
import org.evosuite.testcase.TestFitnessFunction;
import org.evosuite.testcase.execution.ExecutionResult;

/**
 * @author Gordon Fraser, mattia
 * 
 */
public class CBranchTestFitness extends TestFitnessFunction {

	private static final long serialVersionUID = -1399396770125054561L;

	private final BranchCoverageGoal branchGoal;

	private final CallContext context;

	public CBranchTestFitness(BranchCoverageGoal branch, CallContext context) {
		this.branchGoal = branch;
		this.context = context;
	}

	public Branch getBranch() {
		return branchGoal.getBranch();
	}

	public boolean getValue() {
		return branchGoal.getValue();
	}

	public CallContext getContext() {
		return context;
	}

	public BranchCoverageGoal getBranchGoal() {
		return branchGoal;
	}
	
	public int getGenericContextBranchIdentifier(){
		final int prime = 31;
		int result = 1;
		result = prime * result + (branchGoal == null ? 0 : branchGoal.hashCodeWithoutValue());
		result = prime * result + (context == null ? 0 : context.hashCode());
		return result;
	}
	
	private double getMethodCallDistance(ExecutionResult result) {
		String key = branchGoal.getClassName() + "." + branchGoal.getMethodName();
		if (!result.getTrace().getMethodContextCount().containsKey(key)) {
			return Double.MAX_VALUE;
		}
		for (Entry value : result.getTrace().getMethodContextCount().get(key).entrySet()) {

			if (context.matches(value.getKey())) {
				return value.getValue() > 0 ? 0.0 : 1.0;
			}
		}
		return Double.MAX_VALUE;
	}

	private double getPredicateDistance(Map> distanceMap) {

		if (!distanceMap.containsKey(branchGoal.getBranch().getActualBranchId())) {
			return Double.MAX_VALUE;
		}

		Map distances = distanceMap.get(branchGoal.getBranch().getActualBranchId());

		for (Entry value : distances.entrySet()) {
			if (context.matches(value.getKey())) {
				return value.getValue();
			}
		}

		return Double.MAX_VALUE;
	}

	/* (non-Javadoc)
	 * @see org.evosuite.testcase.TestFitnessFunction#getFitness(org.evosuite.testcase.TestChromosome, org.evosuite.testcase.ExecutionResult)
	 */
	@Override
	public double getFitness(TestChromosome individual, ExecutionResult result) {
		double fitness = 0.0;

		if (branchGoal.getBranch() == null) {
			fitness = getMethodCallDistance(result);
		} else if (branchGoal.getValue()) {
			fitness = getPredicateDistance(result.getTrace().getTrueDistancesContext());
		} else {
			fitness = getPredicateDistance(result.getTrace().getFalseDistancesContext());
		}

		updateIndividual(this, individual, fitness);

		if (fitness == 0.0) {
			individual.getTestCase().addCoveredGoal(this);
		}

		if (Properties.TEST_ARCHIVE) {
			Archive.getArchiveInstance().updateArchive(this, individual, fitness);
		}

		return fitness;
	}

	
	
	/* (non-Javadoc)
	 * @see org.evosuite.testcase.TestFitnessFunction#compareTo(org.evosuite.testcase.TestFitnessFunction)
	 */
	@Override
	public int compareTo(TestFitnessFunction other) {
		if (other instanceof CBranchTestFitness) {
			CBranchTestFitness otherBranchFitness = (CBranchTestFitness) other;
			return branchGoal.compareTo(otherBranchFitness.branchGoal);
		}

		/*
			This check is wrong, unless BranchCoverageTestFitness is checking as well for CBranchTestFitness in
			its compareTo method

		else if (other instanceof BranchCoverageTestFitness) {
			BranchCoverageTestFitness otherBranchFitness = (BranchCoverageTestFitness) other;
			return branchGoal.compareTo(otherBranchFitness.getBranchGoal());
		}
		*/

		return compareClassName(other);
//		return -1;
	}

	/* (non-Javadoc)
	 * @see org.evosuite.testcase.TestFitnessFunction#getTargetClass()
	 */
	@Override
	public String getTargetClass() {
		return branchGoal.getClassName();
	}

	/* (non-Javadoc)
	 * @see org.evosuite.testcase.TestFitnessFunction#getTargetMethod()
	 */
	@Override
	public String getTargetMethod() {
		return branchGoal.getMethodName();
	}

	@Override
	public String toString() {
		return "Branch " + branchGoal + " in context: " + context.toString();
	}

	public String toStringContext() {
		return context.toString() + ":" + branchGoal;
	}

	
	/* (non-Javadoc)
	 * @see java.lang.Object#hashCode()
	 */
	@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result + ((branchGoal == null) ? 0 : branchGoal.hashCode());
		result = prime * result + ((context == null) ? 0 : context.hashCode());
		return result;
	}

	/* (non-Javadoc)
	 * @see java.lang.Object#equals(java.lang.Object)
	 */
	@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		if (obj == null)
			return false;
		if (getClass() != obj.getClass())
			return false;
		CBranchTestFitness other = (CBranchTestFitness) obj;
		if (branchGoal == null) {
			if (other.branchGoal != null)
				return false;
		} else if (!branchGoal.equals(other.branchGoal))
			return false;
		if (context == null) {
			if (other.context != null)
				return false;
		} else if (!context.equals(other.context))
			return false;
		return true;
	}

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy