be.ac.umons.jsonlearning.random

Class AbstractJSONEquivalenceOracle<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>>

java.lang.Object

be.ac.umons.jsonlearning.AbstractJSONConformance<A>

be.ac.umons.jsonlearning.random.AbstractRandomJSONConformance<A>

be.ac.umons.jsonlearning.random.AbstractJSONEquivalenceOracle<A>

All Implemented Interfaces:

de.learnlib.api.oracle.EquivalenceOracle<A,JSONSymbol,Boolean>

Direct Known Subclasses:

ROCAJSONEquivalenceOracle, VCAJSONEquivalenceOracle, VPDAJSONEquivalenceOracle

public abstract class AbstractJSONEquivalenceOracle<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>>
extends AbstractRandomJSONConformance<A>

Base class for (full) equivalence queries using a random JSON documents generator.

When performing an equivalence query, multiple partial equivalence queries (see AbstractRandomJSONConformance) are performed, one per document depth between 0 and the maximal depth.

It is possible to provide a collection of documents to explicitly test. These documents are tested before the randomly generated ones.

Author:

Gaëtan Staquet

Nested Class Summary

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

de.learnlib.api.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, de.learnlib.api.oracle.EquivalenceOracle.RestrictedAutomatonEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.ROCAEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.VCAEquivalenceOracle<I>

Field Summary

Fields inherited from class be.ac.umons.jsonlearning.AbstractJSONConformance

MAX_NUMBER_SYMBOLS_GIBBERISH

Constructor Summary

Constructors

Constructor and Description
AbstractJSONEquivalenceOracle(int numberTests, boolean canGenerateInvalid, int maxDocumentDepth, int maxProperties, int maxItems, be.ac.umons.jsonschematools.JSONSchema schema, Random random, boolean shuffleKeys, net.automatalib.words.Alphabet<JSONSymbol> alphabet, Collection<org.json.JSONObject> documentsToTest)

Method Summary

Modifier and Type	Method and Description
protected @Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean>	findCounterExample(A hypothesis)

Methods inherited from class be.ac.umons.jsonlearning.random.AbstractRandomJSONConformance

findCounterExample

Methods inherited from class be.ac.umons.jsonlearning.AbstractJSONConformance

canGenerateInvalid, checkDocument, checkWord, generateGibberish, getAlphabet, getMaxItems, getMaxProperties, getRandom, getSchema, numberTests, shouldShuffleKeys

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.api.oracle.EquivalenceOracle

findCounterExample

Constructor Detail

AbstractJSONEquivalenceOracle

public AbstractJSONEquivalenceOracle(int numberTests,
                                     boolean canGenerateInvalid,
                                     int maxDocumentDepth,
                                     int maxProperties,
                                     int maxItems,
                                     be.ac.umons.jsonschematools.JSONSchema schema,
                                     Random random,
                                     boolean shuffleKeys,
                                     net.automatalib.words.Alphabet<JSONSymbol> alphabet,
                                     Collection<org.json.JSONObject> documentsToTest)

Method Detail

findCounterExample

protected @Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> findCounterExample(A hypothesis)