Uses of Package
de.learnlib.oracle.equivalence
-
Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence Class Description AbstractBFInclusionOracle AnInclusionOraclethat 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 based on a randomized version of the W-method as described in Complementing Model Learning with Mutation-Based Fuzzing by Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer.RandomWordsEQOracle RandomWpMethodEQOracle Implements an equivalence test based on a randomized version of the W(p)-method as described in Complementing Model Learning with Mutation-Based Fuzzing by Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer.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. Chow.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. Fujiwara et al. -
Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence.mealy Class Description MealySimulatorEQOracle A type-specific refinement ofSimulatorEQOracle.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).