Index (de.rwth.swc.coffee4j:coffee4j-engine 1.0.6 API)

A B C D E F G H I M N O P Q R S T U V W
All Classes All Packages

A

add(int[], int[]) - Static method in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: Adds the combination to be added to the first one.
addResultFor(IntArrayWrapper, TestResult) - Method in class de.rwth.swc.coffee4j.engine.manager.HashMapTestResultCache
addResultFor(IntArrayWrapper, TestResult) - Method in interface de.rwth.swc.coffee4j.engine.manager.TestResultCache: Adds a result to the cache so it may later be retrieved via TestResultCache.getResultFor(IntArrayWrapper).
aifl() - Static method in class de.rwth.swc.coffee4j.engine.characterization.aifl.Aifl: Can be used as a convenience method to describe that AIFL should be used as a FaultCharacterizationAlgorithmFactory.
Aifl - Class in de.rwth.swc.coffee4j.engine.characterization.aifl: The implementation of the AIFL fault characterization algorithm as described in "A Software Debugging Method Based on Pairwise Testing".
Aifl(FaultCharacterizationConfiguration) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.aifl.Aifl: Builds a new instance of the algorithm for a given configuration.
allConstraintsEnabled() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
apply(Model) - Method in class de.rwth.swc.coffee4j.engine.constraint.Constraint
apply(Model) - Method in class de.rwth.swc.coffee4j.engine.constraint.NegatedConstraint
ArgumentConverter - Interface in de.rwth.swc.coffee4j.engine.report: Defines an interface which can be used to convert arguments to different representation forms.
ArrayUtil - Class in de.rwth.swc.coffee4j.engine.util: Common operations which need to be performed on arrays in combinatorial test input generation.

B

BasicCombinatorialTestManager - Class in de.rwth.swc.coffee4j.engine.manager: A very basic manager for combinatorial tests.
BasicCombinatorialTestManager(CombinatorialTestConfiguration, TestModel) - Constructor for class de.rwth.swc.coffee4j.engine.manager.BasicCombinatorialTestManager
ben() - Static method in class de.rwth.swc.coffee4j.engine.characterization.ben.Ben: Can be used as a convenience method to describe that BEN should be used as a FaultCharacterizationAlgorithmFactory.
ben(int, int) - Static method in class de.rwth.swc.coffee4j.engine.characterization.ben.Ben: Can be used as a convenience method to describe that BEN should be used as a FaultCharacterizationAlgorithmFactory.
Ben - Class in de.rwth.swc.coffee4j.engine.characterization.ben: The implementation of the BEN fault characterization algorithm based on the paper "Identifying Failure-Inducing Combinations in a Combinatorial Test Set".
Ben(FaultCharacterizationConfiguration) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.ben.Ben: Builds a new instance of the algorithm for a given configuration.
Ben(FaultCharacterizationConfiguration, int, int) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.ben.Ben: Builds a new instance of the algorithm for the given configuration.
build() - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration.Builder
Builder() - Constructor for class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration.Builder
buildInitialTestSuite(Int2IntMap, int[]) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogAlgorithm

C

CachingDelegatingCombinatorialTestManager - Class in de.rwth.swc.coffee4j.engine.manager: A CombinatorialTestManager which does not generate test inputs by itself but delegates this to another manager.
CachingDelegatingCombinatorialTestManager(TestResultCache, CombinatorialTestManager) - Constructor for class de.rwth.swc.coffee4j.engine.manager.CachingDelegatingCombinatorialTestManager
canBeAdded(int[], int[], ConstraintChecker) - Static method in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: Checks whether the combinations to be added can be added to the given combinations.
canConvert(Object) - Method in interface de.rwth.swc.coffee4j.engine.report.ArgumentConverter: Checks whether the given argument can be converted by this ArgumentConverter.
check(boolean) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks whether the given expression evaluates to true.
check(boolean, String) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks whether the given expression evaluates to true.
check(boolean, Supplier<String>) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks whether the given expression evaluates to true.
checkConstraintsForConflicts() - Method in class de.rwth.swc.coffee4j.engine.manager.BasicCombinatorialTestManager
checkConstraintsForConflicts() - Method in class de.rwth.swc.coffee4j.engine.manager.CachingDelegatingCombinatorialTestManager
checkConstraintsForConflicts() - Method in interface de.rwth.swc.coffee4j.engine.manager.CombinatorialTestManager
checker(ConstraintChecker) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration.Builder
ChocoModel - Class in de.rwth.swc.coffee4j.engine.conflict.choco
ChocoModel(int[], List<Constraint>) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
ChocoUtil - Class in de.rwth.swc.coffee4j.engine.util
clearAssignmentConstraint() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
combination(int[]) - Static method in class de.rwth.swc.coffee4j.engine.report.CombinationArgument
CombinationArgument - Class in de.rwth.swc.coffee4j.engine.report: Used to encapsulate a int[] as a combination.
CombinationArgument(int[]) - Constructor for class de.rwth.swc.coffee4j.engine.report.CombinationArgument: Creates a new argument for the given combination.
CombinationUtil - Class in de.rwth.swc.coffee4j.engine.util: Common utilities used for integer array which represent combinations or test inputs.
Combinator - Class in de.rwth.swc.coffee4j.engine.util: Utility methods used for combinatorial tasks in the context of combinatorial test generation.
CombinatorialTestConfiguration - Class in de.rwth.swc.coffee4j.engine.manager: All configuration needed for an CombinatorialTestManager to generate test inputs for a given testModel.
CombinatorialTestConfiguration(FaultCharacterizationAlgorithmFactory, ConflictDetectionConfiguration, Collection<TestInputGroupGenerator>, GenerationReporter) - Constructor for class de.rwth.swc.coffee4j.engine.manager.CombinatorialTestConfiguration: Creates a new configuration with the given arguments.
CombinatorialTestManager - Interface in de.rwth.swc.coffee4j.engine.manager: Defines a manager which can completely manage a combinatorial test including dynamic test generation (e.g fault characterization).
compareTo(DiagnosisElement) - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
computeCartesianProduct(Int2IntMap, int) - Static method in class de.rwth.swc.coffee4j.engine.util.Combinator: Computes the full cartesian product of the given parameters.
computeCombinations(int[], int) - Static method in class de.rwth.swc.coffee4j.engine.util.Combinator: Computes all size-value-combinations there are with the given parameters.
computeFailureInducingCombinations() - Method in class de.rwth.swc.coffee4j.engine.characterization.aifl.Aifl
computeFailureInducingCombinations() - Method in class de.rwth.swc.coffee4j.engine.characterization.ben.Ben
computeFailureInducingCombinations() - Method in class de.rwth.swc.coffee4j.engine.characterization.delta.ImprovedDeltaDebugging
computeFailureInducingCombinations() - Method in interface de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationAlgorithm: Computes a list of most likely failure inducing combinations refined from previous calls to FaultCharacterizationAlgorithm.computeNextTestInputs(Map).
computeGainsOfFixedParameter(int[]) - Method in interface de.rwth.swc.coffee4j.engine.generator.ipog.CoverageMap
computeGainsOfFixedParameter(int[]) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.EfficientCoverageMap: Computes the number of combinations which would be covered if the fixed parameter given in the constructor would be set to a specific value in the given combination.
computeMinimalDiagnosisHittingSets(List<MissingInvalidTuple>) - Method in class de.rwth.swc.coffee4j.engine.conflict.ReduceBasedDiagnosisHittingSetBuilder
computeMinimalDiagnosisHittingSets(List<MissingInvalidTuple>) - Method in class de.rwth.swc.coffee4j.engine.manager.BasicCombinatorialTestManager
computeMinimalDiagnosisHittingSets(List<MissingInvalidTuple>) - Method in class de.rwth.swc.coffee4j.engine.manager.CachingDelegatingCombinatorialTestManager
computeMinimalDiagnosisHittingSets(List<MissingInvalidTuple>) - Method in interface de.rwth.swc.coffee4j.engine.manager.CombinatorialTestManager
computeNegativeParameterCombinations(int[], int[], int) - Static method in class de.rwth.swc.coffee4j.engine.util.Combinator: Computes subsets of parameter indices with the given size multiplied with negative parameters
computeNextTestInputs(Map<int[], TestResult>) - Method in class de.rwth.swc.coffee4j.engine.characterization.delta.ImprovedDeltaDebugging
computeNextTestInputs(Map<int[], TestResult>) - Method in interface de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationAlgorithm: Refines the internal list of suspicious of faulty combinations.
computeNextTestInputs(Map<int[], TestResult>) - Method in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm: In the first iteration all relevant sub combinations of failed test inputs are calculated via the SuspiciousCombinationAlgorithm.getRelevantSubCombinations(int[]) method.
computeParameterCombinations(int[], int) - Static method in class de.rwth.swc.coffee4j.engine.util.Combinator: Computes all subsets of parameter indices with the given size.
computeSubCombinations(int[]) - Static method in class de.rwth.swc.coffee4j.engine.util.Combinator: Computes all sub-combinations of this combination.
computeSubCombinations(int[], int) - Static method in class de.rwth.swc.coffee4j.engine.util.Combinator: Computes all sub-combinations with the given size that the combination has.
configuration - Variable in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm
ConflictDetectionConfiguration - Class in de.rwth.swc.coffee4j.engine.conflict
ConflictDetectionConfiguration(boolean, boolean, boolean, Class<? extends ConflictExplainer>, boolean, Class<? extends ConflictDiagnostician>) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
ConflictDetectionManager - Class in de.rwth.swc.coffee4j.engine.conflict
ConflictDetectionManager(ConflictDetectionConfiguration, TestModel) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionManager
ConflictDiagnostician - Interface in de.rwth.swc.coffee4j.engine.conflict.diagnosis
ConflictElement - Class in de.rwth.swc.coffee4j.engine.conflict
ConflictElement(int, int[], int[]) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.ConflictElement
ConflictExplainer - Interface in de.rwth.swc.coffee4j.engine.conflict.explanation
ConflictExplanation - Interface in de.rwth.swc.coffee4j.engine.conflict
ConflictSet - Class in de.rwth.swc.coffee4j.engine.conflict
ConflictSet(List<ConflictElement>) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.ConflictSet
Constraint - Class in de.rwth.swc.coffee4j.engine.constraint
Constraint(TupleList, Function<Model, Constraint>) - Constructor for class de.rwth.swc.coffee4j.engine.constraint.Constraint
ConstraintChecker - Interface in de.rwth.swc.coffee4j.engine.constraint
ConstraintCheckerFactory - Interface in de.rwth.swc.coffee4j.engine.constraint
ConstraintConverter - Class in de.rwth.swc.coffee4j.engine.constraint
ConstraintConverter() - Constructor for class de.rwth.swc.coffee4j.engine.constraint.ConstraintConverter
ConstraintList - Class in de.rwth.swc.coffee4j.engine.constraint
ConstraintList(Collection<TupleList>) - Constructor for class de.rwth.swc.coffee4j.engine.constraint.ConstraintList
constructCoverageMap(int, Int2IntMap, List<IntSet>) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogAlgorithm
contains(int[], int) - Static method in class de.rwth.swc.coffee4j.engine.util.ArrayUtil: Checks whether the given element appears anywhere in the given array.
contains(int[], int[]) - Static method in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: Checks whether the first combinations contains the second one.
contains(DiagnosisElement) - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet
containsAllParameters(int[], int) - Static method in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: Checks whether all the combination contains all parameters until the given index, that is whether all fields in the combination array until the index are not set to CombinationUtil.NO_VALUE.
containsAllParameters(int[], IntSet) - Static method in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: Checks whether a combinations contains all parameter, that is whether the field for all given parameters is not set to CombinationUtil.NO_VALUE.
containsDuplicates(int[]) - Static method in class de.rwth.swc.coffee4j.engine.util.ArrayUtil
containsResultFor(IntArrayWrapper) - Method in class de.rwth.swc.coffee4j.engine.manager.HashMapTestResultCache
containsResultFor(IntArrayWrapper) - Method in interface de.rwth.swc.coffee4j.engine.manager.TestResultCache
convert(TupleList) - Method in class de.rwth.swc.coffee4j.engine.constraint.ConstraintConverter
convert(Object) - Method in interface de.rwth.swc.coffee4j.engine.report.ArgumentConverter: Converts the given argument if ArgumentConverter.canConvert(Object) returned true.
convertAll(Collection<TupleList>) - Method in class de.rwth.swc.coffee4j.engine.constraint.ConstraintConverter
convertArguments(ArgumentConverter) - Method in class de.rwth.swc.coffee4j.engine.report.Report: Converts all arguments given to the constructor using the given ArgumentConverter.
CoverageMap - Interface in de.rwth.swc.coffee4j.engine.generator.ipog
covers(DiagnosisHittingSet) - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet
create(int[], int) - Method in interface de.rwth.swc.coffee4j.engine.generator.ipog.ParameterCombinationFactory: Calculates which parameter combinations should be covered in the next step.
create(int[], int) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.TWiseParameterCombinationFactory
create(FaultCharacterizationConfiguration) - Method in interface de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationAlgorithmFactory: Creates a new algorithm for the given configuration.
createConflictDiagnostician() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
createConflictExplainer() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
createConstraintChecker(TestModel) - Method in interface de.rwth.swc.coffee4j.engine.constraint.ConstraintCheckerFactory
createConstraintChecker(TestModel) - Method in class de.rwth.swc.coffee4j.engine.constraint.DiagnosticConstraintCheckerFactory
createConstraintChecker(TestModel) - Method in class de.rwth.swc.coffee4j.engine.constraint.HardConstraintCheckerFactory
createConstraintChecker(TestModel) - Method in class de.rwth.swc.coffee4j.engine.constraint.NoConstraintCheckerFactory
createConstraintChecker(TestModel) - Method in class de.rwth.swc.coffee4j.engine.constraint.SoftConstraintCheckerFactory
createConstraintCheckerWithNegation(TestModel, TupleList) - Method in interface de.rwth.swc.coffee4j.engine.constraint.ConstraintCheckerFactory
createConstraintCheckerWithNegation(TestModel, TupleList) - Method in class de.rwth.swc.coffee4j.engine.constraint.DiagnosticConstraintCheckerFactory
createConstraintCheckerWithNegation(TestModel, TupleList) - Method in class de.rwth.swc.coffee4j.engine.constraint.HardConstraintCheckerFactory
createConstraintCheckerWithNegation(TestModel, TupleList) - Method in class de.rwth.swc.coffee4j.engine.constraint.NoConstraintCheckerFactory
createConstraintCheckerWithNegation(TestModel, TupleList) - Method in class de.rwth.swc.coffee4j.engine.constraint.SoftConstraintCheckerFactory
createTestModelExpander(TestModel) - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration

D

de.rwth.swc.coffee4j.engine - package de.rwth.swc.coffee4j.engine
de.rwth.swc.coffee4j.engine.characterization - package de.rwth.swc.coffee4j.engine.characterization
de.rwth.swc.coffee4j.engine.characterization.aifl - package de.rwth.swc.coffee4j.engine.characterization.aifl
de.rwth.swc.coffee4j.engine.characterization.ben - package de.rwth.swc.coffee4j.engine.characterization.ben
de.rwth.swc.coffee4j.engine.characterization.delta - package de.rwth.swc.coffee4j.engine.characterization.delta
de.rwth.swc.coffee4j.engine.conflict - package de.rwth.swc.coffee4j.engine.conflict
de.rwth.swc.coffee4j.engine.conflict.choco - package de.rwth.swc.coffee4j.engine.conflict.choco
de.rwth.swc.coffee4j.engine.conflict.diagnosis - package de.rwth.swc.coffee4j.engine.conflict.diagnosis
de.rwth.swc.coffee4j.engine.conflict.explanation - package de.rwth.swc.coffee4j.engine.conflict.explanation
de.rwth.swc.coffee4j.engine.constraint - package de.rwth.swc.coffee4j.engine.constraint
de.rwth.swc.coffee4j.engine.generator - package de.rwth.swc.coffee4j.engine.generator
de.rwth.swc.coffee4j.engine.generator.ipog - package de.rwth.swc.coffee4j.engine.generator.ipog
de.rwth.swc.coffee4j.engine.generator.ipogneg - package de.rwth.swc.coffee4j.engine.generator.ipogneg
de.rwth.swc.coffee4j.engine.manager - package de.rwth.swc.coffee4j.engine.manager
de.rwth.swc.coffee4j.engine.report - package de.rwth.swc.coffee4j.engine.report
de.rwth.swc.coffee4j.engine.util - package de.rwth.swc.coffee4j.engine.util
DEBUG - de.rwth.swc.coffee4j.engine.report.ReportLevel: Should be used for general debugging information.
detectMissingInvalidTuples() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionManager
DiagnosisElement - Class in de.rwth.swc.coffee4j.engine.conflict
DiagnosisElement(int, int[], int[]) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
DiagnosisHittingSet - Class in de.rwth.swc.coffee4j.engine.conflict
DiagnosisHittingSet(List<DiagnosisElement>) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet
DiagnosisSet - Class in de.rwth.swc.coffee4j.engine.conflict
DiagnosisSet(List<DiagnosisElement>) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSet
DiagnosisSets - Class in de.rwth.swc.coffee4j.engine.conflict
DiagnosticConstraintCheckerFactory - Class in de.rwth.swc.coffee4j.engine.constraint
DiagnosticConstraintCheckerFactory() - Constructor for class de.rwth.swc.coffee4j.engine.constraint.DiagnosticConstraintCheckerFactory
DiagnosticConstraintCheckerFactory(DiagnosticConstraintSplitter, DiagnosticConstraintThresholdComputer) - Constructor for class de.rwth.swc.coffee4j.engine.constraint.DiagnosticConstraintCheckerFactory
disable() - Static method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
disableAllConstraints() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
disableConstraint(int) - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
disableConstraints(int...) - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
doesNotContainNull(Collection<T>) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks if the given Collection contains any null element.
doesNotContainNull(Collection<T>, String) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks if the given Collection contains any null element.
doesNotContainNull(Collection<T>, Supplier<String>) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks if the given Collection contains any null element.

E

EfficientCoverageMap - Class in de.rwth.swc.coffee4j.engine.generator.ipog: This acts as the coverage map described in section 4.1 of the paper "An Efficient Design and Implementation of the In-Parameter-Order Algorithm".
EfficientCoverageMap(Collection<IntSet>, int, Int2IntMap, ConstraintChecker) - Constructor for class de.rwth.swc.coffee4j.engine.generator.ipog.EfficientCoverageMap: Initializes a new coverage map with the given parameter combinations and the fixed parameter.
emptyCombination(int) - Static method in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: Creates a new combinations which is empty.
enableAllConstraints() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
enableConstraint(int) - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
enableConstraints(int...) - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationConfiguration
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictElement
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictSet
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSet
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSets
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.InconsistentBackground
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalConflictSet
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalDiagnosisSets
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalInconsistentBackground
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalMissingInvalidTuple
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.constraint.Constraint
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.constraint.ConstraintList
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.generator.TestInputGroup
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.manager.CombinatorialTestConfiguration
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.report.CombinationArgument
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.report.ParameterArgument
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.report.Report
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.report.ValueArgument
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.TestModel
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.TestResult
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.TupleList
equals(Object) - Method in class de.rwth.swc.coffee4j.engine.util.IntArrayWrapper
ERROR - de.rwth.swc.coffee4j.engine.report.ReportLevel: Should be used for things fatal to the current operation, but not the whole process.
exclude(int[], int[]) - Static method in class de.rwth.swc.coffee4j.engine.util.ArrayUtil: Creates an array with the same order and elements as the original, except the excluded ones.
ExhaustiveConflictDiagnostician - Class in de.rwth.swc.coffee4j.engine.conflict.diagnosis
ExhaustiveConflictDiagnostician() - Constructor for class de.rwth.swc.coffee4j.engine.conflict.diagnosis.ExhaustiveConflictDiagnostician

F

factory(ParameterCombinationFactory) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration.Builder
failure(Throwable) - Static method in class de.rwth.swc.coffee4j.engine.TestResult: Descriptive convenience method for constructing a result for a failed test input.
FastConflictDiagnostician - Class in de.rwth.swc.coffee4j.engine.conflict.diagnosis
FastConflictDiagnostician() - Constructor for class de.rwth.swc.coffee4j.engine.conflict.diagnosis.FastConflictDiagnostician
FATAL - de.rwth.swc.coffee4j.engine.report.ReportLevel: An error which leads to the complete shutdown, so one from which the application cannot possible recover.
FaultCharacterizationAlgorithm - Interface in de.rwth.swc.coffee4j.engine.characterization: Describes an algorithm used to characterize failure-inducing combinations in combinatorial tests.
FaultCharacterizationAlgorithmFactory - Interface in de.rwth.swc.coffee4j.engine.characterization: Marks factories used to create fault characterization algorithms for a given configuration.
FaultCharacterizationConfiguration - Class in de.rwth.swc.coffee4j.engine.characterization: Class containing all information needed to perform fault characterization for combinatorial tests.
FaultCharacterizationConfiguration(TestModel, ConstraintChecker, Reporter) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationConfiguration: Creates a new configuration out of an IPM, reporter and constraints checker.
FaultCharacterizationConfiguration(TestModel, Reporter) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationConfiguration: Creates a new configuration out of an IPM and a reporter.
faultCharacterizationFinished(TestInputGroup, List<int[]>) - Method in interface de.rwth.swc.coffee4j.engine.report.GenerationReporter: Called after all fault characterization has been finished.
faultCharacterizationStarted(TestInputGroup, FaultCharacterizationAlgorithm) - Method in interface de.rwth.swc.coffee4j.engine.report.GenerationReporter: Called if fault characterization for the given group has started.
faultCharacterizationTestInputsGenerated(TestInputGroup, List<int[]>) - Method in interface de.rwth.swc.coffee4j.engine.report.GenerationReporter: Called if new test inputs have been generated by the FaultCharacterizationAlgorithm provided to GenerationReporter.faultCharacterizationStarted(TestInputGroup, FaultCharacterizationAlgorithm).
findVariable(Model, int) - Static method in class de.rwth.swc.coffee4j.engine.util.ChocoUtil: Searches for a variable with a given id as its name

G

generate() - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogAlgorithm
generate(TestModel, Reporter) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.Ipog: Constructs a combinatorial test suite for positive testing.
generate(TestModel, Reporter) - Method in class de.rwth.swc.coffee4j.engine.generator.ipogneg.IpogNeg
generate(TestModel, Reporter) - Method in interface de.rwth.swc.coffee4j.engine.generator.TestInputGroupGenerator: Generates a arbitrary number of TestInputGroup instances.
generateAdditionalTestInputsWithResult(int[], TestResult) - Method in class de.rwth.swc.coffee4j.engine.manager.BasicCombinatorialTestManager: Returns all additional test inputs needed for all TestInputGroups managed by this manager.
generateAdditionalTestInputsWithResult(int[], TestResult) - Method in class de.rwth.swc.coffee4j.engine.manager.CachingDelegatingCombinatorialTestManager
generateAdditionalTestInputsWithResult(int[], TestResult) - Method in interface de.rwth.swc.coffee4j.engine.manager.CombinatorialTestManager: Generates additional test inputs based on results of previous test inputs normally generated by either CombinatorialTestManager.generateInitialTests() or this method in a previous iteration.
generateInitialTests() - Method in class de.rwth.swc.coffee4j.engine.manager.BasicCombinatorialTestManager: Generates all test input groups given by the supplied TestInputGroupGenerators.
generateInitialTests() - Method in class de.rwth.swc.coffee4j.engine.manager.CachingDelegatingCombinatorialTestManager
generateInitialTests() - Method in interface de.rwth.swc.coffee4j.engine.manager.CombinatorialTestManager: Generates all initial test inputs for execution.
generateNextTestInputs(Map<int[], TestResult>) - Method in class de.rwth.swc.coffee4j.engine.characterization.aifl.Aifl
generateNextTestInputs(Map<int[], TestResult>) - Method in class de.rwth.swc.coffee4j.engine.characterization.aifl.IterationBasedIterAifl
generateNextTestInputs(Map<int[], TestResult>) - Method in class de.rwth.swc.coffee4j.engine.characterization.ben.Ben
generateNextTestInputs(Map<int[], TestResult>) - Method in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm: The concrete algorithm generates test for which it needs the result for better fault characterization.
GenerationReporter - Interface in de.rwth.swc.coffee4j.engine.report: An interface defining a reporter listening for events during the generation of combinatorial test inputs.
getArguments() - Method in class de.rwth.swc.coffee4j.engine.report.Report
getArray() - Method in class de.rwth.swc.coffee4j.engine.util.IntArrayWrapper
getBackground() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalConflictSet
getBackground() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalInconsistentBackground
getCauseForFailure() - Method in class de.rwth.swc.coffee4j.engine.TestResult
getChecker() - Method in class de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationConfiguration
getChecker() - Method in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm
getChocoModel() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalConflictSet
getCombination() - Method in class de.rwth.swc.coffee4j.engine.report.CombinationArgument
getConflictDetectionConfiguration() - Method in class de.rwth.swc.coffee4j.engine.manager.CombinatorialTestConfiguration
getConflictDiagnosticianClass() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
getConflictElements() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictSet
getConflictElements() - Method in class de.rwth.swc.coffee4j.engine.conflict.InconsistentBackground
getConflictExplainerClass() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
getConflictingConstraintId() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictElement
getConflictingValues() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictElement
getConflictingValues() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
getConflictSet() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalConflictSet
getConstraints() - Method in class de.rwth.swc.coffee4j.engine.constraint.ConstraintList
getDiagnosedConstraintId() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
getDiagnosisElements() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet
getDiagnosisElements() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSet
getDiagnosisSets() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSets
getDiagnosisSets() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalDiagnosisSets
getErrorConstraints() - Method in class de.rwth.swc.coffee4j.engine.TestModel
getErrorTupleLists() - Method in class de.rwth.swc.coffee4j.engine.TestModel
getExclusionConstraints() - Method in class de.rwth.swc.coffee4j.engine.TestModel
getExplanation() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalMissingInvalidTuple
getExplanation() - Method in class de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple
getFaultCharacterizationAlgorithmFactory() - Method in class de.rwth.swc.coffee4j.engine.manager.CombinatorialTestConfiguration
getFaultCharacterizationConfiguration() - Method in class de.rwth.swc.coffee4j.engine.generator.TestInputGroup
getForbiddenTupleLists() - Method in class de.rwth.swc.coffee4j.engine.TestModel
getGenerationReporter() - Method in class de.rwth.swc.coffee4j.engine.manager.CombinatorialTestConfiguration
getGenerators() - Method in class de.rwth.swc.coffee4j.engine.manager.CombinatorialTestConfiguration
getId() - Method in class de.rwth.swc.coffee4j.engine.TupleList
getIdentifier() - Method in class de.rwth.swc.coffee4j.engine.generator.TestInputGroup
getInitialParameters(Int2IntMap, int) - Method in interface de.rwth.swc.coffee4j.engine.generator.ipog.ParameterOrder: All combinations which should be used in the first initial step of IPOG.
getInitialParameters(Int2IntMap, int) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.StrengthBasedParameterOrder
getInvolvedParameters() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictElement
getInvolvedParameters() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
getInvolvedParameters() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalMissingInvalidTuple
getInvolvedParameters() - Method in class de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple
getInvolvedParameters() - Method in class de.rwth.swc.coffee4j.engine.TupleList
getMinimalConflict(ChocoModel, int[], int[]) - Method in interface de.rwth.swc.coffee4j.engine.conflict.explanation.ConflictExplainer
getMinimalConflict(ChocoModel, int[], int[]) - Method in class de.rwth.swc.coffee4j.engine.conflict.explanation.NoConflictExplainer
getMinimalConflict(ChocoModel, int[], int[]) - Method in class de.rwth.swc.coffee4j.engine.conflict.explanation.QuickConflictExplainer: Finds a preferred explanation for an over-constrained CSP
getMinimalDiagnoses(InternalConflictSet) - Method in interface de.rwth.swc.coffee4j.engine.conflict.diagnosis.ConflictDiagnostician
getMinimalDiagnoses(InternalConflictSet) - Method in class de.rwth.swc.coffee4j.engine.conflict.diagnosis.ExhaustiveConflictDiagnostician
getMinimalDiagnoses(InternalConflictSet) - Method in class de.rwth.swc.coffee4j.engine.conflict.diagnosis.FastConflictDiagnostician
getMinimalDiagnoses(InternalConflictSet) - Method in class de.rwth.swc.coffee4j.engine.conflict.diagnosis.NoConflictDiagnostician
getMissingValues() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalMissingInvalidTuple
getMissingValues() - Method in class de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple
getModel() - Method in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm
getNegatedErrorConstraintId() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalMissingInvalidTuple
getNegatedErrorConstraintId() - Method in class de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple
getNumberOfParameters() - Method in class de.rwth.swc.coffee4j.engine.TestModel
getParameter() - Method in class de.rwth.swc.coffee4j.engine.report.ParameterArgument
getParameter() - Method in class de.rwth.swc.coffee4j.engine.report.ValueArgument
getParameterSizes() - Method in class de.rwth.swc.coffee4j.engine.TestModel
getRelaxable() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalConflictSet
getRelaxable() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalInconsistentBackground
getRelevantSubCombinations(int[]) - Method in class de.rwth.swc.coffee4j.engine.characterization.aifl.Aifl
getRelevantSubCombinations(int[]) - Method in class de.rwth.swc.coffee4j.engine.characterization.ben.Ben
getRelevantSubCombinations(int[]) - Method in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm: Defined which sub-combinations of any given combination can be part of the suspicious set.
getRemainingParameters(Int2IntMap, int) - Method in interface de.rwth.swc.coffee4j.engine.generator.ipog.ParameterOrder: The order of all remaining parameters.
getRemainingParameters(Int2IntMap, int) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.StrengthBasedParameterOrder
getReporter() - Method in class de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationConfiguration
getReporter() - Method in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm
getResolvableReport() - Method in class de.rwth.swc.coffee4j.engine.report.Report
getResolvedReport() - Method in class de.rwth.swc.coffee4j.engine.report.Report: Once this method has been called, the report will not be resolved again, so any changing arguments after a call to this method are not respected.
getResultFor(IntArrayWrapper) - Method in class de.rwth.swc.coffee4j.engine.manager.HashMapTestResultCache
getResultFor(IntArrayWrapper) - Method in interface de.rwth.swc.coffee4j.engine.manager.TestResultCache
getRootConflictSet() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSets
getRootConflictSet() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalDiagnosisSets
getSizeOfParameter(int) - Method in class de.rwth.swc.coffee4j.engine.TestModel
getStrength() - Method in class de.rwth.swc.coffee4j.engine.TestModel
getTestInputs() - Method in class de.rwth.swc.coffee4j.engine.generator.TestInputGroup
getTestModel() - Method in class de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationConfiguration
getTupleList() - Method in class de.rwth.swc.coffee4j.engine.constraint.Constraint
getTuples() - Method in class de.rwth.swc.coffee4j.engine.TupleList
getUncoveredCombination() - Method in interface de.rwth.swc.coffee4j.engine.generator.ipog.CoverageMap
getUncoveredCombination() - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.EfficientCoverageMap: Finds the next uncovered combination and returns it.
getValue() - Method in class de.rwth.swc.coffee4j.engine.report.ValueArgument

H

HardConstraintCheckerFactory - Class in de.rwth.swc.coffee4j.engine.constraint
HardConstraintCheckerFactory() - Constructor for class de.rwth.swc.coffee4j.engine.constraint.HardConstraintCheckerFactory
hashCode() - Method in class de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationConfiguration
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictElement
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictSet
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSet
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSets
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.InconsistentBackground
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalConflictSet
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalDiagnosisSets
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalInconsistentBackground
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalMissingInvalidTuple
hashCode() - Method in class de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple
hashCode() - Method in class de.rwth.swc.coffee4j.engine.constraint.Constraint
hashCode() - Method in class de.rwth.swc.coffee4j.engine.constraint.ConstraintList
hashCode() - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration
hashCode() - Method in class de.rwth.swc.coffee4j.engine.generator.TestInputGroup
hashCode() - Method in class de.rwth.swc.coffee4j.engine.manager.CombinatorialTestConfiguration
hashCode() - Method in class de.rwth.swc.coffee4j.engine.report.CombinationArgument
hashCode() - Method in class de.rwth.swc.coffee4j.engine.report.ParameterArgument
hashCode() - Method in class de.rwth.swc.coffee4j.engine.report.Report
hashCode() - Method in class de.rwth.swc.coffee4j.engine.report.ValueArgument
hashCode() - Method in class de.rwth.swc.coffee4j.engine.TestModel
hashCode() - Method in class de.rwth.swc.coffee4j.engine.TestResult
hashCode() - Method in class de.rwth.swc.coffee4j.engine.TupleList
hashCode() - Method in class de.rwth.swc.coffee4j.engine.util.IntArrayWrapper
HashMapTestResultCache - Class in de.rwth.swc.coffee4j.engine.manager: Stores test results is a hash map.
HashMapTestResultCache() - Constructor for class de.rwth.swc.coffee4j.engine.manager.HashMapTestResultCache
hasNegatedConstraint() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel

I

improvedDeltaDebugging() - Static method in class de.rwth.swc.coffee4j.engine.characterization.delta.ImprovedDeltaDebugging
ImprovedDeltaDebugging - Class in de.rwth.swc.coffee4j.engine.characterization.delta: An implementation of the Improved Delta Debugging algorithm as described in "Improved Delta Debugging Based on Combinatorial Testing".
ImprovedDeltaDebugging(FaultCharacterizationConfiguration) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.delta.ImprovedDeltaDebugging: Creates a new Improved Delta Debugging algorithm for the given configuration.
InconsistentBackground - Class in de.rwth.swc.coffee4j.engine.conflict
InconsistentBackground(List<ConflictElement>) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.InconsistentBackground
indexOf(int[], int) - Static method in class de.rwth.swc.coffee4j.engine.util.ArrayUtil
INFO - de.rwth.swc.coffee4j.engine.report.ReportLevel: Should be used for normal logging of things such as start/stop/configuration, but not everything.
IntArrayWrapper - Class in de.rwth.swc.coffee4j.engine.util: A wrapper class for integer arrays so that they can be used inside collections.
IntArrayWrapper(int[]) - Constructor for class de.rwth.swc.coffee4j.engine.util.IntArrayWrapper: Creates a new wrapper with the array.
InternalConflictSet - Class in de.rwth.swc.coffee4j.engine.conflict
InternalConflictSet(ChocoModel, int[], int[], int[]) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.InternalConflictSet
InternalDiagnosisSets - Class in de.rwth.swc.coffee4j.engine.conflict
InternalDiagnosisSets(InternalConflictSet, int[][]) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.InternalDiagnosisSets
InternalExplanation - Interface in de.rwth.swc.coffee4j.engine.conflict
InternalInconsistentBackground - Class in de.rwth.swc.coffee4j.engine.conflict
InternalInconsistentBackground(int[], int[]) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.InternalInconsistentBackground
InternalMissingInvalidTuple - Class in de.rwth.swc.coffee4j.engine.conflict
InternalMissingInvalidTuple(int, int[], int[], InternalExplanation) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.InternalMissingInvalidTuple
InternalUnknownExplanation - Class in de.rwth.swc.coffee4j.engine.conflict
InternalUnknownExplanation() - Constructor for class de.rwth.swc.coffee4j.engine.conflict.InternalUnknownExplanation
Ipog - Class in de.rwth.swc.coffee4j.engine.generator.ipog: Generator for one test group containing the test inputs generated with the IpogAlgorithm algorithm using no constraints and the normal parameter order with the strength given by the TestModel.
Ipog(ConstraintCheckerFactory) - Constructor for class de.rwth.swc.coffee4j.engine.generator.ipog.Ipog
IpogAlgorithm - Class in de.rwth.swc.coffee4j.engine.generator.ipog: An implementation of the popular IPOG algorithm.
IpogAlgorithm(IpogConfiguration) - Constructor for class de.rwth.swc.coffee4j.engine.generator.ipog.IpogAlgorithm: Creates a new algorithm for the given configuration.
ipogConfiguration() - Static method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration
IpogConfiguration - Class in de.rwth.swc.coffee4j.engine.generator.ipog: A class combining all information needed to construct a new instance of the IpogAlgorithm algorithm.
IpogConfiguration.Builder - Class in de.rwth.swc.coffee4j.engine.generator.ipog: A implementation of the Builder patter to create a new IpogConfiguration.
IpogNeg - Class in de.rwth.swc.coffee4j.engine.generator.ipogneg
IpogNeg(ConstraintCheckerFactory) - Constructor for class de.rwth.swc.coffee4j.engine.generator.ipogneg.IpogNeg
isAssignmentConstraintSet() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
isConflictDetectionEnabled() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
isConflictDiagnosisEnabled() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
isConflictExplanationEnabled() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
isDualValid(int[], int[]) - Method in interface de.rwth.swc.coffee4j.engine.constraint.ConstraintChecker
isDualValid(int[], int[]) - Method in class de.rwth.swc.coffee4j.engine.constraint.NoConstraintChecker
isExtensionValid(int[], int...) - Method in interface de.rwth.swc.coffee4j.engine.constraint.ConstraintChecker
isExtensionValid(int[], int...) - Method in class de.rwth.swc.coffee4j.engine.constraint.NoConstraintChecker
isMarkedAsCorrect() - Method in class de.rwth.swc.coffee4j.engine.TupleList
isSatisfiable() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
isSuccessful() - Method in class de.rwth.swc.coffee4j.engine.TestResult
isUnsuccessful() - Method in class de.rwth.swc.coffee4j.engine.TestResult
isValid(int[]) - Method in interface de.rwth.swc.coffee4j.engine.constraint.ConstraintChecker
isValid(int[]) - Method in class de.rwth.swc.coffee4j.engine.constraint.NoConstraintChecker
isWorseThanOrEqualTo(ReportLevel) - Method in enum de.rwth.swc.coffee4j.engine.report.ReportLevel: Checks if the level given to the method is higher than the own level, or at least equal.
iterAifl() - Static method in class de.rwth.swc.coffee4j.engine.characterization.aifl.IterationBasedIterAifl
iterAifl(int) - Static method in class de.rwth.swc.coffee4j.engine.characterization.aifl.IterationBasedIterAifl: Creates a factory which uses the given threshold to configuration the IterAIFL algorithm.
IterationBasedIterAifl - Class in de.rwth.swc.coffee4j.engine.characterization.aifl: Extension to the AIFL algorithm based on "Adaptive Interaction Fault Location Based on Combinatorial Testing".
IterationBasedIterAifl(FaultCharacterizationConfiguration) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.aifl.IterationBasedIterAifl: Creates a new IterAIFL algorithm based on the given configuration.
IterationBasedIterAifl(FaultCharacterizationConfiguration, int) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.aifl.IterationBasedIterAifl: Creates a new IterAIFL algorithm based on the given configuration.

M

markAsCovered(int[]) - Method in interface de.rwth.swc.coffee4j.engine.generator.ipog.CoverageMap
markAsCovered(int[]) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.EfficientCoverageMap: Marks all sub-combinations which can be mapped to one of the given parameter combinations given in the constructor as covered.
mayHaveUncoveredCombinations() - Method in interface de.rwth.swc.coffee4j.engine.generator.ipog.CoverageMap
mayHaveUncoveredCombinations() - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.EfficientCoverageMap
MissingInvalidTuple - Class in de.rwth.swc.coffee4j.engine.conflict
MissingInvalidTuple(int, int[], int[], ConflictExplanation) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple

N

NegatedConstraint - Class in de.rwth.swc.coffee4j.engine.constraint
NegatedConstraint(Constraint) - Constructor for class de.rwth.swc.coffee4j.engine.constraint.NegatedConstraint
NO_VALUE - Static variable in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: The value used to indicate that a parameter has not been assigned a value in a combination.
NoConflictDiagnostician - Class in de.rwth.swc.coffee4j.engine.conflict.diagnosis
NoConflictDiagnostician() - Constructor for class de.rwth.swc.coffee4j.engine.conflict.diagnosis.NoConflictDiagnostician
NoConflictExplainer - Class in de.rwth.swc.coffee4j.engine.conflict.explanation
NoConflictExplainer() - Constructor for class de.rwth.swc.coffee4j.engine.conflict.explanation.NoConflictExplainer
NoConstraintChecker - Class in de.rwth.swc.coffee4j.engine.constraint
NoConstraintChecker() - Constructor for class de.rwth.swc.coffee4j.engine.constraint.NoConstraintChecker
NoConstraintCheckerFactory - Class in de.rwth.swc.coffee4j.engine.constraint
NoConstraintCheckerFactory() - Constructor for class de.rwth.swc.coffee4j.engine.constraint.NoConstraintCheckerFactory
not(Predicate<T>) - Static method in class de.rwth.swc.coffee4j.engine.util.PredicateUtil: Negates the given predicate.
notNull(T) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks if the given object is null.
notNull(T, String) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks if the given object if null.
notNull(T, Supplier<String>) - Static method in class de.rwth.swc.coffee4j.engine.util.Preconditions: Checks if the given object is null.
numberOfSetParameters(int[]) - Static method in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: Calculates the number of parameters in the combinations not set to CombinationUtil.NO_VALUE.

O

order(ParameterOrder) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration.Builder

P

parameter(int) - Static method in class de.rwth.swc.coffee4j.engine.report.ParameterArgument
ParameterArgument - Class in de.rwth.swc.coffee4j.engine.report: Used to encapsulate a int as a parameter.
ParameterArgument(int) - Constructor for class de.rwth.swc.coffee4j.engine.report.ParameterArgument: Creates a new argument with the given parameter.
ParameterCombinationFactory - Interface in de.rwth.swc.coffee4j.engine.generator.ipog: An interface for a factory defining which combinations of parameters need to be tested.
ParameterOrder - Interface in de.rwth.swc.coffee4j.engine.generator.ipog: Defines the order in which parameters should be covered in IPOG.
Preconditions - Class in de.rwth.swc.coffee4j.engine.util: Preconditions which can be used to validate the argument passed to methods.
PredicateUtil - Class in de.rwth.swc.coffee4j.engine.util: Utilities used in context of java Predicate.
previousSuspiciousCombinations - Variable in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm

Q

QuickConflictExplainer - Class in de.rwth.swc.coffee4j.engine.conflict.explanation: Algorithm to find a minimal conflict for an over-constrained CSP
QuickConflictExplainer() - Constructor for class de.rwth.swc.coffee4j.engine.conflict.explanation.QuickConflictExplainer

R

ReduceBasedDiagnosisHittingSetBuilder - Class in de.rwth.swc.coffee4j.engine.conflict
ReduceBasedDiagnosisHittingSetBuilder(TestModel) - Constructor for class de.rwth.swc.coffee4j.engine.conflict.ReduceBasedDiagnosisHittingSetBuilder
report(ReportLevel, Report) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Reports the given Report at the specified level.
report(ReportLevel, Supplier<Report>) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: This method has the same intentions as Reporter.report(ReportLevel, Report), but a supplier is given.
report(String, Object...) - Static method in class de.rwth.swc.coffee4j.engine.report.Report
Report - Class in de.rwth.swc.coffee4j.engine.report: A report any algorithm inside the combinatorial test input generation can use to notify the user of events not covered by life cycle reporting.
Report(Report) - Constructor for class de.rwth.swc.coffee4j.engine.report.Report: Copy constructor.
Report(String, BiFunction<String, Object[], String>, Object...) - Constructor for class de.rwth.swc.coffee4j.engine.report.Report: Creates a new report based on a resolvable string.
reportDebug(Report) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Report) with the level ReportLevel.DEBUG and the given report.
reportDebug(Supplier<Report>) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Supplier) with the level ReportLevel.DEBUG and the given supplier.
reporter(Reporter) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration.Builder
Reporter - Interface in de.rwth.swc.coffee4j.engine.report: An interface defining a reporter which can be called by internal algorithms to notify the user of events not covered by an life cycle method in the GenerationReporter.
reportError(Report) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Report) with the level ReportLevel.ERROR and the given report.
reportError(Supplier<Report>) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Supplier) with the level ReportLevel.ERROR and the given supplier.
reportFatal(Report) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Report) with the level ReportLevel.FATAL and the given report.
reportFatal(Supplier<Report>) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Supplier) with the level ReportLevel.FATAL and the given supplier.
reportInfo(Report) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Report) with the level ReportLevel.INFO and the given report.
reportInfo(Supplier<Report>) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Supplier) with the level ReportLevel.INFO and the given supplier.
ReportLevel - Enum in de.rwth.swc.coffee4j.engine.report: Specifies an easy means to filter report content based on severity.
reportTrace(Report) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Report) with the level ReportLevel.TRACE and the given report.
reportTrace(Supplier<Report>) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Supplier) with the level ReportLevel.TRACE and the given supplier.
reportWarn(Report) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Report) with the level ReportLevel.WARN and the given report.
reportWarn(Supplier<Report>) - Method in interface de.rwth.swc.coffee4j.engine.report.Reporter: Calls Reporter.report(ReportLevel, Supplier) with the level ReportLevel.WARN and the given supplier.
reset() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
resetNegationOfConstraint() - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel

S

sameForAllGivenParameters(int[], int[], IntSet) - Static method in class de.rwth.swc.coffee4j.engine.util.CombinationUtil: Checks whether the two combinations have exactly the same value for each of the given parameters.
setAssignmentConstraint(int[], int[]) - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
setNegationOfConstraint(int) - Method in class de.rwth.swc.coffee4j.engine.conflict.choco.ChocoModel
shouldAbort() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
shouldGenerateFurtherTestInputs() - Method in class de.rwth.swc.coffee4j.engine.characterization.aifl.Aifl
shouldGenerateFurtherTestInputs() - Method in class de.rwth.swc.coffee4j.engine.characterization.aifl.IterationBasedIterAifl
shouldGenerateFurtherTestInputs() - Method in class de.rwth.swc.coffee4j.engine.characterization.ben.Ben
shouldGenerateFurtherTestInputs() - Method in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm
SoftConstraintCheckerFactory - Class in de.rwth.swc.coffee4j.engine.constraint
SoftConstraintCheckerFactory() - Constructor for class de.rwth.swc.coffee4j.engine.constraint.SoftConstraintCheckerFactory
StrengthBasedParameterOrder - Class in de.rwth.swc.coffee4j.engine.generator.ipog: A parameter order based on the normal parameter order and the testing strength.
StrengthBasedParameterOrder() - Constructor for class de.rwth.swc.coffee4j.engine.generator.ipog.StrengthBasedParameterOrder
success() - Static method in class de.rwth.swc.coffee4j.engine.TestResult: Descriptive convenience method for constructing a result for a successful test input.
SuspiciousCombinationAlgorithm - Class in de.rwth.swc.coffee4j.engine.characterization: A "helper" class for some fault characterization algorithms.
SuspiciousCombinationAlgorithm(FaultCharacterizationConfiguration) - Constructor for class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm
suspiciousCombinations - Variable in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm

T

TestInputGroup - Class in de.rwth.swc.coffee4j.engine.generator: Class which groups multiple test inputs for combinatorial testing together.
TestInputGroup(Object, Collection<int[]>) - Constructor for class de.rwth.swc.coffee4j.engine.generator.TestInputGroup: Creates a new group of combinatorial test inputs without a configuration for fault characterization via a FaultCharacterizationAlgorithm.
TestInputGroup(Object, Collection<int[]>, FaultCharacterizationConfiguration) - Constructor for class de.rwth.swc.coffee4j.engine.generator.TestInputGroup: Creates a new group of combinatorial test inputs.
testInputGroupFinished(TestInputGroup) - Method in interface de.rwth.swc.coffee4j.engine.report.GenerationReporter: Called if all operations for a TestInputGroup are finished.
testInputGroupGenerated(TestInputGroup, TestInputGroupGenerator) - Method in interface de.rwth.swc.coffee4j.engine.report.GenerationReporter: Called if a new TestInputGroup has been generated by a TestInputGroupGenerator.
TestInputGroupGenerator - Interface in de.rwth.swc.coffee4j.engine.generator: Interface for all algorithms which can generate combinatorial test inputs.
testModel(TestModel) - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration.Builder
TestModel - Class in de.rwth.swc.coffee4j.engine: A class containing all important information needed for one combinatorial test.
TestModel(int, int[], Collection<TupleList>, Collection<TupleList>) - Constructor for class de.rwth.swc.coffee4j.engine.TestModel
TestResult - Class in de.rwth.swc.coffee4j.engine: Specifies the result of a test.
TestResult() - Constructor for class de.rwth.swc.coffee4j.engine.TestResult: Creates a new result for a successful test.
TestResult(Throwable) - Constructor for class de.rwth.swc.coffee4j.engine.TestResult: Creates a new result for a successful test if the exception is null, or a failed test otherwise.
TestResultCache - Interface in de.rwth.swc.coffee4j.engine.manager: A cache for test results to reduce unnecessary execution time if the same test input results are requested multiple times.
testResults - Variable in class de.rwth.swc.coffee4j.engine.characterization.SuspiciousCombinationAlgorithm
toString() - Method in class de.rwth.swc.coffee4j.engine.characterization.FaultCharacterizationConfiguration
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictElement
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.ConflictSet
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSet
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.DiagnosisSets
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.InconsistentBackground
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalConflictSet
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalDiagnosisSets
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalInconsistentBackground
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.InternalMissingInvalidTuple
toString() - Method in class de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple
toString() - Method in class de.rwth.swc.coffee4j.engine.constraint.Constraint
toString() - Method in class de.rwth.swc.coffee4j.engine.constraint.ConstraintList
toString() - Method in class de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration
toString() - Method in class de.rwth.swc.coffee4j.engine.generator.TestInputGroup
toString() - Method in class de.rwth.swc.coffee4j.engine.manager.CombinatorialTestConfiguration
toString() - Method in class de.rwth.swc.coffee4j.engine.report.CombinationArgument
toString() - Method in class de.rwth.swc.coffee4j.engine.report.ParameterArgument
toString() - Method in class de.rwth.swc.coffee4j.engine.report.Report
toString() - Method in class de.rwth.swc.coffee4j.engine.report.ValueArgument
toString() - Method in class de.rwth.swc.coffee4j.engine.TestModel
toString() - Method in class de.rwth.swc.coffee4j.engine.TestResult
toString() - Method in class de.rwth.swc.coffee4j.engine.TupleList
toString() - Method in class de.rwth.swc.coffee4j.engine.util.IntArrayWrapper
TRACE - de.rwth.swc.coffee4j.engine.report.ReportLevel: Should be used if the report is only used for real in depth debugging by developers who know the code.
TupleList - Class in de.rwth.swc.coffee4j.engine: Class representing a constraint via storing all sub-combinations which are not allowed.
TupleList(int, int[], Collection<int[]>) - Constructor for class de.rwth.swc.coffee4j.engine.TupleList
TupleList(int, int[], Collection<int[]>, boolean) - Constructor for class de.rwth.swc.coffee4j.engine.TupleList: Creates a new tuple list out of a given id, the involved parameters, and a collection of tuples which should not be allowed.
tuplesAreEqual(int[], int[], int[], int[]) - Static method in class de.rwth.swc.coffee4j.engine.util.TupleUtil: Checks if two tuples are equal.
TupleUtil - Class in de.rwth.swc.coffee4j.engine.util: Utilities for tuples that are represented by two separate integer arrays.
TWiseParameterCombinationFactory - Class in de.rwth.swc.coffee4j.engine.generator.ipog: The "normal" strategy for covering all t-value-combinations for combinatorial test with testing strength t.
TWiseParameterCombinationFactory() - Constructor for class de.rwth.swc.coffee4j.engine.generator.ipog.TWiseParameterCombinationFactory

U

UnknownConflictExplanation - Class in de.rwth.swc.coffee4j.engine.conflict
UnknownConflictExplanation() - Constructor for class de.rwth.swc.coffee4j.engine.conflict.UnknownConflictExplanation

V

value(int, int) - Static method in class de.rwth.swc.coffee4j.engine.report.ValueArgument
ValueArgument - Class in de.rwth.swc.coffee4j.engine.report: Used to encapsulate two ints as a value for a parameter.
ValueArgument(int, int) - Constructor for class de.rwth.swc.coffee4j.engine.report.ValueArgument: Creates a new argument for the value uniquely defined by both ints.
valueOf(String) - Static method in enum de.rwth.swc.coffee4j.engine.report.ReportLevel: Returns the enum constant of this type with the specified name.
values() - Static method in enum de.rwth.swc.coffee4j.engine.report.ReportLevel: Returns an array containing the constants of this enum type, in the order they are declared.

W

WARN - de.rwth.swc.coffee4j.engine.report.ReportLevel: Should be used for things which could later likely cause failures or any very special reporting from level info which states a non-normal condition.
wrap(int[]) - Static method in class de.rwth.swc.coffee4j.engine.util.IntArrayWrapper: Convenience method for wrapping a int[] into a IntArrayWrapper.
wrapToList(Collection<int[]>) - Static method in class de.rwth.swc.coffee4j.engine.util.IntArrayWrapper: Convenience method for wrapping all int[] in a collection into a list.
wrapToSet(Collection<int[]>) - Static method in class de.rwth.swc.coffee4j.engine.util.IntArrayWrapper: Convenience method for wrapping all int[] in a collection into a set.

A B C D E F G H I M N O P Q R S T U V W
All Classes All Packages