Module de.learnlib.testsupport

Package de.learnlib.testsupport

Class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,OR,I,D,T>

java.lang.Object

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

Type Parameters:

L - learner type

M - hypothesis type

OR - membership oracle type

I - input symbol type

D - output domain type

T - state type

Direct Known Subclasses:

AbstractResumableLearnerDFATest, AbstractResumableLearnerMealyTest, AbstractResumableLearnerMooreTest

public abstract class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,OR,I,D,T>
extends Object

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

Field Summary

Fields

Modifier and Type	Field	Description
protected static int	RANDOM_SEED

Constructor Summary

Constructors

Constructor	Description
AbstractResumableLearnerTest()

Method Summary

Modifier and Type	Method	Description
protected abstract net.automatalib.alphabet.Alphabet<I>	getInitialAlphabet()
protected abstract L	getLearner(OR oracle, net.automatalib.alphabet.Alphabet<I> alphabet)
protected abstract OR	getOracle(M target)
protected abstract int	getRounds()
protected abstract M	getTarget(net.automatalib.alphabet.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

@BeforeClass
public void setup()

getInitialAlphabet

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

getTarget

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

getOracle

protected abstract OR getOracle(M target)

getLearner

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

getRounds

protected abstract int getRounds()

testSuspendAndResumeLearner

public void testSuspendAndResumeLearner()