be.ac.umons.jsonlearning.random

Class VPDAJSONEquivalenceOracle

java.lang.Object

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

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

be.ac.umons.jsonlearning.random.AbstractJSONEquivalenceOracle<net.automatalib.automata.vpda.OneSEVPA<?,JSONSymbol>>

be.ac.umons.jsonlearning.random.VPDAJSONEquivalenceOracle

All Implemented Interfaces:

IVPDAJSONEquivalenceOracle, de.learnlib.api.oracle.EquivalenceOracle<net.automatalib.automata.vpda.OneSEVPA<?,JSONSymbol>,JSONSymbol,Boolean>

public class VPDAJSONEquivalenceOracle
extends AbstractJSONEquivalenceOracle<net.automatalib.automata.vpda.OneSEVPA<?,JSONSymbol>>
implements IVPDAJSONEquivalenceOracle

Specialization of AbstractJSONEquivalenceOracle for VPDAs.

When performing an equivalence check, the following tests are performed, in this order:

1. Is there a loop over the initial location reading an internal symbol? See IVPDAJSONEquivalenceOracle.counterexampleByLoopingOverInitial(OneSEVPA, Random)
2. Is there a valid document that is rejected by the hypothesis?
3. Is there an invalid document that is accepted by the hypothesis?
4. Is there a gibberish word that is accepted by the hypothesis?
5. Is the key graph valid? Note that this implementation reuses previously computed relations.

Author:

Gaëtan Staquet

Nested Class Summary

Nested classes/interfaces inherited from interface be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle

IVPDAJSONEquivalenceOracle.CounterexampleWithRelations<L>

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
VPDAJSONEquivalenceOracle(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
@Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean>	findCounterExample(net.automatalib.automata.vpda.OneSEVPA<?,JSONSymbol> hypo, Collection<? extends JSONSymbol> inputs)

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

findCounterExample

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 be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle

counterexampleAndRelationFromKeyGraph, counterexampleAndRelationFromKeyGraph, counterexampleByLoopingOverInitial, counterexampleFromKeyGraph

Constructor Detail

VPDAJSONEquivalenceOracle

public VPDAJSONEquivalenceOracle(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

public @Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> findCounterExample(net.automatalib.automata.vpda.OneSEVPA<?,JSONSymbol> hypo,
                                                                                           Collection<? extends JSONSymbol> inputs)

Specified by:

findCounterExample in interface de.learnlib.api.oracle.EquivalenceOracle<net.automatalib.automata.vpda.OneSEVPA<?,JSONSymbol>,JSONSymbol,Boolean>