Uses of Class
de.learnlib.oracle.equivalence.AbstractTestWordEQOracle

Packages that use AbstractTestWordEQOracle

Package	Description
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.sba
de.learnlib.oracle.equivalence.spa
de.learnlib.oracle.equivalence.spmm
de.learnlib.oracle.equivalence.vpa

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence

Modifier and Type	Class	Description
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	DFACompleteExplorationEQOracle<I>	This is an auto-generated refinement.
class	DFAIncrementalWMethodEQOracle<I>	This is an auto-generated refinement.
class	DFARandomWMethodEQOracle<I>	This is an auto-generated refinement.
class	DFARandomWordsEQOracle<I>	This is an auto-generated refinement.
class	DFARandomWpMethodEQOracle<I>	This is an auto-generated refinement.
class	DFAWMethodEQOracle<I>	This is an auto-generated refinement.
class	DFAWpMethodEQOracle<I>	This is an auto-generated refinement.
class	IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>
class	MealyCompleteExplorationEQOracle<I,O>	This is an auto-generated refinement.
class	MealyIncrementalWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MealyRandomWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MealyRandomWordsEQOracle<I,O>	This is an auto-generated refinement.
class	MealyRandomWpMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MealyWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MealyWpMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreCompleteExplorationEQOracle<I,O>	This is an auto-generated refinement.
class	MooreIncrementalWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreRandomWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreRandomWordsEQOracle<I,O>	This is an auto-generated refinement.
class	MooreRandomWpMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreWpMethodEQOracle<I,O>	This is an auto-generated refinement.
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	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.

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.sba

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.sba

Modifier and Type	Class	Description
class	WMethodEQOracle<I>	An SBA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.spa

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.spa

Modifier and Type	Class	Description
class	WMethodEQOracle<I>	An SPA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.
class	WpMethodEQOracle<I>	An SPA version of WpMethodEQOracle which generates test sequences based on the partial W-method for each procedure.

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.spmm

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.spmm

Modifier and Type	Class	Description
class	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.

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.vpa

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.vpa

Modifier and Type	Class	Description
class	RandomWellMatchedWordsEQOracle<I>	An equivalence oracle based on the generation of random (well-matched) words.