de.learnlib.eqtests.basic.mealy

Class RandomWalkEQOracle<I,O>

java.lang.Object

de.learnlib.eqtests.basic.mealy.RandomWalkEQOracle<I,O>

Type Parameters:

A - hypothesis format

I - input symbols class

O - output symbol class

All Implemented Interfaces:

EquivalenceOracle<MealyMachine<?,I,?,O>,I,Word<O>>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

public class RandomWalkEQOracle<I,O>
extends Object
implements EquivalenceOracle.MealyEquivalenceOracle<I,O>

Performs a random walk over the hypothesis. A random walk restarts with a fixed probability after every step and terminates after a fixed number of steps or with a counterexample. The number of steps to termination may be reset for every new search.

Author:

falkhowar

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.EquivalenceOracle

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
RandomWalkEQOracle(double restartProbability, long maxSteps, boolean resetStepCount, Random random, SUL<I,O> sul)
RandomWalkEQOracle(double restartProbability, long maxSteps, Random random, SUL<I,O> sul) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
DefaultQuery<I,Word<O>>	findCounterExample(MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs) Searches for a counterexample disproving the subjected hypothesis.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RandomWalkEQOracle

public RandomWalkEQOracle(double restartProbability,
                  long maxSteps,
                  Random random,
                  SUL<I,O> sul)

Constructor.

Parameters:

restartProbability -

maxSteps -

random -

sul -

RandomWalkEQOracle

public RandomWalkEQOracle(double restartProbability,
                  long maxSteps,
                  boolean resetStepCount,
                  Random random,
                  SUL<I,O> sul)

Method Detail

findCounterExample

public DefaultQuery<I,Word<O>> findCounterExample(MealyMachine<?,I,?,O> hypothesis,
                                         Collection<? extends I> inputs)

Description copied from interface: EquivalenceOracle

Searches for a counterexample disproving the subjected hypothesis. A counterexample is query which, when performed on the SUL, yields a different output than what was predicted by the hypothesis. If no counterexample could be found (this does not necessarily mean that none exists), null is returned.

Specified by:

findCounterExample in interface EquivalenceOracle<MealyMachine<?,I,?,O>,I,Word<O>>

Parameters:

hypothesis -

inputs -

Returns:

null or a counterexample