Package | Description |
---|---|
de.learnlib.oracle.equivalence | |
de.learnlib.oracle.equivalence.vpda |
Modifier and Type | Class and Description |
---|---|
class |
CompleteExplorationEQOracle<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.
|
static class |
CompleteExplorationEQOracle.DFACompleteExplorationEQOracle<I> |
static class |
CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O> |
class |
IncrementalWMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> |
static class |
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> |
static class |
IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> |
class |
RandomWMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D>
Implements an equivalence test by applying the W-method test on the given hypothesis automaton.
|
static class |
RandomWMethodEQOracle.DFARandomWMethodEQOracle<I> |
static class |
RandomWMethodEQOracle.MealyRandomWMethodEQOracle<I,O> |
class |
RandomWordsEQOracle<A extends net.automatalib.automata.concepts.Output<I,D>,I,D> |
static class |
RandomWordsEQOracle.DFARandomWordsEQOracle<I> |
static class |
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> |
class |
RandomWpMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.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.
|
static class |
RandomWpMethodEQOracle.DFARandomWpMethodEQOracle<I> |
static class |
RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle<I,O> |
class |
WMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.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.
|
static class |
WMethodEQOracle.DFAWMethodEQOracle<I> |
static class |
WMethodEQOracle.MealyWMethodEQOracle<I,O> |
class |
WpMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.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.
|
static class |
WpMethodEQOracle.DFAWpMethodEQOracle<I> |
static class |
WpMethodEQOracle.MealyWpMethodEQOracle<I,O> |
Modifier and Type | Class and Description |
---|---|
class |
RandomWellMatchedWordsEQOracle<I>
An equivalence oracle based on the generation of random (well-matched) words.
|
Copyright © 2018. All rights reserved.