public class DirectedFateGenerator extends AtomicTestGenerator
EfsmFateTestGenerator
Constructor and Description |
---|
DirectedFateGenerator(Efsm efsm,
int loopLimit,
java.util.Map<EfsmTransition,java.util.Set<ru.ispras.retrascope.engine.efsm.generator.test.fate.ReachabilityInformation>> reachabilityInformation)
Constructs a test generator for the specified EFSM with the specified parameters.
|
Modifier and Type | Method and Description |
---|---|
EfsmTransitionCoverage |
getCoverage()
Returns a coverage reached during generation.
|
Efsm |
getEfsm()
Returns an EFSM which this generator is related to.
|
java.util.Iterator<Vector> |
getNextSequenceIterator()
Returns an iterator enabling to retrieve next sequence of vectors produced by this generator.
|
public DirectedFateGenerator(Efsm efsm, int loopLimit, java.util.Map<EfsmTransition,java.util.Set<ru.ispras.retrascope.engine.efsm.generator.test.fate.ReachabilityInformation>> reachabilityInformation)
efsm
- the EFSMloopLimit
- a depth limit for loop unfoldingpublic Efsm getEfsm()
public EfsmTransitionCoverage getCoverage()
getCoverage
in class AtomicTestGenerator
public java.util.Iterator<Vector> getNextSequenceIterator()
getNextSequenceIterator
in class AtomicTestGenerator
null
is
returned