Interface FeedbackCheckingStrategy

  • All Known Implementing Classes:
    DefaultFeedbackCheckingStrategy

    public interface FeedbackCheckingStrategy
    Interface that each feedback-checking strategy used by interleaving CT must implement.
    • Method Detail

      • startFeedbackChecking

        Optional<int[]> startFeedbackChecking​(int[] candidate,
                                              int[] failingTestInput)
        Parameters:
        candidate - possibly exception/failure-inducing combination to check
        failingTestInput - 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 input
        testResult - 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.