Module de.learnlib.testsupport

Package 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.

Field Summary

Fields

Modifier and Type	Field	Description
static net.automatalib.alphabet.Alphabet<Character>	ALPHABET
static double	MULTIPLIER

Constructor Summary

Constructors

Constructor	Description
AbstractBFOracleTest()

Method Summary

Modifier and Type	Method	Description
protected abstract AbstractBFOracle<? extends net.automatalib.ts.simple.SimpleDTS<?,Character>,Character,D>	createBreadthFirstOracle(double multiplier)
void	setUp()
void	tearDown()
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 net.automatalib.alphabet.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 net.automatalib.ts.simple.SimpleDTS<?,Character>,Character,D> createBreadthFirstOracle(double multiplier)

setUp

@BeforeMethod
public void setUp()

tearDown

@AfterMethod
public void tearDown()
              throws Exception

Throws:

Exception

testGetMultiplier

public void testGetMultiplier()

testNextInput

public void testNextInput()

Tests breadth-first order.

testAddWord

public void testAddWord()

testPre

public void testPre()