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<net.automatalib.automata.fsa.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 |
AbstractTestWordEQOracle<A extends net.automatalib.automata.concepts.Output<I,D>,I,D>
An abstract equivalence oracle that takes care of query batching and hypothesis checking and allows extending classes
to solely focus on test word generation by implementing
AbstractTestWordEQOracle.generateTestWords(Output, Collection) . |
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 |
DelegateEQOracle<A,I,D> |
class |
EQOracleChain<A,I,D> |
static class |
EQOracleChain.DFAEQOracleChain<I> |
static class |
EQOracleChain.MealyEQOracleChain<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 |
SampleSetEQOracle<I,D>
An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
|
class |
SimpleEQOracle<A extends net.automatalib.automata.concepts.InputAlphabetHolder<I>,I,D> |
class |
SimulatorEQOracle<I,D> |
static class |
SimulatorEQOracle.DFASimulatorEQOracle<I> |
static class |
SimulatorEQOracle.MealySimulatorEQOracle<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 | Field and Description |
---|---|
protected EquivalenceOracle<? super A,I,D> |
DelegateEQOracle.delegate |
Modifier and Type | Method and Description |
---|---|
static <A extends net.automatalib.automata.concepts.InputAlphabetHolder<I>,I,D> |
SimpleEQOracle.create(EquivalenceOracle<A,I,D> eqOracle) |
Constructor and Description |
---|
DelegateEQOracle(EquivalenceOracle<? super A,I,D> delegate) |
DFAEQOracleChain(EquivalenceOracle<? super net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>... oracles) |
EQOracleChain(EquivalenceOracle<? super A,I,D>... oracles) |
MealyEQOracleChain(EquivalenceOracle<? super net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>... oracles) |
SimpleEQOracle(EquivalenceOracle<A,I,D> eqOracle) |
Constructor and Description |
---|
DFAEQOracleChain(List<? extends EquivalenceOracle<? super net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>> oracles) |
EQOracleChain(List<? extends EquivalenceOracle<? super A,I,D>> oracles) |
MealyEQOracleChain(List<? extends EquivalenceOracle<? super net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>> oracles) |
Modifier and Type | Class and Description |
---|---|
class |
RandomWalkEQOracle<I,O>
Performs a random walk over the hypothesis.
|
class |
SymbolEQOracleWrapper<A extends net.automatalib.automata.concepts.DetSuffixOutputAutomaton<?,I,?,net.automatalib.words.Word<O>>,I,O> |
Constructor and Description |
---|
SymbolEQOracleWrapper(EquivalenceOracle<? super A,I,net.automatalib.words.Word<O>> wordEqOracle) |
Modifier and Type | Class and Description |
---|---|
class |
RandomWellMatchedWordsEQOracle<I>
An equivalence oracle based on the generation of random (well-matched) words.
|
Constructor and Description |
---|
DFAExperiment(LearningAlgorithm<? extends net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> learningAlgorithm,
EquivalenceOracle<? super net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> equivalenceAlgorithm,
net.automatalib.words.Alphabet<I> inputs) |
Experiment(LearningAlgorithm<? extends A,I,D> learningAlgorithm,
EquivalenceOracle<? super A,I,D> equivalenceAlgorithm,
net.automatalib.words.Alphabet<I> inputs) |
MealyExperiment(LearningAlgorithm<? extends net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> learningAlgorithm,
EquivalenceOracle<? super net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> equivalenceAlgorithm,
net.automatalib.words.Alphabet<I> inputs) |
Copyright © 2018. All rights reserved.