Module de.learnlib.oracle.equivalence

Package de.learnlib.oracle.equivalence

Class Summary

Class	Description
AbstractBFInclusionOracle<A extends net.automatalib.automaton.concept.DetOutputAutomaton<?,I,?,D>,I,D>	An InclusionOracle that generates words in a breadth-first manner.
AbstractTestWordEQOracle<A extends net.automatalib.automaton.concept.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 net.automatalib.automaton.concept.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.
CompleteExplorationEQOracle<A extends net.automatalib.automaton.concept.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.
DFABFInclusionOracle<I>	A type-specific refinement of AbstractBFInclusionOracle.
DFACExFirstOracle<I>	A type-specific refinement of CExFirstOracle.
DFACompleteExplorationEQOracle<I>	A type-specific refinement of CompleteExplorationEQOracle.
DFADisproveFirstOracle<I>	A type-specific refinement of DisproveFirstOracle.
DFAEQOracleChain<I>	A type-specific refinement of EQOracleChain.
DFAIncrementalWMethodEQOracle<I>	A type-specific refinement of IncrementalWMethodEQOracle.
DFARandomWMethodEQOracle<I>	A type-specific refinement of RandomWMethodEQOracle.
DFARandomWordsEQOracle<I>	A type-specific refinement of RandomWordsEQOracle.
DFARandomWpMethodEQOracle<I>	A type-specific refinement of RandomWpMethodEQOracle.
DFASimulatorEQOracle<I>	A type-specific refinement of SimulatorEQOracle.
DFAWMethodEQOracle<I>	A type-specific refinement of WMethodEQOracle.
DFAWpMethodEQOracle<I>	A type-specific refinement of WpMethodEQOracle.
DisproveFirstOracle<A extends net.automatalib.automaton.concept.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.
EQOracleChain<A,I,D>
IncrementalWMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D>
MealyBFInclusionOracle<I,O>	A type-specific refinement of AbstractBFInclusionOracle.
MealyCExFirstOracle<I,O>	A type-specific refinement of CExFirstOracle.
MealyCompleteExplorationEQOracle<I,O>	A type-specific refinement of CompleteExplorationEQOracle.
MealyDisproveFirstOracle<I,O>	A type-specific refinement of DisproveFirstOracle.
MealyEQOracleChain<I,O>	A type-specific refinement of EQOracleChain.
MealyIncrementalWMethodEQOracle<I,O>	A type-specific refinement of IncrementalWMethodEQOracle.
MealyRandomWMethodEQOracle<I,O>	A type-specific refinement of RandomWMethodEQOracle.
MealyRandomWordsEQOracle<I,O>	A type-specific refinement of RandomWordsEQOracle.
MealyRandomWpMethodEQOracle<I,O>	A type-specific refinement of RandomWpMethodEQOracle.
MealySimulatorEQOracle<I,O>	A type-specific refinement of SimulatorEQOracle.
MealyWMethodEQOracle<I,O>	A type-specific refinement of WMethodEQOracle.
MealyWpMethodEQOracle<I,O>	A type-specific refinement of WpMethodEQOracle.
MooreCompleteExplorationEQOracle<I,O>	A type-specific refinement of CompleteExplorationEQOracle.
MooreEQOracleChain<I,O>	A type-specific refinement of EQOracleChain.
MooreIncrementalWMethodEQOracle<I,O>	A type-specific refinement of IncrementalWMethodEQOracle.
MooreRandomWMethodEQOracle<I,O>	A type-specific refinement of RandomWMethodEQOracle.
MooreRandomWordsEQOracle<I,O>	A type-specific refinement of RandomWordsEQOracle.
MooreRandomWpMethodEQOracle<I,O>	A type-specific refinement of RandomWpMethodEQOracle.
MooreSimulatorEQOracle<I,O>	A type-specific refinement of SimulatorEQOracle.
MooreWMethodEQOracle<I,O>	A type-specific refinement of WMethodEQOracle.
MooreWpMethodEQOracle<I,O>	A type-specific refinement of WpMethodEQOracle.
RandomWMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D>	Implements an equivalence test based on a randomized version of the W-method as described in Complementing Model Learning with Mutation-Based Fuzzing by Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer.
RandomWordsEQOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D>
RandomWpMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D>	Implements an equivalence test based on a randomized version of the W(p)-method as described in Complementing Model Learning with Mutation-Based Fuzzing by Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer.
SampleSetEQOracle<I,D>	An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
SimulatorEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D>
WMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.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. Chow.
WpMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.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. Fujiwara et al.