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 |
---|---|
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.
|
EfsmTransitionCoverage |
getSequenceCoverage()
Returns a totalCoverage reached during generation.
|
TestCoverage |
getTotalCoverage()
Returns a coverage reached by all sequences previously generated 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 getSequenceCoverage()
getSequenceCoverage
in class AtomicTestGenerator
AtomicTestGenerator.getNextSequenceIterator()
public java.util.Iterator<Vector> getNextSequenceIterator()
getNextSequenceIterator
in class AtomicTestGenerator
null
is
returnedpublic TestCoverage getTotalCoverage()
AtomicTestGenerator
getTotalCoverage
in class AtomicTestGenerator
AtomicTestGenerator.getSequenceCoverage()