de.learnlib.testsupport

Class AbstractResumableLearnerTest<L extends ResumableLearner<T> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,OR,I,D,T extends Serializable>

java.lang.Object

de.learnlib.testsupport.AbstractResumableLearnerTest<L,M,OR,I,D,T>

Direct Known Subclasses:

AbstractResumableLearnerDFATest, AbstractResumableLearnerMealyTest

public abstract class AbstractResumableLearnerTest<L extends ResumableLearner<T> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,OR,I,D,T extends Serializable>
extends Object

Test class that checks the workflow of a learning algorithm that implements ResumableLearner.

Author:

bainczyk

Field Summary

Fields

Modifier and Type	Field and Description
protected static int	RANDOM_SEED

Constructor Summary

Constructors

Constructor and Description
AbstractResumableLearnerTest()

Method Summary

Modifier and Type	Method and Description
protected abstract net.automatalib.words.Alphabet<I>	getInitialAlphabet()
protected abstract L	getLearner(OR oracle, net.automatalib.words.Alphabet<I> alphabet)
protected abstract OR	getOracle(M target)
protected abstract int	getRounds()
protected abstract M	getTarget(net.automatalib.words.Alphabet<I> alphabet)
void	setup()
void	testSuspendAndResumeLearner()

Methods inherited from class java.lang.Object

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

Field Detail

RANDOM_SEED

protected static final int RANDOM_SEED

See Also:

Constant Field Values

Constructor Detail

AbstractResumableLearnerTest

public AbstractResumableLearnerTest()

Method Detail

setup

public void setup()

getInitialAlphabet

protected abstract net.automatalib.words.Alphabet<I> getInitialAlphabet()

getTarget

protected abstract M getTarget(net.automatalib.words.Alphabet<I> alphabet)

getOracle

protected abstract OR getOracle(M target)

getLearner

protected abstract L getLearner(OR oracle,
                                net.automatalib.words.Alphabet<I> alphabet)

getRounds

protected abstract int getRounds()

testSuspendAndResumeLearner

public void testSuspendAndResumeLearner()
                                 throws Exception

Throws:

Exception