Package net.maswag.falcaun

Class GAEQOracle

java.lang.Object

net.maswag.falcaun.GAEQOracle

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,String,?,String>,String,net.automatalib.word.Word<String>>, EquivalenceOracle.MealyEquivalenceOracle<String,String>, EvaluationCountable, EvaluationCountable.MealyEquivalenceOracle<String,String>

public class GAEQOracle
extends Object
implements EquivalenceOracle.MealyEquivalenceOracle<String,String>, EvaluationCountable.MealyEquivalenceOracle<String,String>

Equivalence query using genetic algorithm

Author:

Masaki Waga

We use uniform crossover and random mutation.

Nested Class Summary

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

EquivalenceOracle.DFAEquivalenceOracle<I extends Object>, EquivalenceOracle.MealyEquivalenceOracle<I extends Object,O extends Object>, EquivalenceOracle.MooreEquivalenceOracle<I extends Object,O extends Object>

Nested classes/interfaces inherited from interface net.maswag.falcaun.EvaluationCountable

EvaluationCountable.MealyEquivalenceOracle<I,O>, EvaluationCountable.Sum

Field Summary

Fields

Modifier and Type	Field	Description
private final org.uma.jmetal.algorithm.Algorithm<org.uma.jmetal.solution.IntegerSolution>	algorithm
private static final org.slf4j.Logger	LOGGER
private final PropertyOracle.MealyPropertyOracle<String,String,String>	ltlOracle
private final EQSearchProblem	problem

Constructor Summary

Constructors

Constructor	Description
GAEQOracle(NumericMembershipOracleCost memOracle, int length, int maxEvaluations, GASelectionKind selectionKind, int populationSize, double crossoverProb, double mutationProbability, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)

Method Summary

Modifier and Type	Method	Description
@Nullable DefaultQuery<String,net.automatalib.word.Word<String>>	findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,String,?,String> hypothesis, Collection<? extends String> symbolList)
int	getEvaluateCount()
private boolean	isDisproved()

Methods inherited from class java.lang.Object

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

Field Details

algorithm

private final org.uma.jmetal.algorithm.Algorithm<org.uma.jmetal.solution.IntegerSolution> algorithm

problem

private final EQSearchProblem problem

LOGGER

private static final org.slf4j.Logger LOGGER

ltlOracle

private final PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle

Constructor Details

GAEQOracle

GAEQOracle(NumericMembershipOracleCost memOracle,
 int length,
 int maxEvaluations,
 GASelectionKind selectionKind,
 int populationSize,
 double crossoverProb,
 double mutationProbability,
 PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)

Method Details

isDisproved

private boolean isDisproved()

Returns:

whether the property is disproved.

findCounterExample

@Nullable
public @Nullable DefaultQuery<String,net.automatalib.word.Word<String>> findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,String,?,String> hypothesis,
 Collection<? extends String> symbolList)

Specified by:

findCounterExample in interface EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,String,?,String>,String,net.automatalib.word.Word<String>>

getEvaluateCount

public int getEvaluateCount()

Specified by:

getEvaluateCount in interface EvaluationCountable