de.rwth.swc.coffee4j.engine.generator.ipog

Class StrengthBasedParameterOrder

java.lang.Object

de.rwth.swc.coffee4j.engine.generator.ipog.StrengthBasedParameterOrder

All Implemented Interfaces:

ParameterOrder

public class StrengthBasedParameterOrder
extends Object
implements ParameterOrder

A parameter order based on the normal parameter order and the testing strength. The initial parameters are the first t parameters if t is the testing strength, and all other parameters are returned separately. This means parameters 1, 2, 3, 4, 5 get split into initial 1, 2 and remaining 3, 4, 5 if testing strength = 2.

Constructor Summary

Constructors

Constructor and Description
StrengthBasedParameterOrder()

Method Summary

Modifier and Type	Method and Description
int[]	getInitialParameters(it.unimi.dsi.fastutil.ints.Int2IntMap parameters, int strength) All combinations which should be used in the first initial step of IPOG.
int[]	getRemainingParameters(it.unimi.dsi.fastutil.ints.Int2IntMap parameters, int strength) The order of all remaining parameters.

Methods inherited from class java.lang.Object

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

Constructor Detail

StrengthBasedParameterOrder

public StrengthBasedParameterOrder()

Method Detail

getInitialParameters

public int[] getInitialParameters(it.unimi.dsi.fastutil.ints.Int2IntMap parameters,
                                  int strength)

Description copied from interface: ParameterOrder

All combinations which should be used in the first initial step of IPOG. In this step the cartesian product of all returned parameters is calculated. This means that the strength may need to be considered.

Specified by:

getInitialParameters in interface ParameterOrder

Parameters:

parameters - the parameters and their sizes.

strength - with which the test suite should be calculated

Returns:

all parameters which should be constructed using the combinatorial product. This explicitly means that these parameters are always in oldParameters in a ParameterCombinationFactory

getRemainingParameters

public int[] getRemainingParameters(it.unimi.dsi.fastutil.ints.Int2IntMap parameters,
                                    int strength)

Description copied from interface: ParameterOrder

The order of all remaining parameters. The parameter which should be expanded in the first horizontal expansion should be at the first place in the array (index 0).

Specified by:

getRemainingParameters in interface ParameterOrder

Parameters:

parameters - the parameters and their sizes.

strength - with which the test suite should be calculated

Returns:

all parameters which were not already returned by ParameterOrder.getInitialParameters(Int2IntMap, int) and any order