public abstract class AbstractDFAPassiveLearnerIT extends AbstractPassiveLearnerIT
If run, this integration test tests the functionality of all variants
of a DFA learning algorithm against all the examples contained in LearningExamples.createDFAExamples()
.
Subclasses can perform further sample filtering by overriding the generateSamplesInternal(Alphabet, DFA)
method, e.g. if the learning algorithm is only capable of learning from positive examples.
Constructor and Description |
---|
AbstractDFAPassiveLearnerIT() |
Modifier and Type | Method and Description |
---|---|
protected abstract <I> void |
addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
PassiveLearnerVariantList<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specified
variant list . |
Object[] |
createExampleITCases() |
protected <I> Collection<DefaultQuery<I,Boolean>> |
generateSamplesInternal(net.automatalib.words.Alphabet<I> alphabet,
net.automatalib.automata.fsa.DFA<?,I> reference)
Utility method, that may be overriden by subclasses.
|
createPassiveExampleITCases, generateSamples
public Object[] createExampleITCases()
protected <I> Collection<DefaultQuery<I,Boolean>> generateSamplesInternal(net.automatalib.words.Alphabet<I> alphabet, net.automatalib.automata.fsa.DFA<?,I> reference)
I
- input symbol typealphabet
- the alphabet of the target systemreference
- the reference system from which samples will be drawnprotected abstract <I> void addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet, PassiveLearnerVariantList<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> variants)
variant list
.alphabet
- the input alphabetvariants
- list to add the learner variants toCopyright © 2018. All rights reserved.