Package de.learnlib.eqtests.basic

Class Summary

Class	Description
CompleteExplorationEQOracle<I,O>	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.
DelegateEQOracle<A,I,O>
EQOracleChain<A,I,O>
EQOracleChain.DFAEQOracleChain<I>
EQOracleChain.MealyEQOracleChain<I,O>
EquivalenceQueries
RandomWordsEQOracle<I,O,A extends OutputAutomaton<?,I,?,O>>
RandomWordsEQOracle.DFARandomWordsEQOracle<I>
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O>
SimpleEQOracle<A extends InputAlphabetHolder<I>,I,O>
SimulatorEQOracle<I,O>
WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O>	Implements an equivalence test by applying the W-method test on the given hypothesis automaton, as described in "Testing software design modelled by finite state machines" by T.S.
WMethodEQOracle.DFAWMethodEQOracle<I>
WMethodEQOracle.MealyWMethodEQOracle<I,O>
WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O>	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>