Class GeneratingMixtgte
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.sequential.characterization.mixtgte.Mixtgte
-
- de.rwth.swc.coffee4j.algorithmic.sequential.characterization.mixtgte.GeneratingMixtgte
-
- All Implemented Interfaces:
FaultCharacterizationAlgorithm,GeneratingFaultCharacterizationAlgorithm
public class GeneratingMixtgte extends Mixtgte implements GeneratingFaultCharacterizationAlgorithm
Sub-class extendingMixtgteto enable the generation of error-constraints.
-
-
Constructor Summary
Constructors Constructor Description GeneratingMixtgte(FaultCharacterizationConfiguration config)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Set<int[]>computeExceptionInducingCombinations()List<int[]>computeFailureInducingCombinations()Computes a list of most likely failure inducing combinations refined from previous calls toFaultCharacterizationAlgorithm.computeNextTestInputs(Map).static FaultCharacterizationAlgorithmFactorygeneratingMixtgte()-
Methods inherited from class de.rwth.swc.coffee4j.algorithmic.sequential.characterization.mixtgte.Mixtgte
computeNextTestInputs, mixtgte
-
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
-
GeneratingMixtgte
public GeneratingMixtgte(FaultCharacterizationConfiguration config)
- Parameters:
config- configuration containing the test model this algorithm needs.
-
-
Method Detail
-
generatingMixtgte
public static FaultCharacterizationAlgorithmFactory generatingMixtgte()
- Returns:
- a factory always returning new instances of the MixTgTe algorithm
-
computeExceptionInducingCombinations
public Set<int[]> computeExceptionInducingCombinations()
- Specified by:
computeExceptionInducingCombinationsin interfaceGeneratingFaultCharacterizationAlgorithm
-
computeFailureInducingCombinations
public List<int[]> computeFailureInducingCombinations()
Description copied from interface:FaultCharacterizationAlgorithmComputes a list of most likely failure inducing combinations refined from previous calls toFaultCharacterizationAlgorithm.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:
computeFailureInducingCombinationsin interfaceFaultCharacterizationAlgorithm- Overrides:
computeFailureInducingCombinationsin classMixtgte- Returns:
- list of all minimal FICs of size less or equal to strength of
Mixtgte.testModel
-
-