org.evomaster.client.java.instrumentation.staticstate

Class ObjectiveRecorder

java.lang.Object

org.evomaster.client.java.instrumentation.staticstate.ObjectiveRecorder

public class ObjectiveRecorder
extends Object

Keep track of all objective coverage so far. This is different from ExecutionTrace that is reset after each test execution.

Constructor Summary

Constructors

Constructor and Description
ObjectiveRecorder()

Method Summary

Modifier and Type	Method and Description
static void	clearFirstTimeEncountered()
static double	computeCoverage(String prefix)
static BootTimeObjectiveInfo	exposeBootTimeObjectiveInfo()
static String	getDescriptiveId(int id)
static Map<Integer,String>	getDescriptiveIds(Collection<Integer> ids)
static int	getMappedId(String descriptiveId)
static List<String>	getTargetsSeenFirstTime()
static void	printCoveragePerTarget(PrintWriter writer)
static void	registerExternalServiceInfoAtSutStartupTime(ExternalServiceInfo info) register external service info at Sut Startup Time
static void	registerHostnameResolutionInfoAtSutStartupTime(HostnameResolutionInfo info) register hostname resolution info at Sut Startup Time
static void	registerTarget(String target) Mark the existence of a testing target.
static void	reset(boolean alsoAtLoadTime) Reset all the static state in this class
static void	update(String descriptiveId, double value, boolean bootTime)

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectiveRecorder

public ObjectiveRecorder()

Method Detail

reset

public static void reset(boolean alsoAtLoadTime)

Reset all the static state in this class

registerHostnameResolutionInfoAtSutStartupTime

public static void registerHostnameResolutionInfoAtSutStartupTime(HostnameResolutionInfo info)

register hostname resolution info at Sut Startup Time

Parameters:

info - to append

registerExternalServiceInfoAtSutStartupTime

public static void registerExternalServiceInfoAtSutStartupTime(ExternalServiceInfo info)

register external service info at Sut Startup Time

Parameters:

info - to append

exposeBootTimeObjectiveInfo

public static BootTimeObjectiveInfo exposeBootTimeObjectiveInfo()

Returns:

bootTime objective info

registerTarget

public static void registerTarget(String target)

Mark the existence of a testing target. This is important to do when SUT classes are loaded and instrumented. This cannot be done with the added probes in the instrumentation, as what executed in the SUT depends on test data.

Parameters:

target - a descriptive string representing the id of the target

computeCoverage

public static double computeCoverage(String prefix)

Returns:

a coverage value in [0,1]

printCoveragePerTarget

public static void printCoveragePerTarget(PrintWriter writer)

getTargetsSeenFirstTime

public static List<String> getTargetsSeenFirstTime()

clearFirstTimeEncountered

public static void clearFirstTimeEncountered()

update

public static void update(String descriptiveId,
                          double value,
                          boolean bootTime)

Parameters:

descriptiveId - of the objective/target

value - of the coverage heuristic, in [0,1]

getMappedId

public static int getMappedId(String descriptiveId)

getDescriptiveIds

public static Map<Integer,String> getDescriptiveIds(Collection<Integer> ids)

getDescriptiveId

public static String getDescriptiveId(int id)