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 anyAbstractBFOracle
.
-
-
Field Summary
Fields Modifier and Type Field Description static Alphabet<Character>
ALPHABET
static double
MULTIPLIER
-
Constructor Summary
Constructors Constructor Description AbstractBFOracleTest()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract AbstractBFOracle<? extends SimpleDTS<?,Character>,Character,D>
createBreadthFirstOracle(double multiplier)
void
setUp()
void
tearDown()
void
testAddWord()
void
testGetMultiplier()
void
testNextInput()
Tests breadth-first order.void
testPre()
-
-
-
Field Detail
-
MULTIPLIER
public static final double MULTIPLIER
- See Also:
- Constant Field Values
-
-
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()
-
-