Package | Description |
---|---|
de.learnlib.api | |
de.learnlib.cache.dfa | |
de.learnlib.cache.mealy | |
de.learnlib.eqtests.basic | |
de.learnlib.eqtests.basic.mealy | |
de.learnlib.experiments |
Modifier and Type | Interface and Description |
---|---|
static interface |
EquivalenceOracle.DFAEquivalenceOracle<I> |
static interface |
EquivalenceOracle.MealyEquivalenceOracle<I,O> |
Modifier and Type | Class and Description |
---|---|
class |
DFACacheConsistencyTest<I>
An
EquivalenceOracle that tests an hypothesis for consistency with the
contents of a DFACacheOracle . |
Modifier and Type | Class and Description |
---|---|
class |
MealyCacheConsistencyTest<I,O>
An
EquivalenceOracle that tests an hypothesis for consistency with the
contents of a MealyCacheOracle . |
Modifier and Type | Class and Description |
---|---|
class |
CompleteExplorationEQOracle<I,O>
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 |
DelegateEQOracle<A,I,O> |
class |
EQOracleChain<A,I,O> |
static class |
EQOracleChain.DFAEQOracleChain<I> |
static class |
EQOracleChain.MealyEQOracleChain<I,O> |
class |
RandomWordsEQOracle<I,O,A extends OutputAutomaton<?,I,?,O>> |
static class |
RandomWordsEQOracle.DFARandomWordsEQOracle<I> |
static class |
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> |
class |
SimulatorEQOracle<I,O> |
class |
WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O>
Implements an equivalence test by applying the W-method test on the given
hypothesis automaton, as described in "Testing software design modelled by finite state machines"
by T.S.
|
static class |
WMethodEQOracle.DFAWMethodEQOracle<I> |
static class |
WMethodEQOracle.MealyWMethodEQOracle<I,O> |
class |
WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O>
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 | Field and Description |
---|---|
protected EquivalenceOracle<? super A,I,O> |
DelegateEQOracle.delegate |
Modifier and Type | Method and Description |
---|---|
static <A extends InputAlphabetHolder<I>,I,O> |
SimpleEQOracle.create(EquivalenceOracle<A,I,O> eqOracle) |
Constructor and Description |
---|
DelegateEQOracle(EquivalenceOracle<? super A,I,O> delegate) |
EQOracleChain.DFAEQOracleChain(EquivalenceOracle<? super DFA<?,I>,I,Boolean>... oracles) |
EQOracleChain.MealyEQOracleChain(EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>>... oracles) |
EQOracleChain(EquivalenceOracle<? super A,I,O>... oracles) |
SimpleEQOracle(EquivalenceOracle<A,I,O> eqOracle) |
Constructor and Description |
---|
EQOracleChain.DFAEQOracleChain(List<? extends EquivalenceOracle<? super DFA<?,I>,I,Boolean>> oracles) |
EQOracleChain.MealyEQOracleChain(List<? extends EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>>> oracles) |
EQOracleChain(List<? extends EquivalenceOracle<? super A,I,O>> oracles) |
Modifier and Type | Class and Description |
---|---|
class |
RandomWalkEQOracle<I,O>
Performs a random walk over the hypothesis.
|
class |
SymbolEQOracleWrapper<A extends SODetOutputAutomaton<?,I,?,Word<O>>,I,O> |
Constructor and Description |
---|
SymbolEQOracleWrapper(EquivalenceOracle<? super A,I,Word<O>> wordEqOracle) |
Constructor and Description |
---|
Experiment.DFAExperiment(LearningAlgorithm<? extends DFA<?,I>,I,Boolean> learningAlgorithm,
EquivalenceOracle<? super DFA<?,I>,I,Boolean> equivalenceAlgorithm,
Alphabet<I> inputs) |
Experiment.MealyExperiment(LearningAlgorithm<? extends MealyMachine<?,I,?,O>,I,Word<O>> learningAlgorithm,
EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>> equivalenceAlgorithm,
Alphabet<I> inputs) |
Experiment(LearningAlgorithm<? extends A,I,O> learningAlgorithm,
EquivalenceOracle<? super A,I,O> equivalenceAlgorithm,
Alphabet<I> inputs) |
Copyright © 2014. All Rights Reserved.