Package net.maswag.falcaun

Class MutateSelectEQOracle

java.lang.Object

net.maswag.falcaun.AbstractSelectEQOracle

net.maswag.falcaun.MutateSelectEQOracle

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 MutateSelectEQOracle
extends AbstractSelectEQOracle

MutateSelectEQOracle 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

Modifier and Type	Field	Description
private int	changeSize

Fields inherited from class net.maswag.falcaun.AbstractSelectEQOracle

childrenSize, generationSize, memOracle, random, resetWord, symbolList

Constructor Summary

Constructors

Constructor	Description
MutateSelectEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, int changeSize)

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) net.automatalib.word.Word<String>	mutateWord(net.automatalib.word.Word<String> original, List<? extends String> symbolList)

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

Field Details

changeSize

private int changeSize

Constructor Details

MutateSelectEQOracle

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

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.

mutateWord

net.automatalib.word.Word<String> mutateWord(net.automatalib.word.Word<String> original,
 List<? extends String> symbolList)