Package org.mpi_sws.jmc.strategies.trust

Class MeasureGraphCoverageStrategy

java.lang.Object

org.mpi_sws.jmc.strategies.trust.MeasureGraphCoverageStrategy

All Implemented Interfaces:

SchedulingStrategy

public class MeasureGraphCoverageStrategy
extends Object
implements SchedulingStrategy

A scheduling strategy that measures the coverage of execution graphs during the model checking process.

This strategy records the coverage of execution graphs and stores them in a specified path. It can also measure the coverage per iteration or at a specified frequency.

Constructor Summary

Constructors

Constructor	Description
MeasureGraphCoverageStrategy(SchedulingStrategy schedulingStrategy, MeasureGraphCoverageStrategyConfig config)

Method Summary

Modifier and Type	Method	Description
void	initIteration(int iteration, JmcModelCheckerReport report)	Initializes the strategy for a new iteration.
SchedulingChoice<?>	nextTask()	Returns the ID of the next thread to be scheduled.
void	resetIteration(int iteration)	Resets the strategy for the current Iteration.
void	teardown()	Teardown the strategy.
void	updateEvent(JmcRuntimeEvent event)	Updates the strategy with the event that has occurred.

Methods inherited from class java.lang.Object

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

Constructor Details

MeasureGraphCoverageStrategy

public MeasureGraphCoverageStrategy(SchedulingStrategy schedulingStrategy,
 MeasureGraphCoverageStrategyConfig config)

Method Details

initIteration

public void initIteration(int iteration,
 JmcModelCheckerReport report)
                   throws HaltCheckerException

Description copied from interface: SchedulingStrategy

Initializes the strategy for a new iteration.

Specified by:

initIteration in interface SchedulingStrategy

Parameters:

iteration - the number of the iteration.

Throws:

HaltCheckerException

updateEvent

public void updateEvent(JmcRuntimeEvent event)
                 throws HaltTaskException,
HaltExecutionException

Description copied from interface: SchedulingStrategy

Updates the strategy with the event that has occurred.

May be left empty if unused

Specified by:

updateEvent in interface SchedulingStrategy

Throws:

HaltTaskException

HaltExecutionException

nextTask

public SchedulingChoice<?> nextTask()

Description copied from interface: SchedulingStrategy

Returns the ID of the next thread to be scheduled.

Specified by:

nextTask in interface SchedulingStrategy

Returns:

the ID of the next thread to be scheduled.

resetIteration

public void resetIteration(int iteration)

Description copied from interface: SchedulingStrategy

Resets the strategy for the current Iteration.

Specified by:

resetIteration in interface SchedulingStrategy

teardown

public void teardown()

Description copied from interface: SchedulingStrategy

Teardown the strategy. Allows for releasing resources.

Specified by:

teardown in interface SchedulingStrategy