de.learnlib.testsupport.it.learner

Class AbstractDFALearnerIT

java.lang.Object

de.learnlib.testsupport.it.learner.AbstractLearnerIT

de.learnlib.testsupport.it.learner.AbstractDFALearnerIT

public abstract class AbstractDFALearnerIT
extends AbstractLearnerIT

Abstract integration test for DFA learning algorithms.

If run, this integration test tests the functionality of all variants of a DFA learning algorithm against all the examples contained in LearningExamples.createDFAExamples().

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
AbstractDFALearnerIT()

Method Summary

Methods

Modifier and Type	Method and Description
protected abstract <I> void	addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet, int targetSize, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.DFALearnerVariantList<I> variants) Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.
de.learnlib.testsupport.it.learner.SingleExampleAllVariantsITSubCase<?,?,?>[]	createExampleITCases() Creates an array of per-example test cases for all learner variants.

Methods inherited from class de.learnlib.testsupport.it.learner.AbstractLearnerIT

testAll

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractDFALearnerIT

public AbstractDFALearnerIT()

Method Detail

createExampleITCases

public de.learnlib.testsupport.it.learner.SingleExampleAllVariantsITSubCase<?,?,?>[] createExampleITCases()

Description copied from class: AbstractLearnerIT

Creates an array of per-example test cases for all learner variants.

Specified by:

createExampleITCases in class AbstractLearnerIT

Returns:

the array of test cases, one for each example

addLearnerVariants

protected abstract <I> void addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
                          int targetSize,
                          MembershipOracle.DFAMembershipOracle<I> mqOracle,
                          LearnerVariantList.DFALearnerVariantList<I> variants)

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

variants - list to add the learner variants to