Interface ClassificationStrategy

    • Method Detail

      • startClassification

        Optional<int[]> startClassification​(Map<int[],​Throwable> errorConstraintExceptionCausingTestInputs,
                                            List<int[]> exceptionInducingCombinationsToClassify,
                                            Set<int[]> possiblyFailureInducingCombinations)
        initializes the strategy.
        Parameters:
        errorConstraintExceptionCausingTestInputs - all test inputs that result in an ErrorConstraintException
        exceptionInducingCombinationsToClassify - all exception-inducing combinations that are found during generation
        possiblyFailureInducingCombinations - all possibly failure-inducing combinations that are found during generation
        Returns:
        all classified exception-inducing combinations. If a combination cannot be classified, it is classified as ErrorConstraintException.
      • generateNextTestInputForClassification

        Optional<int[]> generateNextTestInputForClassification​(int[] testInput,
                                                               TestResult result)
        Parameters:
        testInput - last executed test input
        result - result of last executed test input
        Returns:
        next test input to execute that is needed for classification
      • getClassifiedExceptionInducingCombinations

        Map<int[],​Class<? extends Throwable>> getClassifiedExceptionInducingCombinations()
        Returns:
        returns all classified exception-inducing combinations. ErrorConstraintException indicates that no classification is possible for the related combination