org.evosuite.testcase.execution

Class ExecutionTraceProxy

java.lang.Object

org.evosuite.testcase.execution.ExecutionTraceProxy

All Implemented Interfaces:

Cloneable, ExecutionTrace

public class ExecutionTraceProxy
extends Object
implements ExecutionTrace, Cloneable

ExecutionTraceProxy class.

Author:

gordon

Constructor Summary

Constructors

Constructor and Description
ExecutionTraceProxy() Constructor for ExecutionTraceProxy.
ExecutionTraceProxy(ExecutionTraceImpl trace) Constructor for ExecutionTraceProxy.

Method Summary

Modifier and Type	Method and Description
void	branchPassed(int branch, int bytecode_id, double true_distance, double false_distance) Add branch to currently active method call
void	classInitialized(String classNameWithDots) Logs that a was completed during this test execution
void	clear() Reset to 0
void	copyOnWrite() copyOnWrite
void	definitionPassed(Object object, Object caller, int defID) Adds Definition-Use-Coverage trace information for the given definition.
void	enteredMethod(String className, String methodName, Object caller) Add a new method call to stack
void	exitMethod(String classname, String methodname) Pop last method call from stack
void	finishCalls() Finish all method calls.
Set<Integer>	getAllCoveredLines() Retrieve the set of all line numbers covered
List<ExecutionTraceImpl.BranchEval>	getBranchesTrace() getBranchesTrace
Set<String>	getClassesWithStaticReads() Retrieve a list of those classes that were affected by a GETSTATIC.
Set<String>	getClassesWithStaticWrites() Retrieve a list of those classes that were affected by a PUTSTATIC.
Map<String,Map<String,Map<Integer,Integer>>>	getCoverageData() Retrieve detailed line coverage count
Set<String>	getCoveredBranchlessMethods() Retrieve the names of all covered branchless methods
Set<Integer>	getCoveredDefinitions() Retrieve set of definitions that were executed
Set<Integer>	getCoveredFalseBranches() Retrieve set of branches that evaluated to false
Set<Integer>	getCoveredLines() Retrieve the set of line numbers covered of Properties.TARGET_CLASS class
Set<Integer>	getCoveredLines(String className) Retrieve the set of line numbers covered
Set<String>	getCoveredMethods() Retrieve the names of all called methods
Set<Integer>	getCoveredPredicates() Retrieve set of branches that were executed
Set<Integer>	getCoveredTrueBranches() Retrieve set of branches that evaluated to true
Map<String,HashMap<Integer,HashMap<Integer,Integer>>>	getDefinitionData() Retrieve data definitions
Map<String,HashMap<Integer,HashMap<Integer,Object>>>	getDefinitionDataObjects() Retrieve data definitions
Map<Integer,Integer>	getDefinitionExecutionCount() Retrieve execution counts for definitions
Throwable	getExplicitException() Retrieve the exception thrown in this trace
double	getFalseDistance(int branchId) Retrieve minimum branch distance to false branch
Map<Integer,Double>	getFalseDistances() Retrieve map of all minimal false distances
Map<Integer,Map<CallContext,Double>>	getFalseDistancesContext() Retrieve map of all minimal false distances
Map<Integer,Double>	getFalseDistancesSum() getFalseDistancesSum
Set<Integer>	getInfectedMutants() Retrieve IDs of all executed mutants with an infection distance == 0.0
List<String>	getInitializedClasses() Returns the list (with no repetitions) following the order in which the method was finished during this test execution
List<MethodCall>	getMethodCalls() Retrieve all traced method calls
Map<String,Map<CallContext,Integer>>	getMethodContextCount() Retrieve map of all context method counts
Map<String,Integer>	getMethodExecutionCount() Retrieve execution counts for methods
double	getMutationDistance(int mutationId) Retrieve the minimum infection distance for a mutant
Map<Integer,Double>	getMutationDistances() Retrieve all minimal infection distances
Set<Integer>	getPassedDefIDs() Retrieve the set of all definitions by id
Map<Integer,HashMap<Integer,Integer>>	getPassedDefinitions(String variableName) Retrieve the data definitions for a given variable
Set<Integer>	getPassedUseIDs() Retrieve the set of all uses by id
Map<String,HashMap<Integer,HashMap<Integer,Integer>>>	getPassedUses() getPassedUses
Map<Integer,HashMap<Integer,Integer>>	getPassedUses(String variableName) Retrieve the data uses for a given variable
Map<Integer,Map<CallContext,Integer>>	getPredicateContextExecutionCount() Retrieve number of predicate executions
Map<Integer,Integer>	getPredicateExecutionCount() Retrieve execution counts for branches
Map<String,Map<String,Map<Integer,Integer>>>	getReturnData() Retrieve return value data
void	getStaticPassed(String classNameWithDots, String fieldName) Record a GETSTATIC statement
Set<Integer>	getTouchedMutants() Retrieve IDs of all executed mutants
ExecutionTrace	getTraceForObject(int objectId) Returns a copy of this trace where all MethodCall-information traced from objects other then the one identified by the given objectID is removed from the finished_calls-field WARNING: this will not affect this.true_distances and other fields of ExecutionTrace this only affects the finished_calls field (which should suffice for BranchCoverageFitness-calculation)
ExecutionTrace	getTraceInDUCounterRange(DefUse targetDU, boolean wantToCoverTargetDU, int duCounterStart, int duCounterEnd) Returns a copy of this trace where all MethodCall-information associated with duCounters outside the range of the given duCounter-Start and -End is removed from the finished_calls-traces finished_calls without any point in the trace at which the given duCounter range is hit are removed completely Also traces for methods other then the one that holds the given targetDU are removed as well as trace information that would pass the branch of the given targetDU If wantToCoverTargetDU is false instead those targetDUBranch information is removed that would pass the alternative branch of targetDU The latter is because this method only gets called when the given targetDU was not active in the given duCounter-range if and only if wantToCoverTargetDU is set, and since useFitness calculation is on branch level and the branch of the targetDU can be passed before the targetDU is passed this can lead to a flawed branchFitness.
double	getTrueDistance(int branchId) Retrieve minimum branch distance to true branch
Map<Integer,Double>	getTrueDistances() Retrieve map of all minimal true distances
Map<Integer,Map<CallContext,Double>>	getTrueDistancesContext() Retrieve map of all minimal true distances
Map<Integer,Double>	getTrueDistancesSum() getTrueDistancesSum
Map<String,HashMap<Integer,HashMap<Integer,Integer>>>	getUseData() Retrieve data uses
Map<String,HashMap<Integer,HashMap<Integer,Object>>>	getUseDataObjects() Retrieve data uses
boolean	hasFalseDistance(int predicateId) Determine if a branch has a false distance stored
boolean	hasTrueDistance(int predicateId) Determine if a branch has a true distance stored
ExecutionTrace	lazyClone() Create a lazy copy
void	linePassed(String className, String methodName, int line) Add line to currently active method call
void	mutationPassed(int mutationId, double distance) Record a mutant execution
void	putStaticPassed(String classNameWithDots, String fieldName) Record a PUTSTATIC statement
void	returnValue(String className, String methodName, int value) Record a return value
void	setExplicitException(Throwable explicitException) Set the exception thrown in this trace
String	toDefUseTraceInformation() Returns a String containing the information in passedDefs and passedUses Used for Definition-Use-Coverage-debugging
String	toDefUseTraceInformation(String targetVar) Returns a String containing the information in passedDefs and passedUses filtered for a specific variable Used for Definition-Use-Coverage-debugging
String	toDefUseTraceInformation(String var, int objectId) Returns a String containing the information in passedDefs and passedUses for the given variable Used for Definition-Use-Coverage-debugging
void	usePassed(Object object, Object caller, int useID) Adds Definition-Use-Coverage trace information for the given use.
boolean	wasMutationTouched(int mutationId) Determine is a mutant was executed

Methods inherited from class java.lang.Object

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

Constructor Detail

ExecutionTraceProxy

public ExecutionTraceProxy()

Constructor for ExecutionTraceProxy.

ExecutionTraceProxy

public ExecutionTraceProxy(ExecutionTraceImpl trace)

Constructor for ExecutionTraceProxy.

Parameters:

trace - a ExecutionTraceImpl object.

Method Detail

branchPassed

public void branchPassed(int branch,
                         int bytecode_id,
                         double true_distance,
                         double false_distance)

Add branch to currently active method call

Specified by:

branchPassed in interface ExecutionTrace

Parameters:

branch - a int.

bytecode_id - a int.

true_distance - a double.

false_distance - a double.

clear

public void clear()

Reset to 0

Specified by:

clear in interface ExecutionTrace

copyOnWrite

public void copyOnWrite()

copyOnWrite

definitionPassed

public void definitionPassed(Object object,
                             Object caller,
                             int defID)

Adds Definition-Use-Coverage trace information for the given definition. Registers the given caller-Object Traces the occurrence of the given definition in the passedDefs-field Sets the given definition as the currently active one for the definitionVariable in the activeDefinitions-field Adds fake trace information to the currently active MethodCall in this.stack

Specified by:

definitionPassed in interface ExecutionTrace

caller - a Object object.

defID - a int.

enteredMethod

public void enteredMethod(String className,
                          String methodName,
                          Object caller)

Add a new method call to stack

Specified by:

enteredMethod in interface ExecutionTrace

Parameters:

className - a String object.

methodName - a String object.

caller - a Object object.

exitMethod

public void exitMethod(String classname,
                       String methodname)

Pop last method call from stack

Specified by:

exitMethod in interface ExecutionTrace

Parameters:

classname - a String object.

methodname - a String object.

finishCalls

public void finishCalls()

Finish all method calls. This is called when a method is not exited regularly, but through an exception

Specified by:

finishCalls in interface ExecutionTrace

getCoverageData

public Map<String,Map<String,Map<Integer,Integer>>> getCoverageData()

Retrieve detailed line coverage count

Specified by:

getCoverageData in interface ExecutionTrace

Returns:

a Map object.

getCoveredFalseBranches

public Set<Integer> getCoveredFalseBranches()

Retrieve set of branches that evaluated to false

Specified by:

getCoveredFalseBranches in interface ExecutionTrace

Returns:

a Set object.

getCoveredLines

public Set<Integer> getCoveredLines(String className)

Retrieve the set of line numbers covered

Specified by:

getCoveredLines in interface ExecutionTrace

Parameters:

className - a String object.

Returns:

a Set object.

getCoveredLines

public Set<Integer> getCoveredLines()

Description copied from interface: ExecutionTrace

Retrieve the set of line numbers covered of Properties.TARGET_CLASS class

Specified by:

getCoveredLines in interface ExecutionTrace

Returns:

a Set object.

getAllCoveredLines

public Set<Integer> getAllCoveredLines()

Description copied from interface: ExecutionTrace

Retrieve the set of all line numbers covered

Specified by:

getAllCoveredLines in interface ExecutionTrace

Returns:

getCoveredMethods

public Set<String> getCoveredMethods()

Retrieve the names of all called methods

Specified by:

getCoveredMethods in interface ExecutionTrace

Returns:

a Set object.

getCoveredBranchlessMethods

public Set<String> getCoveredBranchlessMethods()

Description copied from interface: ExecutionTrace

Retrieve the names of all covered branchless methods

Specified by:

getCoveredBranchlessMethods in interface ExecutionTrace

Returns:

a Set object.

getCoveredPredicates

public Set<Integer> getCoveredPredicates()

Retrieve set of branches that were executed

Specified by:

getCoveredPredicates in interface ExecutionTrace

Returns:

a Set object.

getCoveredTrueBranches

public Set<Integer> getCoveredTrueBranches()

Retrieve set of branches that evaluated to true

Specified by:

getCoveredTrueBranches in interface ExecutionTrace

Returns:

a Set object.

getCoveredDefinitions

public Set<Integer> getCoveredDefinitions()

Description copied from interface: ExecutionTrace

Retrieve set of definitions that were executed

Specified by:

getCoveredDefinitions in interface ExecutionTrace

Returns:

a Set object.

getDefinitionExecutionCount

public Map<Integer,Integer> getDefinitionExecutionCount()

Description copied from interface: ExecutionTrace

Retrieve execution counts for definitions

Specified by:

getDefinitionExecutionCount in interface ExecutionTrace

Returns:

a Map object.

getDefinitionData

public Map<String,HashMap<Integer,HashMap<Integer,Integer>>> getDefinitionData()

Retrieve data definitions

Specified by:

getDefinitionData in interface ExecutionTrace

Returns:

a Map object.

getDefinitionDataObjects

public Map<String,HashMap<Integer,HashMap<Integer,Object>>> getDefinitionDataObjects()

Description copied from interface: ExecutionTrace

Retrieve data definitions

Specified by:

getDefinitionDataObjects in interface ExecutionTrace

Returns:

a Map object.

getExplicitException

public Throwable getExplicitException()

Retrieve the exception thrown in this trace

Specified by:

getExplicitException in interface ExecutionTrace

Returns:

a Throwable object.

getFalseDistance

public double getFalseDistance(int branchId)

Retrieve minimum branch distance to false branch

Specified by:

getFalseDistance in interface ExecutionTrace

Parameters:

branchId - a int.

Returns:

a double.

getFalseDistances

public Map<Integer,Double> getFalseDistances()

Retrieve map of all minimal false distances

Specified by:

getFalseDistances in interface ExecutionTrace

Returns:

a Map object.

getMethodCalls

public List<MethodCall> getMethodCalls()

Retrieve all traced method calls

Specified by:

getMethodCalls in interface ExecutionTrace

Returns:

a List object.

getMethodExecutionCount

public Map<String,Integer> getMethodExecutionCount()

Retrieve execution counts for methods

Specified by:

getMethodExecutionCount in interface ExecutionTrace

Returns:

a Map object.

getMutationDistance

public double getMutationDistance(int mutationId)

Retrieve the minimum infection distance for a mutant

Specified by:

getMutationDistance in interface ExecutionTrace

Parameters:

mutationId - a int.

Returns:

a double.

getMutationDistances

public Map<Integer,Double> getMutationDistances()

Retrieve all minimal infection distances

Specified by:

getMutationDistances in interface ExecutionTrace

Returns:

a Map object.

getPassedDefinitions

public Map<Integer,HashMap<Integer,Integer>> getPassedDefinitions(String variableName)

Retrieve the data definitions for a given variable

Specified by:

getPassedDefinitions in interface ExecutionTrace

Parameters:

variableName - a String object.

Returns:

a Map object.

getPassedUses

public Map<Integer,HashMap<Integer,Integer>> getPassedUses(String variableName)

Retrieve the data uses for a given variable

Specified by:

getPassedUses in interface ExecutionTrace

Parameters:

variableName - a String object.

Returns:

a Map object.

getPredicateExecutionCount

public Map<Integer,Integer> getPredicateExecutionCount()

Retrieve execution counts for branches

Specified by:

getPredicateExecutionCount in interface ExecutionTrace

Returns:

a Map object.

getReturnData

public Map<String,Map<String,Map<Integer,Integer>>> getReturnData()

Retrieve return value data

Specified by:

getReturnData in interface ExecutionTrace

Returns:

a Map object.

getTouchedMutants

public Set<Integer> getTouchedMutants()

Retrieve IDs of all executed mutants

Specified by:

getTouchedMutants in interface ExecutionTrace

Returns:

a Set object.

getInfectedMutants

public Set<Integer> getInfectedMutants()

Description copied from interface: ExecutionTrace

Retrieve IDs of all executed mutants with an infection distance == 0.0

Specified by:

getInfectedMutants in interface ExecutionTrace

Returns:

a Set object.

getTraceForObject

public ExecutionTrace getTraceForObject(int objectId)

Returns a copy of this trace where all MethodCall-information traced from objects other then the one identified by the given objectID is removed from the finished_calls-field WARNING: this will not affect this.true_distances and other fields of ExecutionTrace this only affects the finished_calls field (which should suffice for BranchCoverageFitness-calculation)

Specified by:

getTraceForObject in interface ExecutionTrace

Parameters:

objectId - a int.

Returns:

a ExecutionTrace object.

getTraceInDUCounterRange

public ExecutionTrace getTraceInDUCounterRange(DefUse targetDU,
                                               boolean wantToCoverTargetDU,
                                               int duCounterStart,
                                               int duCounterEnd)

Returns a copy of this trace where all MethodCall-information associated with duCounters outside the range of the given duCounter-Start and -End is removed from the finished_calls-traces finished_calls without any point in the trace at which the given duCounter range is hit are removed completely Also traces for methods other then the one that holds the given targetDU are removed as well as trace information that would pass the branch of the given targetDU If wantToCoverTargetDU is false instead those targetDUBranch information is removed that would pass the alternative branch of targetDU The latter is because this method only gets called when the given targetDU was not active in the given duCounter-range if and only if wantToCoverTargetDU is set, and since useFitness calculation is on branch level and the branch of the targetDU can be passed before the targetDU is passed this can lead to a flawed branchFitness. WARNING: this will not affect this.true_distances and other fields of ExecutionTrace this only affects the finished_calls field (which should suffice for BranchCoverageFitness-calculation)

Specified by:

getTraceInDUCounterRange in interface ExecutionTrace

Parameters:

targetDU - a DefUse object.

wantToCoverTargetDU - a boolean.

duCounterStart - a int.

duCounterEnd - a int.

Returns:

a ExecutionTrace object.

getTrueDistance

public double getTrueDistance(int branchId)

Retrieve minimum branch distance to true branch

Specified by:

getTrueDistance in interface ExecutionTrace

Parameters:

branchId - a int.

Returns:

a double.

getTrueDistances

public Map<Integer,Double> getTrueDistances()

Retrieve map of all minimal true distances

Specified by:

getTrueDistances in interface ExecutionTrace

Returns:

a Map object.

getUseData

public Map<String,HashMap<Integer,HashMap<Integer,Integer>>> getUseData()

Retrieve data uses

Specified by:

getUseData in interface ExecutionTrace

Returns:

a Map object.

getUseDataObjects

public Map<String,HashMap<Integer,HashMap<Integer,Object>>> getUseDataObjects()

Description copied from interface: ExecutionTrace

Retrieve data uses

Specified by:

getUseDataObjects in interface ExecutionTrace

Returns:

a Map object.

hasFalseDistance

public boolean hasFalseDistance(int predicateId)

Determine if a branch has a false distance stored

Specified by:

hasFalseDistance in interface ExecutionTrace

Parameters:

predicateId - a int.

Returns:

a boolean.

hasTrueDistance

public boolean hasTrueDistance(int predicateId)

Determine if a branch has a true distance stored

Specified by:

hasTrueDistance in interface ExecutionTrace

Parameters:

predicateId - a int.

Returns:

a boolean.

lazyClone

public ExecutionTrace lazyClone()

Create a lazy copy

Specified by:

lazyClone in interface ExecutionTrace

Returns:

a ExecutionTrace object.

linePassed

public void linePassed(String className,
                       String methodName,
                       int line)

Add line to currently active method call

Specified by:

linePassed in interface ExecutionTrace

Parameters:

className - a String object.

methodName - a String object.

line - a int.

mutationPassed

public void mutationPassed(int mutationId,
                           double distance)

Record a mutant execution

Specified by:

mutationPassed in interface ExecutionTrace

Parameters:

mutationId - a int.

distance - a double.

returnValue

public void returnValue(String className,
                        String methodName,
                        int value)

Record a return value

Specified by:

returnValue in interface ExecutionTrace

Parameters:

className - a String object.

methodName - a String object.

value - a int.

setExplicitException

public void setExplicitException(Throwable explicitException)

Set the exception thrown in this trace

Specified by:

setExplicitException in interface ExecutionTrace

Parameters:

explicitException - a Throwable object.

toDefUseTraceInformation

public String toDefUseTraceInformation()

Returns a String containing the information in passedDefs and passedUses Used for Definition-Use-Coverage-debugging

Specified by:

toDefUseTraceInformation in interface ExecutionTrace

Returns:

a String object.

toDefUseTraceInformation

public String toDefUseTraceInformation(String targetVar)

Returns a String containing the information in passedDefs and passedUses filtered for a specific variable Used for Definition-Use-Coverage-debugging

Specified by:

toDefUseTraceInformation in interface ExecutionTrace

Parameters:

targetVar - a String object.

Returns:

a String object.

toDefUseTraceInformation

public String toDefUseTraceInformation(String var,
                                       int objectId)

Returns a String containing the information in passedDefs and passedUses for the given variable Used for Definition-Use-Coverage-debugging

Specified by:

toDefUseTraceInformation in interface ExecutionTrace

Parameters:

var - a String object.

objectId - a int.

Returns:

a String object.

usePassed

public void usePassed(Object object,
                      Object caller,
                      int useID)

Adds Definition-Use-Coverage trace information for the given use. Registers the given caller-Object Traces the occurrence of the given use in the passedUses-field

Specified by:

usePassed in interface ExecutionTrace

caller - a Object object.

useID - a int.

wasMutationTouched

public boolean wasMutationTouched(int mutationId)

Determine is a mutant was executed

Specified by:

wasMutationTouched in interface ExecutionTrace

Parameters:

mutationId - a int.

Returns:

a boolean.

getBranchesTrace

public List<ExecutionTraceImpl.BranchEval> getBranchesTrace()

getBranchesTrace

Specified by:

getBranchesTrace in interface ExecutionTrace

Returns:

a List object.

getFalseDistancesSum

public Map<Integer,Double> getFalseDistancesSum()

getFalseDistancesSum

Specified by:

getFalseDistancesSum in interface ExecutionTrace

Returns:

a Map object.

getTrueDistancesSum

public Map<Integer,Double> getTrueDistancesSum()

getTrueDistancesSum

Specified by:

getTrueDistancesSum in interface ExecutionTrace

Returns:

a Map object.

getPassedUses

public Map<String,HashMap<Integer,HashMap<Integer,Integer>>> getPassedUses()

getPassedUses

Specified by:

getPassedUses in interface ExecutionTrace

Returns:

a Map object.

getPassedDefIDs

public Set<Integer> getPassedDefIDs()

Description copied from interface: ExecutionTrace

Retrieve the set of all definitions by id

Specified by:

getPassedDefIDs in interface ExecutionTrace

Returns:

getPassedUseIDs

public Set<Integer> getPassedUseIDs()

Description copied from interface: ExecutionTrace

Retrieve the set of all uses by id

Specified by:

getPassedUseIDs in interface ExecutionTrace

Returns:

getTrueDistancesContext

public Map<Integer,Map<CallContext,Double>> getTrueDistancesContext()

Description copied from interface: ExecutionTrace

Retrieve map of all minimal true distances

Specified by:

getTrueDistancesContext in interface ExecutionTrace

Returns:

a Map object.

getFalseDistancesContext

public Map<Integer,Map<CallContext,Double>> getFalseDistancesContext()

Description copied from interface: ExecutionTrace

Retrieve map of all minimal false distances

Specified by:

getFalseDistancesContext in interface ExecutionTrace

Returns:

a Map object.

getPredicateContextExecutionCount

public Map<Integer,Map<CallContext,Integer>> getPredicateContextExecutionCount()

Description copied from interface: ExecutionTrace

Retrieve number of predicate executions

Specified by:

getPredicateContextExecutionCount in interface ExecutionTrace

Returns:

a Map object.

getMethodContextCount

public Map<String,Map<CallContext,Integer>> getMethodContextCount()

Description copied from interface: ExecutionTrace

Retrieve map of all context method counts

Specified by:

getMethodContextCount in interface ExecutionTrace

Returns:

a Map object.

putStaticPassed

public void putStaticPassed(String classNameWithDots,
                            String fieldName)

Description copied from interface: ExecutionTrace

Record a PUTSTATIC statement

Specified by:

putStaticPassed in interface ExecutionTrace

getStaticPassed

public void getStaticPassed(String classNameWithDots,
                            String fieldName)

Description copied from interface: ExecutionTrace

Record a GETSTATIC statement

Specified by:

getStaticPassed in interface ExecutionTrace

getClassesWithStaticWrites

public Set<String> getClassesWithStaticWrites()

Description copied from interface: ExecutionTrace

Retrieve a list of those classes that were affected by a PUTSTATIC.

Specified by:

getClassesWithStaticWrites in interface ExecutionTrace

Returns:

classInitialized

public void classInitialized(String classNameWithDots)

Description copied from interface: ExecutionTrace

Logs that a was completed during this test execution

Specified by:

classInitialized in interface ExecutionTrace

getClassesWithStaticReads

public Set<String> getClassesWithStaticReads()

Description copied from interface: ExecutionTrace

Retrieve a list of those classes that were affected by a GETSTATIC.

Specified by:

getClassesWithStaticReads in interface ExecutionTrace

Returns:

getInitializedClasses

public List<String> getInitializedClasses()

Description copied from interface: ExecutionTrace

Returns the list (with no repetitions) following the order in which the method was finished during this test execution

Specified by:

getInitializedClasses in interface ExecutionTrace

Returns: