Class | Description |
---|---|
CompleteExplorationEQOracle<I,D> |
Implements an equivalence check by complete exploration up to a given depth, i.e.,
by testing all possible sequences of a certain length within a specified range.
|
DelegateEQOracle<A,I,D> | |
EQOracleChain<A,I,D> | |
EQOracleChain.DFAEQOracleChain<I> | |
EQOracleChain.MealyEQOracleChain<I,O> | |
EquivalenceQueries | |
IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> | |
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> | |
IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> | |
RandomWordsEQOracle<I,D,A extends OutputAutomaton<?,I,?,D>> | |
RandomWordsEQOracle.DFARandomWordsEQOracle<I> | |
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> | |
SampleSetEQOracle<I,D> |
An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
|
SimpleEQOracle<A extends InputAlphabetHolder<I>,I,D> | |
SimulatorEQOracle<I,D> | |
SimulatorEQOracle.DFASimulatorEQOracle<I> | |
SimulatorEQOracle.MealySimulatorEQOracle<I,O> | |
WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the W-method test on the given
hypothesis automaton, as described in "Testing software design modeled by finite state machines"
by T.S.
|
WMethodEQOracle.DFAWMethodEQOracle<I> | |
WMethodEQOracle.MealyWMethodEQOracle<I,O> | |
WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton,
as described in "Test Selection Based on Finite State Models" by S.
|
WpMethodEQOracle.DFAWpMethodEQOracle<I> | |
WpMethodEQOracle.MealyWpMethodEQOracle<I,O> |
Copyright © 2015. All rights reserved.