be.ac.umons.jsonlearning.random

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

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractJSONEquivalenceOracle, JSONPartialEquivalenceOracle

public abstract class AbstractRandomJSONConformance<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>>
extends AbstractJSONConformance<A>
implements de.learnlib.api.oracle.EquivalenceOracle<A,JSONSymbol,Boolean>

Base class for (partial) equivalence queries using a random generator.

It generates a fixed number of JSON documents (up to the fixed maximal depth) and checks whether the hypothesis and the classical validator agrees on their validity.

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

Modifier	Constructor and Description
protected	AbstractRandomJSONConformance(int numberTests, boolean canGenerateInvalid, int maxProperties, int maxItems, be.ac.umons.jsonschematools.JSONSchema schema, Random random, boolean shuffleKeys, net.automatalib.words.Alphabet<JSONSymbol> alphabet)

Method Summary

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

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

AbstractRandomJSONConformance

protected AbstractRandomJSONConformance(int numberTests,
                                        boolean canGenerateInvalid,
                                        int maxProperties,
                                        int maxItems,
                                        be.ac.umons.jsonschematools.JSONSchema schema,
                                        Random random,
                                        boolean shuffleKeys,
                                        net.automatalib.words.Alphabet<JSONSymbol> alphabet)

Method Detail

findCounterExample

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