Uses of Class
de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
-
-
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 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.class
DFACompleteExplorationEQOracle<I>
A type-specific refinement ofCompleteExplorationEQOracle
.class
DFAIncrementalWMethodEQOracle<I>
A type-specific refinement ofIncrementalWMethodEQOracle
.class
DFARandomWMethodEQOracle<I>
A type-specific refinement ofRandomWMethodEQOracle
.class
DFARandomWordsEQOracle<I>
A type-specific refinement ofRandomWordsEQOracle
.class
DFARandomWpMethodEQOracle<I>
A type-specific refinement ofRandomWpMethodEQOracle
.class
DFAWMethodEQOracle<I>
A type-specific refinement ofWMethodEQOracle
.class
DFAWpMethodEQOracle<I>
A type-specific refinement ofWpMethodEQOracle
.class
IncrementalWMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D>
class
MealyCompleteExplorationEQOracle<I,O>
A type-specific refinement ofCompleteExplorationEQOracle
.class
MealyIncrementalWMethodEQOracle<I,O>
A type-specific refinement ofIncrementalWMethodEQOracle
.class
MealyRandomWMethodEQOracle<I,O>
A type-specific refinement ofRandomWMethodEQOracle
.class
MealyRandomWordsEQOracle<I,O>
A type-specific refinement ofRandomWordsEQOracle
.class
MealyRandomWpMethodEQOracle<I,O>
A type-specific refinement ofRandomWpMethodEQOracle
.class
MealyWMethodEQOracle<I,O>
A type-specific refinement ofWMethodEQOracle
.class
MealyWpMethodEQOracle<I,O>
A type-specific refinement ofWpMethodEQOracle
.class
MooreCompleteExplorationEQOracle<I,O>
A type-specific refinement ofCompleteExplorationEQOracle
.class
MooreIncrementalWMethodEQOracle<I,O>
A type-specific refinement ofIncrementalWMethodEQOracle
.class
MooreRandomWMethodEQOracle<I,O>
A type-specific refinement ofRandomWMethodEQOracle
.class
MooreRandomWordsEQOracle<I,O>
A type-specific refinement ofRandomWordsEQOracle
.class
MooreRandomWpMethodEQOracle<I,O>
A type-specific refinement ofRandomWpMethodEQOracle
.class
MooreWMethodEQOracle<I,O>
A type-specific refinement ofWMethodEQOracle
.class
MooreWpMethodEQOracle<I,O>
A type-specific refinement ofWpMethodEQOracle
.class
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.class
RandomWordsEQOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D>
class
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.class
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.class
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. -
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>
AnSBA
version ofWMethodEQOracle
which generates test sequences based on theW-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>
AnSPA
version ofWMethodEQOracle
which generates test sequences based on the W-method for each procedure.class
WpMethodEQOracle<I>
AnSPA
version ofWpMethodEQOracle
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 hypothesisSBA
, 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.
-