class |
AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D> |
|
class |
CExFirstOracle<A extends Output<I,D>,I,D> |
The strategy of this black-box oracle is to first try out a property, to see if it can be disproved.
|
class |
CompleteExplorationEQOracle<A extends Output<I,D>,I,D> |
Implements an equivalence check by complete exploration up to a given depth, i.e., by testing all possible sequences
of a certain length within a specified range.
|
class |
DisproveFirstOracle<A extends Output<I,D>,I,D> |
The strategy of this black-box oracle is to first try to disprove all properties before finding a counter example to
the given hypothesis.
|
class |
EQOracleChain<A,I,D> |
|
class |
IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
|
class |
RandomWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the W-method test on the given hypothesis automaton.
|
class |
RandomWordsEQOracle<A extends Output<I,D>,I,D> |
|
class |
RandomWpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in
"Test Selection Based on Finite State Models" by S.
|
class |
SimulatorEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?>,I,D> |
|
class |
WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the W-method test on the given hypothesis automaton, as described in
"Testing software design modeled by finite state machines" by T.S.
|
class |
WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in
"Test Selection Based on Finite State Models" by S.
|