org.evosuite.coverage.dataflow

Class DefUseCoverageTestFitness

java.lang.Object

org.evosuite.ga.FitnessFunction<TestChromosome>

org.evosuite.testcase.TestFitnessFunction

org.evosuite.coverage.dataflow.DefUseCoverageTestFitness

All Implemented Interfaces:

Serializable, Comparable<TestFitnessFunction>

public class DefUseCoverageTestFitness
extends TestFitnessFunction

Evaluate fitness of a single test case with respect to one Definition-Use pair For more information look at the comment from method getDistance()

Author:

Andre Mis

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DefUseCoverageTestFitness.DefUsePairType

Field Summary

Fields

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

Fields inherited from class org.evosuite.ga.FitnessFunction

logger

Constructor Summary

Constructors

Constructor and Description
DefUseCoverageTestFitness(Definition def, Use use, DefUseCoverageTestFitness.DefUsePairType type) Creates a Definition-Use-Coverage goal for the given Definition and Use
DefUseCoverageTestFitness(Use use) Used for Parameter-Uses Creates a goal that tries to cover the given Use

Method Summary

Modifier and Type	Method and Description
int	compareTo(TestFitnessFunction other) Used to preorder goals by difficulty
boolean	equals(Object obj)
int	getCoveringObjectId() Getter for the field coveringObjectId.
ExecutionTrace	getCoveringTrace() Getter for the field coveringTrace.
double	getFitness(ExecutionResult result) Used by DefUseCoverageSuiteFitness Simply call getFitness(TestChromosome,ExecutionResult) with a dummy TestChromosome The chromosome is used only for updateIndividual() anyways.
double	getFitness(TestChromosome individual, ExecutionResult result) getFitness
Definition	getGoalDefinition() Getter for the field goalDefinition.
TestFitnessFunction	getGoalDefinitionFitness() Getter for the field goalDefinitionFitness.
Use	getGoalUse() Getter for the field goalUse.
TestFitnessFunction	getGoalUseFitness() Getter for the field goalUseFitness.
String	getGoalVariable() Getter for the field goalVariable.
Set<BytecodeInstruction>	getInstructionsAfterGoalDefinition() Returns a set containing all CFGVertices in the goal definition method that come after the definition.
Set<BytecodeInstruction>	getInstructionsBeforeGoalUse() Returns a set containing all CFGVertices in the goal use method that come before the goal use.
Set<BytecodeInstruction>	getInstructionsInBetweenDU() Return a set containing all CFGVertices that occur in the complete CFG after the goalDefinition and before the goalUse.
Set<BytecodeInstruction>	getPotentialOverwritingDefinitions() Returns the definitions to the goalVaraible coming after the goalDefinition and before the goalUse in their respective methods
String	getTargetClass()
String	getTargetMethod()
DefUseCoverageTestFitness.DefUsePairType	getType() Getter for the field type.
int	hashCode()
boolean	isAlias()
boolean	isCovered()
boolean	isInterMethodPair() isInterMethodPair
boolean	isIntraClassPair() isIntraClassPair
boolean	isParameterGoal() isParameterGoal
void	setCovered(boolean covered)
void	setCovered(TestChromosome individual, ExecutionTrace trace, Integer objectId) setCovered
String	toString()

Methods inherited from class org.evosuite.testcase.TestFitnessFunction

compareClassName, getFitness, isCovered, isCovered, isCovered, isCovered, isCovered, isCoveredBy, isCoveredByResults, isMaximizationFunction, runTest

Methods inherited from class org.evosuite.ga.FitnessFunction

getBestStoredIndividual, normalize, updateCoveredGoals, updateIndividual, updateIndividual

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

singleFitnessTime

public static long singleFitnessTime

Constant singleFitnessTime=0l

Constructor Detail

DefUseCoverageTestFitness

public DefUseCoverageTestFitness(Definition def,
                                 Use use,
                                 DefUseCoverageTestFitness.DefUsePairType type)

Creates a Definition-Use-Coverage goal for the given Definition and Use

Parameters:

def - a Definition object.

use - a Use object.

type - a DefUseCoverageTestFitness.DefUsePairType object.

DefUseCoverageTestFitness

public DefUseCoverageTestFitness(Use use)

Used for Parameter-Uses Creates a goal that tries to cover the given Use

Parameters:

use - a Use object.

Method Detail

getFitness

public double getFitness(TestChromosome individual,
                         ExecutionResult result)

getFitness

Calculates the DefUseCoverage test fitness for this goal Look at DefUseCoverageCalculations.calculateDUFitness() for more information

Specified by:

getFitness in class TestFitnessFunction

Parameters:

individual - a TestChromosome object.

result - a ExecutionResult object.

Returns:

a double.

getFitness

public double getFitness(ExecutionResult result)

Used by DefUseCoverageSuiteFitness Simply call getFitness(TestChromosome,ExecutionResult) with a dummy TestChromosome The chromosome is used only for updateIndividual() anyways.

Parameters:

result - a ExecutionResult object.

Returns:

a double.

isAlias

public boolean isAlias()

getPotentialOverwritingDefinitions

public Set<BytecodeInstruction> getPotentialOverwritingDefinitions()

Returns the definitions to the goalVaraible coming after the goalDefinition and before the goalUse in their respective methods

Returns:

a Set object.

getInstructionsInBetweenDU

public Set<BytecodeInstruction> getInstructionsInBetweenDU()

Return a set containing all CFGVertices that occur in the complete CFG after the goalDefinition and before the goalUse. It's pretty much the union of getInstructionsAfterGoalDefinition() and getInstructionsBeforeGoalUse(), except if the DU is in one method and the goalDefinition comes before the goalUse, then the intersection of the two sets is returned. If the goalDefinition is a Parameter-Definition only the CFGVertices before the goalUse are considered.

Returns:

a Set object.

getInstructionsAfterGoalDefinition

public Set<BytecodeInstruction> getInstructionsAfterGoalDefinition()

Returns a set containing all CFGVertices in the goal definition method that come after the definition. Look at ControlFlowGraph.getLaterInstructionInMethod() for details

Returns:

a Set object.

getInstructionsBeforeGoalUse

public Set<BytecodeInstruction> getInstructionsBeforeGoalUse()

Returns a set containing all CFGVertices in the goal use method that come before the goal use. Look at ControlFlowGraph.getPreviousInstructionInMethod() for details

Returns:

a Set object.

setCovered

public void setCovered(TestChromosome individual,
                       ExecutionTrace trace,
                       Integer objectId)

setCovered

Parameters:

individual - a Chromosome object.

trace - a ExecutionTrace object.

objectId - a Integer object.

getCoveringTrace

public ExecutionTrace getCoveringTrace()

Getter for the field coveringTrace.

Returns:

a ExecutionTrace object.

getGoalVariable

public String getGoalVariable()

Getter for the field goalVariable.

Returns:

a String object.

getCoveringObjectId

public int getCoveringObjectId()

Getter for the field coveringObjectId.

Returns:

a int.

getGoalDefinition

public Definition getGoalDefinition()

Getter for the field goalDefinition.

Returns:

a Definition object.

getGoalUse

public Use getGoalUse()

Getter for the field goalUse.

Returns:

a Use object.

getGoalUseFitness

public TestFitnessFunction getGoalUseFitness()

Getter for the field goalUseFitness.

Returns:

a TestFitnessFunction object.

getGoalDefinitionFitness

public TestFitnessFunction getGoalDefinitionFitness()

Getter for the field goalDefinitionFitness.

Returns:

a TestFitnessFunction object.

isInterMethodPair

public boolean isInterMethodPair()

isInterMethodPair

Returns:

a boolean.

isIntraClassPair

public boolean isIntraClassPair()

isIntraClassPair

Returns:

a boolean.

getType

public DefUseCoverageTestFitness.DefUsePairType getType()

Getter for the field type.

Returns:

a DefUseCoverageTestFitness.DefUsePairType object.

isParameterGoal

public boolean isParameterGoal()

isParameterGoal

Returns:

a boolean.

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Specified by:

hashCode in class TestFitnessFunction

equals

public boolean equals(Object obj)

Specified by:

equals in class TestFitnessFunction

compareTo

public int compareTo(TestFitnessFunction other)

Description copied from class: TestFitnessFunction

Used to preorder goals by difficulty

Specified by:

compareTo in interface Comparable<TestFitnessFunction>

Specified by:

compareTo in class TestFitnessFunction

isCovered

public boolean isCovered()

Returns:

the covered

setCovered

public void setCovered(boolean covered)

Parameters:

covered - the covered to set

getTargetClass

public String getTargetClass()

Specified by:

getTargetClass in class TestFitnessFunction

getTargetMethod

public String getTargetMethod()

Specified by:

getTargetMethod in class TestFitnessFunction