org.evosuite.coverage.branch

Class ControlFlowDistanceCalculator

java.lang.Object

org.evosuite.coverage.branch.ControlFlowDistanceCalculator

public class ControlFlowDistanceCalculator
extends Object

This class holds static methods used to calculate ControlFlowDistances or in other words methods to determine, how far a given ExecutionResult was away from reaching a given instruction or evaluating a certain Branch in a certain way - depending on your point of view. The distance to a certain Branch evaluating in a certain way is calculated as follows: If the given result had a Timeout, the worst possible ControlFlowDistance for the method at hand is returned Otherwise, if the given branch was null, meaning the distance to the root branch of a method should be calculated, either the 0-distance is returned, should the method at hand be called in the given ExecutionResult, or otherwise the 1-distance is returned Otherwise, the distance from the given ExecutionResult to evaluating the given Branch to either jump (given value being true) or not jump (given value being false) is calculated as follows: If the given Branch was passed in the given ExecutionResult, the respective true- or false-distance - depending on the given value- is taken as the returned distance's branch distance with an approach level of 0. Otherwise the minimum over all distances for evaluating one of the Branches that the given Branch is control dependent on is returned, after adding one to that distance's approach level. TODO make method that just takes a BytecodeInstruction and returns the minimum over all distances to it's control dependent branches

Author:

Andre Mis

Constructor Summary

Constructors

Constructor and Description
ControlFlowDistanceCalculator()

Method Summary

Modifier and Type	Method and Description
static ControlFlowDistance	getDistance(ExecutionResult result, Branch branch, boolean value, String className, String methodName) Calculates the ControlFlowDistance indicating how far away the given ExecutionResult was from executing the given Branch in a certain way, depending on the given value.

Methods inherited from class java.lang.Object

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

Constructor Detail

ControlFlowDistanceCalculator

public ControlFlowDistanceCalculator()

Method Detail

getDistance

public static ControlFlowDistance getDistance(ExecutionResult result,
                                              Branch branch,
                                              boolean value,
                                              String className,
                                              String methodName)

Calculates the ControlFlowDistance indicating how far away the given ExecutionResult was from executing the given Branch in a certain way, depending on the given value. For more information look at this class's class comment

Parameters:

result - a ExecutionResult object.

branch - a Branch object.

value - a boolean.

className - a String object.

methodName - a String object.

Returns:

a ControlFlowDistance object.