org.evosuite.coverage.dataflow

Class DefUseExecutionTraceAnalyzer

java.lang.Object

org.evosuite.coverage.dataflow.DefUseExecutionTraceAnalyzer

public abstract class DefUseExecutionTraceAnalyzer
extends Object

This class is a library holding all methods needed to analyze an ExecutionTrace with respect to DefUseCoverage fitness calculation

Author:

Andre Mis

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
DefUseExecutionTraceAnalyzer()

Method Summary

Modifier and Type	Method and Description
static int	getActiveDefinitionIdAt(String targetVariable, ExecutionTrace trace, int usePos, int objectId) Returns the defID of the Definition that is active in the given trace at usePos
static Object	getActiveObjectAtDefinition(ExecutionTrace trace, String targetVariable, int objectId, int usePos)
static Object	getActiveObjectAtUse(ExecutionTrace trace, String targetVariable, int objectId, int usePos)
static Set<DefUseCoverageTestFitness>	getCoveredGoals(ExecutionResult result) getCoveredGoals
static Set<DefUseCoverageTestFitness>	getCoveredGoals(List<ExecutionResult> results) getCoveredGoals
static List<Integer>	getDefinitionPositions(Definition targetDefinition, ExecutionTrace trace, int objectId) Returns all the duCounterPositions of the goalUse in the given trace
static Set<BytecodeInstruction>	getDefinitionsIn(String targetVariable, Set<BytecodeInstruction> vertices) getDefinitionsIn
static int	getNextOverwritingDefinitionPosition(Definition targetDefinition, ExecutionTrace objectTrace, Integer goalDefPos, Integer objectId) Determines the overwriting definition for the given goalDefPos An overwriting definition position is the duCounter position of the next definition for goalVariable that was not the goalDefinition If no such definition exists Integer.MAX_VALUE is returned
static Map<Integer,Integer>	getOverwritingDefinitionsBetween(Definition targetDefinition, ExecutionTrace trace, int startingDUPos, int endDUPos, int objectId) Returns the a map of definitionIds from all definitions that overwrite the goal definition in the given duCounter-range pointing to the duPos at which they first overwrote.
static Set<BytecodeInstruction>	getOverwritingDefinitionsIn(Definition targetDefinition, Collection<BytecodeInstruction> vertices) Returns a Set containing all elements in the given vertex set that are overwriting definitions for the given targetDefinition
static int	getPreviousDefinitionId(String targetVariable, ExecutionTrace objectTrace, Integer targetDUPos, Integer objectId) Determines the definitionId for targetVar before tagetDUPos in the given ExecutionTrace If no such definition exists -1 is returned
static List<Integer>	getUsePositions(Use targetUse, ExecutionTrace trace, int objectId) Returns all the duCounterPositions of the targetUse in the given trace
static boolean	isOverwritingDefinition(Definition targetDefinition, Definition definition) Determines if the two given Definitions refer to the same variable but are different
static void	printFinishCalls(ExecutionTrace trace) Prints all information found concerning finished calls of the given ExecutionTrace

Methods inherited from class java.lang.Object

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

Field Detail

timeGetCoveredGoals

public static long timeGetCoveredGoals

Constant timeGetCoveredGoals=0l

Constructor Detail

DefUseExecutionTraceAnalyzer

public DefUseExecutionTraceAnalyzer()

Method Detail

getPreviousDefinitionId

public static int getPreviousDefinitionId(String targetVariable,
                                          ExecutionTrace objectTrace,
                                          Integer targetDUPos,
                                          Integer objectId)

Determines the definitionId for targetVar before tagetDUPos in the given ExecutionTrace If no such definition exists -1 is returned

Parameters:

targetVariable - a String object.

objectTrace - a ExecutionTrace object.

targetDUPos - a Integer object.

objectId - a Integer object.

Returns:

a int.

getNextOverwritingDefinitionPosition

public static int getNextOverwritingDefinitionPosition(Definition targetDefinition,
                                                       ExecutionTrace objectTrace,
                                                       Integer goalDefPos,
                                                       Integer objectId)

Determines the overwriting definition for the given goalDefPos An overwriting definition position is the duCounter position of the next definition for goalVariable that was not the goalDefinition If no such definition exists Integer.MAX_VALUE is returned

Parameters:

targetDefinition - a Definition object.

objectTrace - a ExecutionTrace object.

goalDefPos - a Integer object.

objectId - a Integer object.

Returns:

a int.

getUsePositions

public static List<Integer> getUsePositions(Use targetUse,
                                            ExecutionTrace trace,
                                            int objectId)

Returns all the duCounterPositions of the targetUse in the given trace

Parameters:

targetUse - a Use object.

trace - a ExecutionTrace object.

objectId - a int.

Returns:

a List object.

getDefinitionPositions

public static List<Integer> getDefinitionPositions(Definition targetDefinition,
                                                   ExecutionTrace trace,
                                                   int objectId)

Returns all the duCounterPositions of the goalUse in the given trace

Parameters:

targetDefinition - a Definition object.

trace - a ExecutionTrace object.

objectId - a int.

Returns:

a List object.

getOverwritingDefinitionsBetween

public static Map<Integer,Integer> getOverwritingDefinitionsBetween(Definition targetDefinition,
                                                                    ExecutionTrace trace,
                                                                    int startingDUPos,
                                                                    int endDUPos,
                                                                    int objectId)

Returns the a map of definitionIds from all definitions that overwrite the goal definition in the given duCounter-range pointing to the duPos at which they first overwrote. This method expects the given ExecutionTrace not to contain any trace information for the targetDefinition in the given range. If such a trace is detected this method throws an IllegalStateException!

Parameters:

targetDefinition - a Definition object.

trace - a ExecutionTrace object.

startingDUPos - a int.

endDUPos - a int.

objectId - a int.

Returns:

a Map object.

getDefinitionsIn

public static Set<BytecodeInstruction> getDefinitionsIn(String targetVariable,
                                                        Set<BytecodeInstruction> vertices)

getDefinitionsIn

Parameters:

targetVariable - a String object.

vertices - a Set object.

Returns:

a Set object.

getOverwritingDefinitionsIn

public static Set<BytecodeInstruction> getOverwritingDefinitionsIn(Definition targetDefinition,
                                                                   Collection<BytecodeInstruction> vertices)

Returns a Set containing all elements in the given vertex set that are overwriting definitions for the given targetDefinition

Parameters:

targetDefinition - a Definition object.

vertices - a Collection object.

Returns:

a Set object.

isOverwritingDefinition

public static boolean isOverwritingDefinition(Definition targetDefinition,
                                              Definition definition)

Determines if the two given Definitions refer to the same variable but are different

Parameters:

targetDefinition - a Definition object.

definition - a Definition object.

Returns:

a boolean.

getActiveDefinitionIdAt

public static int getActiveDefinitionIdAt(String targetVariable,
                                          ExecutionTrace trace,
                                          int usePos,
                                          int objectId)

Returns the defID of the Definition that is active in the given trace at usePos

Parameters:

targetVariable - a String object.

trace - a ExecutionTrace object.

usePos - a int.

objectId - a int.

Returns:

a int.

getActiveObjectAtDefinition

public static Object getActiveObjectAtDefinition(ExecutionTrace trace,
                                                 String targetVariable,
                                                 int objectId,
                                                 int usePos)

getActiveObjectAtUse

public static Object getActiveObjectAtUse(ExecutionTrace trace,
                                          String targetVariable,
                                          int objectId,
                                          int usePos)

printFinishCalls

public static void printFinishCalls(ExecutionTrace trace)

Prints all information found concerning finished calls of the given ExecutionTrace

Parameters:

trace - a ExecutionTrace object.

getCoveredGoals

public static Set<DefUseCoverageTestFitness> getCoveredGoals(List<ExecutionResult> results)

getCoveredGoals

Parameters:

results - a List object.

Returns:

a Set object.

getCoveredGoals

public static Set<DefUseCoverageTestFitness> getCoveredGoals(ExecutionResult result)

getCoveredGoals

Parameters:

result - a ExecutionResult object.

Returns:

a Set object.