de.learnlib.testsupport

Class AbstractBFOracleTest<D>

java.lang.Object

de.learnlib.testsupport.AbstractBFOracleTest<D>

public abstract class AbstractBFOracleTest<D>
extends Object

Class to test any AbstractBFOracle.

Author:

Jeroen Meijer

Field Summary

Fields

Modifier and Type	Field and Description
static Alphabet<Character>	ALPHABET
static double	MULTIPLIER

Constructor Summary

Constructors

Constructor and Description
AbstractBFOracleTest()

Method Summary

Modifier and Type	Method and Description
protected abstract AbstractBFOracle<? extends SimpleDTS<?,Character>,Character,D>	createBreadthFirstOracle(double multiplier)
void	setUp()
void	testAddWord()
void	testGetMultiplier()
void	testNextInput() Tests breadth-first order.
void	testPre()

Methods inherited from class java.lang.Object

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

Field Detail

ALPHABET

public static final Alphabet<Character> ALPHABET

MULTIPLIER

public static final double MULTIPLIER

See Also:

Constant Field Values

Constructor Detail

AbstractBFOracleTest

public AbstractBFOracleTest()

Method Detail

createBreadthFirstOracle

protected abstract AbstractBFOracle<? extends SimpleDTS<?,Character>,Character,D> createBreadthFirstOracle(double multiplier)

setUp

@BeforeMethod
public void setUp()

testGetMultiplier

public void testGetMultiplier()

testNextInput

public void testNextInput()

Tests breadth-first order.

testAddWord

public void testAddWord()

testPre

public void testPre()