All Classes

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.
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.
DFABFInclusionOracle<I>	This is an auto-generated refinement.
DFACExFirstOracle<I>	This is an auto-generated refinement.
DFACompleteExplorationEQOracle<I>	This is an auto-generated refinement.
DFADisproveFirstOracle<I>	This is an auto-generated refinement.
DFAEQOracleChain<I>	This is an auto-generated refinement.
DFAIncrementalWMethodEQOracle<I>	This is an auto-generated refinement.
DFARandomWMethodEQOracle<I>	This is an auto-generated refinement.
DFARandomWordsEQOracle<I>	This is an auto-generated refinement.
DFARandomWpMethodEQOracle<I>	This is an auto-generated refinement.
DFASimulatorEQOracle<I>	This is an auto-generated refinement.
DFAWMethodEQOracle<I>	This is an auto-generated refinement.
DFAWpMethodEQOracle<I>	This is an auto-generated refinement.
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.
EQOracleChain<A,I,D>
IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>
MealyBFInclusionOracle<I,O>	This is an auto-generated refinement.
MealyCExFirstOracle<I,O>	This is an auto-generated refinement.
MealyCompleteExplorationEQOracle<I,O>	This is an auto-generated refinement.
MealyDisproveFirstOracle<I,O>	This is an auto-generated refinement.
MealyEQOracleChain<I,O>	This is an auto-generated refinement.
MealyIncrementalWMethodEQOracle<I,O>	This is an auto-generated refinement.
MealyRandomWMethodEQOracle<I,O>	This is an auto-generated refinement.
MealyRandomWordsEQOracle<I,O>	This is an auto-generated refinement.
MealyRandomWpMethodEQOracle<I,O>	This is an auto-generated refinement.
MealySimulatorEQOracle<I,O>	This is an auto-generated refinement.
MealyWMethodEQOracle<I,O>	This is an auto-generated refinement.
MealyWpMethodEQOracle<I,O>	This is an auto-generated refinement.
MooreCompleteExplorationEQOracle<I,O>	This is an auto-generated refinement.
MooreEQOracleChain<I,O>	This is an auto-generated refinement.
MooreIncrementalWMethodEQOracle<I,O>	This is an auto-generated refinement.
MooreRandomWMethodEQOracle<I,O>	This is an auto-generated refinement.
MooreRandomWordsEQOracle<I,O>	This is an auto-generated refinement.
MooreRandomWpMethodEQOracle<I,O>	This is an auto-generated refinement.
MooreSimulatorEQOracle<I,O>	This is an auto-generated refinement.
MooreWMethodEQOracle<I,O>	This is an auto-generated refinement.
MooreWpMethodEQOracle<I,O>	This is an auto-generated refinement.
RandomWalkEQOracle<I,O>	Performs a random walk over the hypothesis.
RandomWellMatchedWordsEQOracle<I>	An equivalence oracle based on the generation of random (well-matched) words.
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.
RandomWordsEQOracle<A extends Output<I,D>,I,D>
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.
SampleSetEQOracle<I,D>	An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
SimulatorEQOracle<I>
SimulatorEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?>,I,D>
SimulatorEQOracle<I>
SimulatorEQOracle<I,O>
SimulatorEQOracle<I>	An equivalence oracle based on the computation of a separating word for a given hypothesis and a previously known target system.
StateLocalInputMealySimulatorEQOracle<I,O>
SymbolEQOracleWrapper<A extends DetSuffixOutputAutomaton<?,I,?,Word<O>>,I,O>
WMethodEQOracle<I>	An SBA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.
WMethodEQOracle<I>	An SPA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.
WMethodEQOracle<I,O>	Implements an equivalence test by applying the W-method test on the procedures of the given hypothesis SBA, as described in "Testing software design modeled by finite state machines" by T.S.
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.
WpMethodEQOracle<I>	An SPA version of WpMethodEQOracle which generates test sequences based on the partial W-method for each procedure.
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.