Package de.rwth.swc.coffee4j.algorithmic.sequential.characterization.delta

Class GeneratingImprovedDD

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.sequential.characterization.delta.ImprovedDeltaDebugging

de.rwth.swc.coffee4j.algorithmic.sequential.characterization.delta.GeneratingImprovedDD

All Implemented Interfaces:

FaultCharacterizationAlgorithm, GeneratingFaultCharacterizationAlgorithm

public class GeneratingImprovedDD
extends ImprovedDeltaDebugging
implements GeneratingFaultCharacterizationAlgorithm

Constructor Summary

Constructors

Constructor	Description
GeneratingImprovedDD(FaultCharacterizationConfiguration configuration)	Creates a new Improved Delta Debugging algorithm for the given configuration.

Method Summary

Modifier and Type	Method	Description
Set<int[]>	computeExceptionInducingCombinations()
List<int[]>	computeFailureInducingCombinations()	Computes a list of most likely failure inducing combinations refined from previous calls to FaultCharacterizationAlgorithm.computeNextTestInputs(Map).
static FaultCharacterizationAlgorithmFactory	generatingImprovedDD()

Methods inherited from class de.rwth.swc.coffee4j.algorithmic.sequential.characterization.delta.ImprovedDeltaDebugging

computeNextTestInputs, improvedDeltaDebugging

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.swc.coffee4j.algorithmic.sequential.characterization.FaultCharacterizationAlgorithm

computeNextTestInputs

Constructor Detail

GeneratingImprovedDD

public GeneratingImprovedDD(FaultCharacterizationConfiguration configuration)

Creates a new Improved Delta Debugging algorithm for the given configuration. The ConstraintsChecker is ignored.

Parameters:

configuration - the configuration for the algorithm

Method Detail

generatingImprovedDD

public static FaultCharacterizationAlgorithmFactory generatingImprovedDD()

Returns:

returns a factory for this class.

computeExceptionInducingCombinations

public Set<int[]> computeExceptionInducingCombinations()

Specified by:

computeExceptionInducingCombinations in interface GeneratingFaultCharacterizationAlgorithm

computeFailureInducingCombinations

public List<int[]> computeFailureInducingCombinations()

Description copied from interface: FaultCharacterizationAlgorithm

Computes a list of most likely failure inducing combinations refined from previous calls to FaultCharacterizationAlgorithm.computeNextTestInputs(Map). The combinations returned by this method are not guaranteed to be faulty, but it is guaranteed that no test input executed which contained this combination was successful.

Specified by:

computeFailureInducingCombinations in interface FaultCharacterizationAlgorithm

Overrides:

computeFailureInducingCombinations in class ImprovedDeltaDebugging

Returns:

a list of faulty combinations. The list may be ranked, depending on the underlying algorithm. If this list is ranked the combinations on positions with smaller indices are more likely to be failure inducing