public abstract class ThresholdRandomTraceGenerator<T extends Event> extends RandomTraceGenerator<T>
| 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
|
m_random| Constructor and Description |
|---|
ThresholdRandomTraceGenerator(java.util.Random random,
CoverageMetric<T,java.lang.Float> metric,
int max_trace_length,
float threshold) |
| Modifier and Type | Method and Description |
|---|---|
TestSuite<T> |
generateTraces()
Generates a set of traces
|
nextEventprotected int m_maxTraceLength
protected float m_coverageThreshold
protected int m_maxTraces
public ThresholdRandomTraceGenerator(java.util.Random random,
CoverageMetric<T,java.lang.Float> metric,
int max_trace_length,
float threshold)
public TestSuite<T> generateTraces()
TraceGeneratorgenerateTraces in class TraceGenerator<T extends Event>Copyright © Sylvain HallĂ©. All Rights Reserved.