ca.uqac.lif.ecp.statechart

Class GreedyAtomicStatechartGenerator

java.lang.Object

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

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

ca.uqac.lif.ecp.statechart.GreedyAtomicStatechartGenerator

public class GreedyAtomicStatechartGenerator
extends GreedyTraceGenerator<AtomicEvent>

Greedy generator when the input specification is an atomic UML statechart. In such a case, candidate traces are generated by performing a random walk in the given statechart.

Author:

Sylvain Hallé

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<AtomicEvent>	m_alphabet The alphabet of this statechart
protected Statechart<AtomicEvent>	m_statechart The statechart used

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
GreedyAtomicStatechartGenerator(Statechart<AtomicEvent> 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_statechart

protected final Statechart<AtomicEvent> m_statechart

The statechart used

m_alphabet

protected java.util.List<AtomicEvent> m_alphabet

The alphabet of this statechart

Constructor Detail

GreedyAtomicStatechartGenerator

public GreedyAtomicStatechartGenerator(Statechart<AtomicEvent> 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