Package de.learnlib.testsupport.it.learner

Class AbstractMooreLearnerIT

java.lang.Object

de.learnlib.testsupport.it.learner.AbstractMooreLearnerIT

public abstract class AbstractMooreLearnerIT
extends Object

Abstract integration test for Moore machine learning algorithms.

Moore machine learning algorithms tested by this integration test are expected to assume membership queries yield the full output word corresponding to the suffix part of the query.

Constructor Summary

Constructors

Constructor	Description
AbstractMooreLearnerIT()

Method Summary

Modifier and Type	Method	Description
protected abstract <I,O> void	addLearnerVariants(Alphabet<I> alphabet, int targetSize, MembershipOracle.MooreMembershipOracle<I,O> mqOracle, LearnerVariantList.MooreLearnerVariantList<I,O> variants)	Adds, for a given setup, all the variants of the Moore machine learner to be tested to the specified variant list.
Object[]	createExampleITCases()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractMooreLearnerIT

public AbstractMooreLearnerIT()

Method Detail

createExampleITCases

@Factory
public Object[] createExampleITCases()

addLearnerVariants

protected abstract <I,O> void addLearnerVariants(Alphabet<I> alphabet,
                                                       int targetSize,
                                                       MembershipOracle.MooreMembershipOracle<I,O> mqOracle,
                                                       LearnerVariantList.MooreLearnerVariantList<I,O> variants)

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

Parameters:

alphabet - the input alphabet

targetSize - the size of the target automaton

mqOracle - the membership oracle

variants - list to add the learner variants to