A
- automaton typeI
- input symbol typeD
- output domain typepublic class RandomWpMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> extends AbstractTestWordEQOracle<A,I,D>
Modifier and Type | Class and Description |
---|---|
static class |
RandomWpMethodEQOracle.DFARandomWpMethodEQOracle<I> |
static class |
RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle<I,O> |
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength)
Constructor for an unbounded testing oracle.
|
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound)
Constructor for a bounded testing oracle.
|
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound,
int batchSize)
Constructor for a bounded testing oracle with specific batch size.
|
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound,
Random random,
int batchSize)
Constructor for a bounded testing oracle with specific batch size.
|
Modifier and Type | Method and Description |
---|---|
protected <S> Stream<net.automatalib.words.Word<I>> |
doGenerateTestWords(net.automatalib.automata.UniversalDeterministicAutomaton<S,I,?,?,?> hypothesis,
Collection<? extends I> inputs) |
protected Stream<net.automatalib.words.Word<I>> |
generateTestWords(A hypothesis,
Collection<? extends I> inputs)
Generate the stream of test words that should be used for the current equivalence check cycle.
|
findCounterExample
public RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength)
sulOracle
- oracle which answers tests.minimalSize
- minimal size of the random wordrndLength
- expected length (in addition to minimalSize) of random wordpublic RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound)
sulOracle
- oracle which answers tests.minimalSize
- minimal size of the random wordrndLength
- expected length (in addition to minimalSize) of random wordbound
- specifies the bound (set to 0 for unbounded).public RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)
sulOracle
- oracle which answers tests.minimalSize
- minimal size of the random wordrndLength
- expected length (in addition to minimalSize) of random wordbound
- specifies the bound (set to 0 for unbounded).batchSize
- size of the batches sent to the membership oraclepublic RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)
sulOracle
- oracle which answers tests.minimalSize
- minimal size of the random wordrndLength
- expected length (in addition to minimalSize) of random wordbound
- specifies the bound (set to 0 for unbounded).random
- custom Random generator.batchSize
- size of the batches sent to the membership oracleprotected Stream<net.automatalib.words.Word<I>> generateTestWords(A hypothesis, Collection<? extends I> inputs)
AbstractTestWordEQOracle
generateTestWords
in class AbstractTestWordEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D>
hypothesis
- the current hypothesis of the learning algorithminputs
- the collection of inputs to considerEquivalenceOracle.findCounterExample(Object, Collection)
protected <S> Stream<net.automatalib.words.Word<I>> doGenerateTestWords(net.automatalib.automata.UniversalDeterministicAutomaton<S,I,?,?,?> hypothesis, Collection<? extends I> inputs)
Copyright © 2018. All rights reserved.