Uses of Package
de.learnlib.oracle.equivalence
-
Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence Class Description AbstractBFInclusionOracle AnInclusionOracle
that generates words in a breadth-first manner.AbstractTestWordEQOracle 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 implementingAbstractTestWordEQOracle.generateTestWords(Output, Collection)
.CExFirstOracle The strategy of this black-box oracle is to first try out a property, to see if it can be disproved.CompleteExplorationEQOracle 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.DisproveFirstOracle The strategy of this black-box oracle is to first try to disprove all properties before finding a counter example to the given hypothesis.EQOracleChain IncrementalWMethodEQOracle RandomWMethodEQOracle Implements an equivalence test by applying the W-method test on the given hypothesis automaton.RandomWordsEQOracle RandomWpMethodEQOracle 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.SampleSetEQOracle An equivalence oracle that tests a hypothesis against a fixed set of sample queries.SimulatorEQOracle WMethodEQOracle 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.WpMethodEQOracle 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. -
Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence.mealy Class Description MealySimulatorEQOracle This is an auto-generated refinement.SimulatorEQOracle -
Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence.sba Class Description AbstractTestWordEQOracle 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 implementingAbstractTestWordEQOracle.generateTestWords(Output, Collection)
. -
Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence.spa Class Description AbstractTestWordEQOracle 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 implementingAbstractTestWordEQOracle.generateTestWords(Output, Collection)
. -
Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence.spmm Class Description AbstractTestWordEQOracle 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 implementingAbstractTestWordEQOracle.generateTestWords(Output, Collection)
. -
Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence.vpa Class Description AbstractTestWordEQOracle 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 implementingAbstractTestWordEQOracle.generateTestWords(Output, Collection)
.