Package de.rwth.swc.coffee4j.algorithmic.constraint

Class MinimalForbiddenTuplesChecker

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.constraint.ForbiddenTuplesChecker

de.rwth.swc.coffee4j.algorithmic.constraint.MinimalForbiddenTuplesChecker

All Implemented Interfaces:

ConstraintChecker

public class MinimalForbiddenTuplesChecker
extends ForbiddenTuplesChecker

Subclass of ForbiddenTuplesChecker implementing the general approach introduced in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples" by Yu et. al.

Constructor Summary

Constructors

Constructor	Description
MinimalForbiddenTuplesChecker(ForbiddenTuplesChecker checker)	Copy constructor.
MinimalForbiddenTuplesChecker(CompleteTestModel model)

Method Summary

Modifier and Type	Method	Description
void	addConstraint(int[] forbiddenTuple)
protected void	generateMinimalForbiddenTupleSet()	template method that can be implemented to provide the general approach depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples".
protected void	generateNecessaryForbiddenTupleSet(int[] combination)	template method that can be used to provide the on-demand approach depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples".
static MinimalForbiddenTuplesCheckerFactory	minimalForbiddenTuplesChecker()

Methods inherited from class de.rwth.swc.coffee4j.algorithmic.constraint.ForbiddenTuplesChecker

getInitialForbiddenTuples, getMinimalForbiddenTuples, isDualValid, isExtensionValid, isValid

Methods inherited from class java.lang.Object

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

Constructor Detail

MinimalForbiddenTuplesChecker

public MinimalForbiddenTuplesChecker(CompleteTestModel model)

Parameters:

model - test model to create a ConstraintChecker for.

MinimalForbiddenTuplesChecker

public MinimalForbiddenTuplesChecker(ForbiddenTuplesChecker checker)

Copy constructor.

Parameters:

checker - ForbiddenTuplesChecker to copy.

Method Detail

minimalForbiddenTuplesChecker

public static MinimalForbiddenTuplesCheckerFactory minimalForbiddenTuplesChecker()

Returns:

returns factory for creating MinimalForbiddenTuplesChecker.

generateMinimalForbiddenTupleSet

protected void generateMinimalForbiddenTupleSet()

Description copied from class: ForbiddenTuplesChecker

template method that can be implemented to provide the general approach depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples".

Specified by:

generateMinimalForbiddenTupleSet in class ForbiddenTuplesChecker

generateNecessaryForbiddenTupleSet

protected void generateNecessaryForbiddenTupleSet(int[] combination)

Description copied from class: ForbiddenTuplesChecker

template method that can be used to provide the on-demand approach depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples".

Specified by:

generateNecessaryForbiddenTupleSet in class ForbiddenTuplesChecker

Parameters:

combination - combination for which the set of minimal forbidden tuples is created.

addConstraint

public void addConstraint(int[] forbiddenTuple)