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

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

import org.evosuite.Properties;
import org.evosuite.coverage.branch.BranchCoverageSuiteFitness;
import org.evosuite.ga.archive.Archive;
import org.evosuite.testcase.ExecutableChromosome;
import org.evosuite.testcase.TestChromosome;
import org.evosuite.testcase.execution.ExecutionResult;
import org.evosuite.testsuite.AbstractTestSuiteChromosome;

import java.util.List;
import java.util.Map;

/**
 * Created by gordon on 03/04/2016.
 */
public class TryCatchCoverageSuiteFitness extends BranchCoverageSuiteFitness {

     private static final long serialVersionUID = -8849382855802052405L;

    /**
     * Make sure we only include artificial branches
     */
    protected void determineCoverageGoals() {
        List goals = new TryCatchCoverageFactory().getCoverageGoals();
        for (TryCatchCoverageTestFitness goal : goals) {

            if(Properties.TEST_ARCHIVE)
                Archive.getArchiveInstance().addTarget(goal);

            branchesId.add(goal.getBranch().getActualBranchId());
            if (goal.getBranchExpressionValue())
                branchCoverageTrueMap.put(goal.getBranch().getActualBranchId(), goal);
            else
                branchCoverageFalseMap.put(goal.getBranch().getActualBranchId(), goal);
        }
    }

    @Override
    protected void handleBranchlessMethods(TestChromosome test, ExecutionResult result, Map callCount) {
        // no-op
    }

//    @Override
//    protected void handleTrueDistances(TestChromosome test, ExecutionResult result, Map falseDistance) {
//        // We only aim to cover false branches
//    }

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy