ca.uqac.lif.ecp.atomic

Class GreedyAutomatonGenerator

java.lang.Object

ca.uqac.lif.ecp.TraceGenerator<T>

ca.uqac.lif.ecp.GreedyTraceGenerator<AtomicEvent>

ca.uqac.lif.ecp.atomic.GreedyAutomatonGenerator

public class GreedyAutomatonGenerator
extends GreedyTraceGenerator<AtomicEvent>

Greedy generator when the input specification is a finite-state automaton. In such a case, candidate traces are generated by performing a random walk in the given automaton, favoring edges that are not visited.

Author:

Sylvain Hallé

Field Summary

Fields

Modifier and Type	Field and Description
protected Automaton	m_automaton The automaton used
protected java.util.Set<Edge<AtomicEvent>>	m_visited The set of visited edges

Fields inherited from class ca.uqac.lif.ecp.GreedyTraceGenerator

m_lastCoverage, m_maxIterations, m_metric, m_numCandidates, m_random

Constructor Summary

Constructors

Constructor and Description
GreedyAutomatonGenerator(Automaton aut, java.util.Random random, CoverageMetric<AtomicEvent,java.lang.Float> metric) Creates a greedy generator.

Method Summary

Modifier and Type	Method and Description
Trace<AtomicEvent>	generateTrace(int length) Randomly generates a trace of given length
int	pickLength() Chooses a length for a trace to be generated

Methods inherited from class ca.uqac.lif.ecp.GreedyTraceGenerator

generateTraces, getLastCoverage, setMaxIterations

Methods inherited from class java.lang.Object

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

Field Detail

m_automaton

protected final Automaton m_automaton

The automaton used

m_visited

protected java.util.Set<Edge<AtomicEvent>> m_visited

The set of visited edges

Constructor Detail

GreedyAutomatonGenerator

public GreedyAutomatonGenerator(Automaton aut,
                                java.util.Random random,
                                CoverageMetric<AtomicEvent,java.lang.Float> metric)

Creates a greedy generator.

Parameters:

aut - The automaton specification

random - A random number generator used to pick events and values

metric - The coverage metric against which to compare candidate solutions

Method Detail

pickLength

public int pickLength()

Description copied from class: GreedyTraceGenerator

Chooses a length for a trace to be generated

Overrides:

pickLength in class GreedyTraceGenerator<AtomicEvent>

Returns:

The length

generateTrace

public Trace<AtomicEvent> generateTrace(int length)

Description copied from class: GreedyTraceGenerator

Randomly generates a trace of given length

Specified by:

generateTrace in class GreedyTraceGenerator<AtomicEvent>

Parameters:

length - The length

Returns:

The trace, or null if no trace could be generated