org.evosuite.coverage.dataflow

Class DefUseFitnessCalculator

java.lang.Object

org.evosuite.coverage.dataflow.DefUseFitnessCalculator

public class DefUseFitnessCalculator
extends Object

This class is like a library containing all methods needed to calculate a DefUseCoverage-Fitness

Author:

Andre Mis

Field Summary

Fields

Modifier and Type	Field and Description
static long	alternativeTime Constant alternativeTime=0l

Constructor Summary

Constructors

Constructor and Description
DefUseFitnessCalculator(DefUseCoverageTestFitness goal, TestChromosome individual, ExecutionResult result) Constructor for DefUseFitnessCalculator.

Method Summary

Modifier and Type	Method and Description
double	calculateDUFitness() Calculates the DefinitionUseCoverage fitness for the given DUPair on the given ExecutionResult The fitness is calculated as follows: If the goalDefinition is not passed in the result at all: This method returns 1 + normalize(goalDefinitionFitness) where goalDefinition equals the BranchCoverageTestFitness for the Branch that the CFGVertex of this goals definition is control dependent on (goalDefinitionBranch) If the goalDefinition is passed, but the goalUse is not passed at all: This method returns the normalized BranchCoverageTestFitness for the Branch that the CFGVertex of this goals Use is control dependent on (goalUseBranch) If both the goalDefinition and the goalUse were passed at least once in the given result: 1.
double	calculateFitnessForObjects()
static Integer	getMaxEntryLowerThan(List<Integer> list, Integer border) getMaxEntryLowerThan
static boolean	hasEntriesForId(Map<Integer,HashMap<Integer,Integer>> objectDUMap, int targetId) hasEntriesForId
static boolean	hasEntriesForId(Map<Integer,HashMap<Integer,Integer>> objectDUMap, Integer objectId, int targetId) hasEntriesForId
static boolean	hasEntryInBetween(List<Integer> list, Integer start, Integer end) hasEntryInBetween
static boolean	hasEntryLowerThan(List<Integer> list, Integer border) hasEntryLowerThan
static double	normalize(double value) normalize
static boolean	traceCoversGoal(DefUseCoverageTestFitness goal, Chromosome individual, ExecutionTrace trace) Only a sanity check function for testing purposes

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

alternativeTime

public static long alternativeTime

Constant alternativeTime=0l

Constructor Detail

DefUseFitnessCalculator

public DefUseFitnessCalculator(DefUseCoverageTestFitness goal,
                               TestChromosome individual,
                               ExecutionResult result)

Constructor for DefUseFitnessCalculator.

Parameters:

goal - a DefUseCoverageTestFitness object.

individual - a TestChromosome object.

result - a ExecutionResult object.

Method Detail

calculateDUFitness

public double calculateDUFitness()

Calculates the DefinitionUseCoverage fitness for the given DUPair on the given ExecutionResult The fitness is calculated as follows: If the goalDefinition is not passed in the result at all: This method returns 1 + normalize(goalDefinitionFitness) where goalDefinition equals the BranchCoverageTestFitness for the Branch that the CFGVertex of this goals definition is control dependent on (goalDefinitionBranch) If the goalDefinition is passed, but the goalUse is not passed at all: This method returns the normalized BranchCoverageTestFitness for the Branch that the CFGVertex of this goals Use is control dependent on (goalUseBranch) If both the goalDefinition and the goalUse were passed at least once in the given result: 1. If and only if at any goalUsePosition the active definition was the goalDefinition the Definition-Use-Pair of this goal is covered and the method returns 0 Otherwise this method returns the minimum of the following: 1. For all goalUsePositions if there was an overwriting definition, the normalized sum over all such overwriting definitions of the normalized BranchCoverageTestFitness for not taking the branch with the overwriting definition look at calculateAltenativeFitness() For all goalDefPositions the normalized BranchCoverageTestFitness for the goalUseBranch in the ExecutionTrace where every trace information is filtered out except the information traced between the occurrence of the goalDefinitionPosition and the next overwritingDefinitionPosition look at calculateUseFitnessForDefinitionPosition() If this goals definition is not a static variable the trace information of all constructed objects of the CUT are handled separately and the minimum over all individually calculated fitness is returned

Returns:

a double.

calculateFitnessForObjects

public double calculateFitnessForObjects()

normalize

public static double normalize(double value)

normalize

Parameters:

value - a double.

Returns:

a double.

hasEntryLowerThan

public static boolean hasEntryLowerThan(List<Integer> list,
                                        Integer border)

hasEntryLowerThan

Parameters:

list - a List object.

border - a Integer object.

Returns:

a boolean.

hasEntryInBetween

public static boolean hasEntryInBetween(List<Integer> list,
                                        Integer start,
                                        Integer end)

hasEntryInBetween

Parameters:

list - a List object.

start - a Integer object.

end - a Integer object.

Returns:

a boolean.

getMaxEntryLowerThan

public static Integer getMaxEntryLowerThan(List<Integer> list,
                                           Integer border)

getMaxEntryLowerThan

Parameters:

list - a List object.

border - a Integer object.

Returns:

a Integer object.

hasEntriesForId

public static boolean hasEntriesForId(Map<Integer,HashMap<Integer,Integer>> objectDUMap,
                                      int targetId)

hasEntriesForId

Parameters:

objectDUMap - a Map object.

targetId - a int.

Returns:

a boolean.

hasEntriesForId

public static boolean hasEntriesForId(Map<Integer,HashMap<Integer,Integer>> objectDUMap,
                                      Integer objectId,
                                      int targetId)

hasEntriesForId

Parameters:

objectDUMap - a Map object.

objectId - a Integer object.

targetId - a int.

Returns:

a boolean.

traceCoversGoal

public static boolean traceCoversGoal(DefUseCoverageTestFitness goal,
                                      Chromosome individual,
                                      ExecutionTrace trace)

Only a sanity check function for testing purposes

Parameters:

goal - a DefUseCoverageTestFitness object.

individual - a Chromosome object.

trace - a ExecutionTrace object.

Returns:

a boolean.