public final class SemiRandomEfsmTransitionChooser extends EfsmTransitionChooser
SemiRandomEfsmTransitionChooser
is bounded to the specified
EFSM, its state, and test coverage.
RandomEfsmTransitionChooser
but during choosing it uses
coverage information in order to firstly choose uncovered transitions.RandomEfsmTransitionChooser
Constructor and Description |
---|
SemiRandomEfsmTransitionChooser(Efsm efsm,
EfsmState state,
EfsmTransitionCoverage coverage,
long seed)
Creates a new SemiRandomEfsmTransitionChooser for the specified EFSM, its state, and coverage.
|
Modifier and Type | Method and Description |
---|---|
EfsmTransition |
chooseNext()
Chooses and returns a transition for traversing.
|
boolean |
hasNext()
Checks if there is at least one non-chosen transition now.
|
public SemiRandomEfsmTransitionChooser(Efsm efsm, EfsmState state, EfsmTransitionCoverage coverage, long seed)
SemiRandomEfsmTransitionChooser
instance.efsm
- the EFSMstate
- the state of the EFSMcoverage
- the coverage of the EFSMseed
- a seed for an inner random number generatorpublic EfsmTransition chooseNext()
chooseNext
in class EfsmTransitionChooser
null
is returned if all choosable
transitions were chosen or there are no choosable transitions at allpublic boolean hasNext()
EfsmTransitionChooser
hasNext
in class EfsmTransitionChooser
true
if there is at least one non-chosen transition. Otherwise returns
false