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

Class DefaultGeneratingInterleavingManager

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.interleaving.manager.AbstractGeneratingInterleavingManager

de.rwth.swc.coffee4j.algorithmic.interleaving.manager.DefaultGeneratingInterleavingManager

All Implemented Interfaces:

GeneratingInterleavingCombinatorialTestManager, InterleavingCombinatorialTestManager

public class DefaultGeneratingInterleavingManager
extends AbstractGeneratingInterleavingManager

Default implementation of the interface GeneratingInterleavingCombinatorialTestManager.

Field Summary

Fields

Modifier and Type	Field	Description
protected ConstraintChecker	checker
protected List<int[]>	combinationsToCheck
protected CoverageMap	coverageMap
protected Phase	currentPhase
protected Set<int[]>	failureInducingCombinations
protected Set<int[]>	failureInducingCombinationsToCheck
protected IdentificationStrategy	identificationStrategy
protected InterleavingGenerationReporter	reporter
protected InterleavingCombinatorialTestGroup	testGroup
protected TestInputGenerationStrategy	testInputGenerationStrategy
protected boolean	testInputHasFailed

Fields inherited from class de.rwth.swc.coffee4j.algorithmic.interleaving.manager.AbstractGeneratingInterleavingManager

minimalExceptionInducingCombinations, minimalExceptionInducingCombinationsToCheck

Method Summary

Modifier and Type	Method	Description
boolean	combinationIdentified()
protected void	determineCombinationsToBeChecked()	Add all types of combinations to combinationsToCheck.
protected Optional<int[]>	generateNextTestInputForFeedbackChecking(int[] testInput, TestResult result)	Method used when a new test input is needed during Feedback-Checking-Phase.
protected Optional<int[]>	generateNextTestInputForIdentification(int[] testInput, TestResult result)	Method used when a new test input is needed during Identification-Phase.
Optional<int[]>	initializeFeedbackChecking()	initialize feedback-checking phase.
Optional<int[]>	initializeIdentification(int[] testInput, TestResult result)	initialize identification phase for a failing test input.
static GeneratingInterleavingManagerFactory	managerFactory()
protected boolean	noCombinationsToBeCheckedPresent()
Optional<int[]>	reinitializeIdentification()	reinitialize identification phase if feedback-checking phase was not successful.
protected void	resetCombinationsToBeChecked()	Clear the set of combinations for all types of combinations that need to be checked.
protected void	terminateIdentification()	split found combinations into different sets.
protected void	terminateInterleavingGroup()	Called when all t-tuples are covered.
protected void	updateCoverage()	Call updateCoverageAfterFailureInducingCombinationIsIdentified(Set) for each type of combination.
void	updateCoverage(int[] combination)	updates the coverage map for a given (passing) test input

Methods inherited from class de.rwth.swc.coffee4j.algorithmic.interleaving.manager.AbstractGeneratingInterleavingManager

generateNextTestInput, generateNextTestInput, getMinimalExceptionInducingCombinations, initializeClassification, postProcessExceptionInducingCombinations

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.interleaving.manager.InterleavingCombinatorialTestManager

combinationIdentified, initializeFeedbackChecking, initializeIdentification, reinitializeIdentification, updateCoverage

Field Detail

reporter

protected final InterleavingGenerationReporter reporter

coverageMap

protected final CoverageMap coverageMap

checker

protected final ConstraintChecker checker

testInputGenerationStrategy

protected final TestInputGenerationStrategy testInputGenerationStrategy

identificationStrategy

protected final IdentificationStrategy identificationStrategy

testGroup

protected final InterleavingCombinatorialTestGroup testGroup

failureInducingCombinationsToCheck

protected Set<int[]> failureInducingCombinationsToCheck

failureInducingCombinations

protected final Set<int[]> failureInducingCombinations

combinationsToCheck

protected final List<int[]> combinationsToCheck

currentPhase

protected Phase currentPhase

testInputHasFailed

protected boolean testInputHasFailed

Method Detail

terminateInterleavingGroup

protected void terminateInterleavingGroup()

Called when all t-tuples are covered. Post-processing possible. At least reporter.interleavingGroupFinished must be called.

terminateIdentification

protected void terminateIdentification()

split found combinations into different sets. At least failureInducingCombinationsToCheck must be filled and reporter.identificationFinished must be called.

resetCombinationsToBeChecked

protected void resetCombinationsToBeChecked()

Clear the set of combinations for all types of combinations that need to be checked. At least failureInducingCombinationsToCheck must be reset.

noCombinationsToBeCheckedPresent

protected boolean noCombinationsToBeCheckedPresent()

Returns:

true iff no combinations to check are available.

determineCombinationsToBeChecked

protected void determineCombinationsToBeChecked()

Add all types of combinations to combinationsToCheck. At least failureInducingCombinationsToCheck must be added.

updateCoverage

protected void updateCoverage()

Call updateCoverageAfterFailureInducingCombinationIsIdentified(Set) for each type of combination. At least failureInducingCombinationsToCheck must be used to update.

managerFactory

public static GeneratingInterleavingManagerFactory managerFactory()

Returns:

returns an GeneratingInterleavingManagerFactory to create this class.

initializeIdentification

public Optional<int[]> initializeIdentification(int[] testInput,
                                                TestResult result)

Description copied from interface: InterleavingCombinatorialTestManager

initialize identification phase for a failing test input.

Specified by:

initializeIdentification in interface InterleavingCombinatorialTestManager

Parameters:

testInput - failing test input to find exception/failure-inducing combination for.

result - TestResult of the failing test case containing information needed to decide whether it is failure- or exception-inducing

Returns:

first test input needed for identification.

reinitializeIdentification

public Optional<int[]> reinitializeIdentification()

Description copied from interface: InterleavingCombinatorialTestManager

reinitialize identification phase if feedback-checking phase was not successful.

Specified by:

reinitializeIdentification in interface InterleavingCombinatorialTestManager

Returns:

first test input needed for identification.

initializeFeedbackChecking

public Optional<int[]> initializeFeedbackChecking()

Description copied from interface: InterleavingCombinatorialTestManager

initialize feedback-checking phase.

Specified by:

initializeFeedbackChecking in interface InterleavingCombinatorialTestManager

Returns:

first test input needed for identification.

updateCoverage

public void updateCoverage(int[] combination)

Description copied from interface: InterleavingCombinatorialTestManager

updates the coverage map for a given (passing) test input

Specified by:

updateCoverage in interface InterleavingCombinatorialTestManager

Parameters:

combination - to update coverage map for

combinationIdentified

public boolean combinationIdentified()

Specified by:

combinationIdentified in interface InterleavingCombinatorialTestManager

Returns:

true iff currently checked combination is most likely exception/failure-inducing

generateNextTestInputForIdentification

protected Optional<int[]> generateNextTestInputForIdentification(int[] testInput,
                                                                 TestResult result)

Method used when a new test input is needed during Identification-Phase.

Parameters:

testInput - previously executed test input.

result - result of previously executed test input.

Returns:

next test input. Null, if possibly failure-inducing combination is identified.

generateNextTestInputForFeedbackChecking

protected Optional<int[]> generateNextTestInputForFeedbackChecking(int[] testInput,
                                                                   TestResult result)

Method used when a new test input is needed during Feedback-Checking-Phase.

Parameters:

testInput - previously executed test input.

result - result of previously executed test input.

Returns:

next test input. Null, if maximum number of checks is executed or combination is not failure-inducing.