Package de.learnlib.testsupport

Class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,OR,I,D>

java.lang.Object

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

Direct Known Subclasses:

AbstractGrowingAlphabetDFATest, AbstractGrowingAlphabetMealyTest, AbstractGrowingAlphabetMooreTest

public abstract class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,OR,I,D>
extends Object

Simple (abstract super) test class that checks the basic workflow of a learning algorithm that implements SupportsGrowingAlphabet.

Field Summary

Fields

Modifier and Type	Field	Description
protected static int	DEFAULT_AUTOMATON_SIZE
protected static int	RANDOM_SEED

Constructor Summary

Constructors

Constructor	Description
AbstractGrowingAlphabetTest()

Method Summary

Modifier and Type	Method	Description
protected abstract Collection<I>	getAlphabetExtensions()
protected abstract OR	getCachedOracle(Alphabet<I> alphabet, OR source, List<Consumer<I>> symbolListener)
protected abstract Alphabet<I>	getInitialAlphabet()
protected abstract L	getLearner(OR oracle, Alphabet<I> alphabet)
protected abstract OR	getOracle(M target)
protected abstract M	getTarget(Alphabet<I> alphabet)
void	setup()
void	testGrowingAlphabet()	In case of passing a growing alphabet, the learners may use the existing GrowingAlphabet.addSymbol(Object) functionality.
void	testGrowingAlphabetWithCache()
void	testInitialAlphabet()

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

DEFAULT_AUTOMATON_SIZE

protected static final int DEFAULT_AUTOMATON_SIZE

See Also:

Constant Field Values

Constructor Detail

AbstractGrowingAlphabetTest

public AbstractGrowingAlphabetTest()

Method Detail

setup

@BeforeClass
public void setup()

getInitialAlphabet

protected abstract Alphabet<I> getInitialAlphabet()

getAlphabetExtensions

protected abstract Collection<I> getAlphabetExtensions()

getTarget

protected abstract M getTarget(Alphabet<I> alphabet)

getOracle

protected abstract OR getOracle(M target)

getCachedOracle

protected abstract OR getCachedOracle(Alphabet<I> alphabet,
                                      OR source,
                                      List<Consumer<I>> symbolListener)

getLearner

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

testInitialAlphabet

public void testInitialAlphabet()

testGrowingAlphabet

public void testGrowingAlphabet()

In case of passing a growing alphabet, the learners may use the existing GrowingAlphabet.addSymbol(Object) functionality. Due to references, this may alter their behavior. Check it!

testGrowingAlphabetWithCache

public void testGrowingAlphabetWithCache()