Package de.rwth.swc.coffee4j.algorithmic.interleaving.util

Class OptimalValue

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.interleaving.util.OptimalValue

public final class OptimalValue
extends Object

Utility class for generating test inputs used by TestInputGenerationStrategy or IdentificationStrategy

Constructor Summary

Constructors

Constructor	Description
OptimalValue()

Method Summary

Modifier and Type	Method	Description
Optional<ParameterValuePair>	forParameter(int parameter, int numberOfValues, it.unimi.dsi.fastutil.ints.IntSet forbiddenValues, int[] testInput, CoverageMap coverageMap, ConstraintChecker checker)
static Optional<ParameterValuePair>	mostDissimilarForParameter(int parameter, int numberOfValues, int[] testInput, List<int[]> executedTestInputs, ConstraintChecker checker)
static Optional<ParameterValuePair>	valueForParameter(int parameter, int numberOfValues, int[] testInput, Set<it.unimi.dsi.fastutil.ints.IntList> executedTestInputs, ConstraintChecker checker)

Methods inherited from class java.lang.Object

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

Constructor Detail

OptimalValue

public OptimalValue()

Method Detail

forParameter

public Optional<ParameterValuePair> forParameter(int parameter,
                                                 int numberOfValues,
                                                 it.unimi.dsi.fastutil.ints.IntSet forbiddenValues,
                                                 int[] testInput,
                                                 CoverageMap coverageMap,
                                                 ConstraintChecker checker)

Parameters:

parameter - parameter to find an optimal value for

numberOfValues - number of possible values the given parameter can take

forbiddenValues - values that must not be assigned to the parameter

testInput - partial test input generated so far and which needs to be extended

coverageMap - containing all uncovered combinations

checker - Constraint Checker to ensure that assigned value is valid in given test input

Returns:

valid value for given parameter covering most uncovered t-tuples

mostDissimilarForParameter

public static Optional<ParameterValuePair> mostDissimilarForParameter(int parameter,
                                                                      int numberOfValues,
                                                                      int[] testInput,
                                                                      List<int[]> executedTestInputs,
                                                                      ConstraintChecker checker)

Parameters:

parameter - parameter to find a valid value for

numberOfValues - number of possible values the given parameter can take

testInput - partial test input generated so far and which needs to be extended

executedTestInputs - all test inputs generated and executed so far. Next test inputs must be as different as possible

checker - Constraint checker to ensure that assigned value is valid in given test input

Returns:

valid value for given parameter that is most dissimilar to already executed test inputs

valueForParameter

public static Optional<ParameterValuePair> valueForParameter(int parameter,
                                                             int numberOfValues,
                                                             int[] testInput,
                                                             Set<it.unimi.dsi.fastutil.ints.IntList> executedTestInputs,
                                                             ConstraintChecker checker)

Parameters:

parameter - parameter to find a value for

numberOfValues - number of possible values the given parameter can take

testInput - partial test input generated so far and which needs to be extended

executedTestInputs - all test inputs generated and executed so far. Next test inputs must not represent sub- combinations of them.

checker - Constraint checker to ensure that assigned value is valid in given test input.

Returns:

valid value extending the given partial test input for the given parameter.