Interface FeedbackCheckingStrategy
-
- All Known Implementing Classes:
DefaultFeedbackCheckingStrategy
public interface FeedbackCheckingStrategy
Interface that each feedback-checking strategy used by interleaving CT must implement.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Optional<int[]>
generateNextTestInputForChecking(int[] testInput, TestResult testResult)
Optional<int[]>
startFeedbackChecking(int[] candidate, int[] failingTestInput)
-
-
-
Method Detail
-
startFeedbackChecking
Optional<int[]> startFeedbackChecking(int[] candidate, int[] failingTestInput)
- Parameters:
candidate
- possibly exception/failure-inducing combination to checkfailingTestInput
- test input that contains possibly exception/failure-inducing combination- Returns:
- first test input used for checking possibly exception/failure-inducing combination (if present, otherwise empty Optional)
-
generateNextTestInputForChecking
Optional<int[]> generateNextTestInputForChecking(int[] testInput, TestResult testResult)
- Parameters:
testInput
- previously executed test inputtestResult
- result of previously executed test input- Returns:
- next test input that is most dissimilar from previously generated tests in checking phase. Empty optional, if maximal number of feedback checks is reached or previously executed test input passed which means that combination is not failure-inducing.
-
-