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 extendingMixtgte
to 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 FaultCharacterizationAlgorithmFactory
generatingMixtgte()
-
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:
computeExceptionInducingCombinations
in interfaceGeneratingFaultCharacterizationAlgorithm
-
computeFailureInducingCombinations
public List<int[]> computeFailureInducingCombinations()
Description copied from interface:FaultCharacterizationAlgorithm
Computes 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:
computeFailureInducingCombinations
in interfaceFaultCharacterizationAlgorithm
- Overrides:
computeFailureInducingCombinations
in classMixtgte
- Returns:
- list of all minimal FICs of size less or equal to strength of
Mixtgte.testModel
-
-