de.rwth.swc.coffee4j.engine.characterization.aifl

Class IterationBasedIterAifl

java.lang.Object

de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm

de.rwth.swc.coffee4j.engine.characterization.aifl.Aifl

de.rwth.swc.coffee4j.engine.characterization.aifl.IterationBasedIterAifl

All Implemented Interfaces:

FaultCharacterizationAlgorithm

public class IterationBasedIterAifl
extends Aifl

Extension to the AIFL algorithm based on "Adaptive Interaction Fault Location Based on Combinatorial Testing". In each new iteration, test inputs are generated based on the failed test inputs of the previous generation. The algorithm stops if there either were no failed test inputs in the last iteration, or the number of iterations is now greater than the testing strength, or if the number of suspicious combinations did not change during the last iteration, or if the number of iterations is below a defined threshold (default: 1). Consequently, the algorithm always terminates.

Important Information: -Generates many additional test inputs if there are many parameters -Generates many additional test inputs if there are many failing test inputs -Does not order failure-inducing combinations by probability and can return quite a few of them -Does not consider constraints -Is a bit more exact than AIFL itself, but needs considerably more test inputs

Field Summary

Fields inherited from class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm

configuration, previousSuspiciousCombinations, suspiciousCombinations, testResults

Constructor Summary

Constructors

Constructor and Description
IterationBasedIterAifl(FaultCharacterizationConfiguration configuration) Creates a new IterAIFL algorithm based on the given configuration.
IterationBasedIterAifl(FaultCharacterizationConfiguration configuration, int suspiciousCombinationsThreshold) Creates a new IterAIFL algorithm based on the given configuration.

Method Summary

Modifier and Type	Method and Description
List<IntArrayWrapper>	generateNextTestInputs(Map<int[],TestResult> newTestResults) The concrete algorithm generates test for which it needs the result for better fault characterization.
static FaultCharacterizationAlgorithmFactory	iterAifl()
static FaultCharacterizationAlgorithmFactory	iterAifl(int suspiciousCombinationsThreshold) Creates a factory which uses the given threshold to configuration the IterAIFL algorithm.
boolean	shouldGenerateFurtherTestInputs()

Methods inherited from class de.rwth.swc.coffee4j.engine.characterization.aifl.Aifl

aifl, computeFailureInducingCombinations, getRelevantSubCombinations

Methods inherited from class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm

computeNextTestInputs, getChecker, getModel, getReporter

Methods inherited from class java.lang.Object

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

Constructor Detail

IterationBasedIterAifl

public IterationBasedIterAifl(FaultCharacterizationConfiguration configuration)

Creates a new IterAIFL algorithm based on the given configuration. The ConstraintsChecker is ignored.

Parameters:

configuration - the configuration for the algorithm

IterationBasedIterAifl

public IterationBasedIterAifl(FaultCharacterizationConfiguration configuration,
                              int suspiciousCombinationsThreshold)

Creates a new IterAIFL algorithm based on the given configuration. The ConstraintsChecker is ignored. The threshold is used as a stopping conditions as described in IterationBasedIterAifl.

Parameters:

configuration - the configuration for the algorithm

suspiciousCombinationsThreshold - the threshold for algorithm termination

Method Detail

iterAifl

public static FaultCharacterizationAlgorithmFactory iterAifl()

Returns:

a factory always returning new instances of the IterAIFL algorithm

iterAifl

public static FaultCharacterizationAlgorithmFactory iterAifl(int suspiciousCombinationsThreshold)

Creates a factory which uses the given threshold to configuration the IterAIFL algorithm.

Parameters:

suspiciousCombinationsThreshold - the threshold as described in IterationBasedIterAifl

Returns:

a factory always returning new instances of the IterAIFL algorithm with the given threshold

shouldGenerateFurtherTestInputs

public boolean shouldGenerateFurtherTestInputs()

Overrides:

shouldGenerateFurtherTestInputs in class Aifl

Returns:

Whether further test inputs should be generated. If not, FaultCharacterizationAlgorithm.computeFailureInducingCombinations() will be called next

generateNextTestInputs

public List<IntArrayWrapper> generateNextTestInputs(Map<int[],TestResult> newTestResults)

Description copied from class: SuspiciousCombinationAlgorithm

The concrete algorithm generates test for which it needs the result for better fault characterization. If no further characterization is needed, an empty list should be returned.

Overrides:

generateNextTestInputs in class Aifl

Parameters:

newTestResults - the results from the test inputs generated in the last iteration of the initially generated test inputs if in the first iteration

Returns:

test inputs for which the result is needed