Package | Description |
---|---|
de.learnlib.api | |
de.learnlib.cache | |
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>
A specialization of the
EquivalenceOracle interface for a DFA learning scenario. |
static interface |
EquivalenceOracle.MealyEquivalenceOracle<I,O>
A specialization of the
EquivalenceOracle interface for a Mealy learning scenario. |
Modifier and Type | Method and Description |
---|---|
EquivalenceOracle<A,I,O> |
LearningCache.createCacheConsistencyTest()
Creates a cache consistency test.
|
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 | Method and Description |
---|---|
EquivalenceOracle<DFA<?,I>,I,Boolean> |
DFAHashCacheOracle.createCacheConsistencyTest() |
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,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 |
DelegateEQOracle<A,I,D> |
class |
EQOracleChain<A,I,D> |
static class |
EQOracleChain.DFAEQOracleChain<I> |
static class |
EQOracleChain.MealyEQOracleChain<I,O> |
class |
IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
static class |
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> |
static class |
IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> |
class |
RandomWordsEQOracle<I,D,A extends OutputAutomaton<?,I,?,D>> |
static class |
RandomWordsEQOracle.DFARandomWordsEQOracle<I> |
static class |
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> |
class |
SampleSetEQOracle<I,D>
An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
|
class |
SimulatorEQOracle<I,D> |
static class |
SimulatorEQOracle.DFASimulatorEQOracle<I> |
static class |
SimulatorEQOracle.MealySimulatorEQOracle<I,O> |
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.
|
static class |
WMethodEQOracle.DFAWMethodEQOracle<I> |
static class |
WMethodEQOracle.MealyWMethodEQOracle<I,O> |
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.
|
static class |
WpMethodEQOracle.DFAWpMethodEQOracle<I> |
static class |
WpMethodEQOracle.MealyWpMethodEQOracle<I,O> |
Modifier and Type | Field and Description |
---|---|
protected EquivalenceOracle<? super A,I,D> |
DelegateEQOracle.delegate |
Modifier and Type | Method and Description |
---|---|
static <A extends InputAlphabetHolder<I>,I,D> |
SimpleEQOracle.create(EquivalenceOracle<A,I,D> eqOracle) |
Constructor and Description |
---|
DelegateEQOracle(EquivalenceOracle<? super A,I,D> delegate) |
DFAEQOracleChain(EquivalenceOracle<? super DFA<?,I>,I,Boolean>... oracles) |
EQOracleChain(EquivalenceOracle<? super A,I,D>... oracles) |
MealyEQOracleChain(EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>>... oracles) |
SimpleEQOracle(EquivalenceOracle<A,I,D> eqOracle) |
Constructor and Description |
---|
DFAEQOracleChain(List<? extends EquivalenceOracle<? super DFA<?,I>,I,Boolean>> oracles) |
EQOracleChain(List<? extends EquivalenceOracle<? super A,I,D>> oracles) |
MealyEQOracleChain(List<? extends EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<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 |
---|
DFAExperiment(LearningAlgorithm<? extends DFA<?,I>,I,Boolean> learningAlgorithm,
EquivalenceOracle<? super DFA<?,I>,I,Boolean> equivalenceAlgorithm,
Alphabet<I> inputs) |
Experiment(LearningAlgorithm<? extends A,I,D> learningAlgorithm,
EquivalenceOracle<? super A,I,D> equivalenceAlgorithm,
Alphabet<I> inputs) |
MealyExperiment(LearningAlgorithm<? extends MealyMachine<?,I,?,O>,I,Word<O>> learningAlgorithm,
EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>> equivalenceAlgorithm,
Alphabet<I> inputs) |
Copyright © 2015. All rights reserved.