be.ac.umons.jsonlearning

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

java.lang.Object

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

Direct Known Subclasses:

AbstractRandomJSONConformance, JSONPartialEquivalenceOracle, ROCAJSONEquivalenceOracle, VCAJSONEquivalenceOracle, VPDAJSONEquivalenceOracle

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

Base class for equivalence checks based on conformance testing of JSON documents.

In our case, conformance testing means that we generate JSON documents and check that the hypothesis and the classical validator agree on whether the document is valid.

Author:

Gaëtan Staquet

Field Summary

Fields

Modifier and Type	Field and Description
protected static int	MAX_NUMBER_SYMBOLS_GIBBERISH

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractJSONConformance(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
boolean	canGenerateInvalid()
protected de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean>	checkDocument(A hypothesis, org.json.JSONObject document)
protected de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean>	checkWord(A hypothesis, net.automatalib.words.Word<JSONSymbol> word)
protected net.automatalib.words.Word<JSONSymbol>	generateGibberish()
protected net.automatalib.words.Alphabet<JSONSymbol>	getAlphabet()
int	getMaxItems()
int	getMaxProperties()
protected Random	getRandom()
be.ac.umons.jsonschematools.JSONSchema	getSchema()
protected int	numberTests()
protected boolean	shouldShuffleKeys()

Methods inherited from class java.lang.Object

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

Field Detail

MAX_NUMBER_SYMBOLS_GIBBERISH

protected static final int MAX_NUMBER_SYMBOLS_GIBBERISH

See Also:

Constant Field Values

Constructor Detail

AbstractJSONConformance

protected AbstractJSONConformance(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

getAlphabet

protected net.automatalib.words.Alphabet<JSONSymbol> getAlphabet()

shouldShuffleKeys

protected boolean shouldShuffleKeys()

numberTests

protected int numberTests()

getRandom

protected Random getRandom()

getSchema

public be.ac.umons.jsonschematools.JSONSchema getSchema()

canGenerateInvalid

public boolean canGenerateInvalid()

getMaxItems

public int getMaxItems()

getMaxProperties

public int getMaxProperties()

generateGibberish

protected net.automatalib.words.Word<JSONSymbol> generateGibberish()

checkDocument

protected de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> checkDocument(A hypothesis,
                                                                               org.json.JSONObject document)

checkWord

protected de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> checkWord(A hypothesis,
                                                                           net.automatalib.words.Word<JSONSymbol> word)