| Class | Description |
|---|---|
| AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D> |
An
InclusionOracle that generates words in a breadth-first manner. |
| AbstractTestWordEQOracle<A extends Output<I,D>,I,D> |
An abstract equivalence oracle that takes care of query batching and hypothesis checking and allows extending classes
to solely focus on test word generation by implementing
AbstractTestWordEQOracle.generateTestWords(Output, Collection). |
| CExFirstOracle<A extends Output<I,D>,I,D> |
The strategy of this black-box oracle is to first try out a property, to see if it can be disproved.
|
| CExFirstOracle.DFACExFirstOracle<I> | |
| CExFirstOracle.MealyCExFirstOracle<I,O> | |
| CompleteExplorationEQOracle<A extends Output<I,D>,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.
|
| CompleteExplorationEQOracle.DFACompleteExplorationEQOracle<I> | |
| CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O> | |
| DelegateEQOracle<A,I,D> | |
| DFABFInclusionOracle<I> | |
| DisproveFirstOracle<A extends Output<I,D>,I,D> |
The strategy of this black-box oracle is to first try to disprove all properties before finding a counter example
to the given hypothesis.
|
| DisproveFirstOracle.DFADisproveFirstOracle<I> | |
| DisproveFirstOracle.MealyDisproveFirstOracle<I,O> | |
| 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> | |
| MealyBFInclusionOracle<I,O> | |
| RandomWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the W-method test on the given hypothesis automaton.
|
| RandomWMethodEQOracle.DFARandomWMethodEQOracle<I> | |
| RandomWMethodEQOracle.MealyRandomWMethodEQOracle<I,O> | |
| RandomWordsEQOracle<A extends Output<I,D>,I,D> | |
| RandomWordsEQOracle.DFARandomWordsEQOracle<I> | |
| RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> | |
| RandomWpMethodEQOracle<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.
|
| RandomWpMethodEQOracle.DFARandomWpMethodEQOracle<I> | |
| RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle<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 © 2019. All rights reserved.