Package net.maswag.falcaun

Class HillClimbingEQOracle

java.lang.Object

net.maswag.falcaun.AbstractSelectEQOracle

net.maswag.falcaun.HillClimbingEQOracle

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>

Direct Known Subclasses:

SAEQOracle

public class HillClimbingEQOracle
extends AbstractSelectEQOracle

HillClimbingEQOracle class.

Author:

Masaki Waga <masakiwaga@gmail.com>

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 inherited from class net.maswag.falcaun.AbstractSelectEQOracle

childrenSize, generationSize, memOracle, random, resetWord, symbolList

Constructor Summary

Constructors

Constructor	Description
HillClimbingEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord)
HillClimbingEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)

Method Summary

Modifier and Type	Method	Description
protected List<net.automatalib.word.Word<String>>	createNextGeneration(List<net.automatalib.word.Word<String>> goodSamples)	Generates the next set of test cases based on the provided list of successful (good) samples.
(package private) Stream<net.automatalib.word.Word<String>>	neighborhoodStream(net.automatalib.word.Word<String> input)	Generate the stream returning the neighborhood of the given word

Methods inherited from class net.maswag.falcaun.AbstractSelectEQOracle

findCounterExample

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.maswag.falcaun.EvaluationCountable

getEvaluateCount

Constructor Details

HillClimbingEQOracle

HillClimbingEQOracle(NumericMembershipOracleCost memOracle,
 int length,
 Random random,
 int maxTests,
 int generationSize,
 int childrenSize,
 boolean resetWord)

HillClimbingEQOracle

HillClimbingEQOracle(NumericMembershipOracleCost memOracle,
 int length,
 Random random,
 int maxTests,
 int generationSize,
 int childrenSize,
 boolean resetWord,
 PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)

Method Details

createNextGeneration

protected List<net.automatalib.word.Word<String>> createNextGeneration(List<net.automatalib.word.Word<String>> goodSamples)

Generates the next set of test cases based on the provided list of successful (good) samples. This method is responsible for creating new test cases that are derived from the current set of successful samples, ensuring a diverse and evolving set of test cases.

Specified by:

createNextGeneration in class AbstractSelectEQOracle

Parameters:

goodSamples - A list of successful test cases used as the basis for generating the next generation of test cases.

Returns:

A list of newly generated test cases for the next evaluation cycle.

neighborhoodStream

Stream<net.automatalib.word.Word<String>> neighborhoodStream(net.automatalib.word.Word<String> input)

Generate the stream returning the neighborhood of the given word

Parameters:

input - the input word

Returns:

the stream returning the neighborhood of the given word