ca.uqac.lif.ecp

Class ThresholdRandomTraceGenerator<T extends Event>

java.lang.Object

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

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

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

Direct Known Subclasses:

AtomicThresholdRandomGenerator

public abstract class ThresholdRandomTraceGenerator<T extends Event>
extends RandomTraceGenerator<T>

Trace generator that picks events randomly. The trace generator is instructed to generate n traces, each of length m, by picking at random each event in the set of possible events.

Field Summary

Fields

Modifier and Type	Field and Description
protected float	m_coverageThreshold The coverage threshold to obtain with the set of traces
protected int	m_maxTraceLength The maximum length of the traces to generate
protected int	m_maxTraces The maximum number of traces to generate

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

m_random

Constructor Summary

Constructors

Constructor and Description
ThresholdRandomTraceGenerator(java.util.Random random, CoverageMetric<T,java.lang.Float> metric, int max_trace_length, float threshold)

Method Summary

Modifier and Type	Method and Description
TestSuite<T>	generateTraces() Generates a set of traces

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

nextEvent

Methods inherited from class java.lang.Object

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

Field Detail

m_maxTraceLength

protected int m_maxTraceLength

The maximum length of the traces to generate

m_coverageThreshold

protected float m_coverageThreshold

The coverage threshold to obtain with the set of traces

m_maxTraces

protected int m_maxTraces

The maximum number of traces to generate

Constructor Detail

ThresholdRandomTraceGenerator

public ThresholdRandomTraceGenerator(java.util.Random random,
                                     CoverageMetric<T,java.lang.Float> metric,
                                     int max_trace_length,
                                     float threshold)

Method Detail

generateTraces

public TestSuite<T> generateTraces()

Description copied from class: TraceGenerator

Generates a set of traces

Specified by:

generateTraces in class TraceGenerator<T extends Event>

Returns:

The set of traces