Package de.learnlib.oracle.equivalence

Class Summary

Class	Description
AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>	An InclusionOracle that generates words in a breadth-first manner.
AbstractTestWordEQOracle<A extends Output<I,D>,I,D>	An abstract equivalence oracle that takes care of query batching and hypothesis checking and allows extending classes to solely focus on test word generation by implementing AbstractTestWordEQOracle.generateTestWords(Output, Collection).
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.
CExFirstOracle.DFACExFirstOracle<I>
CExFirstOracle.MealyCExFirstOracle<I,O>
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.
CompleteExplorationEQOracle.DFACompleteExplorationEQOracle<I>
CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O>
DelegateEQOracle<A,I,D>
DFABFInclusionOracle<I>
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.
DisproveFirstOracle.DFADisproveFirstOracle<I>
DisproveFirstOracle.MealyDisproveFirstOracle<I,O>
EQOracleChain<A,I,D>
EQOracleChain.DFAEQOracleChain<I>
EQOracleChain.MealyEQOracleChain<I,O>
EquivalenceQueries
IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I>
IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O>
MealyBFInclusionOracle<I,O>
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.
RandomWMethodEQOracle.DFARandomWMethodEQOracle<I>
RandomWMethodEQOracle.MealyRandomWMethodEQOracle<I,O>
RandomWordsEQOracle<A extends Output<I,D>,I,D>
RandomWordsEQOracle.DFARandomWordsEQOracle<I>
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O>
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.
RandomWpMethodEQOracle.DFARandomWpMethodEQOracle<I>
RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle<I,O>
SampleSetEQOracle<I,D>	An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
SimpleEQOracle<A extends InputAlphabetHolder<I>,I,D>
SimulatorEQOracle<I,D>
SimulatorEQOracle.DFASimulatorEQOracle<I>
SimulatorEQOracle.MealySimulatorEQOracle<I,O>
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.
WMethodEQOracle.DFAWMethodEQOracle<I>
WMethodEQOracle.MealyWMethodEQOracle<I,O>
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.
WpMethodEQOracle.DFAWpMethodEQOracle<I>
WpMethodEQOracle.MealyWpMethodEQOracle<I,O>