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

Interface InterleavingCombinatorialTestManager

All Known Subinterfaces:

GeneratingInterleavingCombinatorialTestManager

All Known Implementing Classes:

AbstractGeneratingInterleavingManager, DefaultGeneratingInterleavingManager, DefaultInterleavingManager

public interface InterleavingCombinatorialTestManager

Interface that each InterleavingCombinatorialTestManager for interleaving CT must implement.

Method Summary

Modifier and Type	Method	Description
boolean	combinationIdentified()
Optional<int[]>	generateNextTestInput(int[] testInput, TestResult result)
Optional<int[]>	initializeFeedbackChecking()	initialize feedback-checking phase.
Optional<int[]>	initializeIdentification(int[] testInput, TestResult result)	initialize identification phase for a failing test input.
Optional<int[]>	reinitializeIdentification()	reinitialize identification phase if feedback-checking phase was not successful.
void	updateCoverage(int[] combination)	updates the coverage map for a given (passing) test input

Method Detail

generateNextTestInput

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

Parameters:

testInput - previously executed test input. Null if called for the first time.

result - result of previously executed test input. Null if called for the first time.

Returns:

next test input needed for the current phase. Empty Optional, if

• all t-tuples covered,
• or possibly exception/failure-inducing combination is identified,
• or feedback-checking finished.

initializeIdentification

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

initialize identification phase for a failing test input.

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

Optional<int[]> reinitializeIdentification()

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

Returns:

first test input needed for identification.

initializeFeedbackChecking

Optional<int[]> initializeFeedbackChecking()

initialize feedback-checking phase.

Returns:

first test input needed for identification.

updateCoverage

void updateCoverage(int[] combination)

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

Parameters:

combination - to update coverage map for

combinationIdentified

boolean combinationIdentified()

Returns:

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