Package de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation

Class InterleavingExecutionReporterToGenerationReporterAdapter

java.lang.Object

de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation.InterleavingExecutionReporterToGenerationReporterAdapter

All Implemented Interfaces:

InterleavingGenerationReporter, Reporter

public class InterleavingExecutionReporterToGenerationReporterAdapter
extends Object
implements InterleavingGenerationReporter

Interleaving version of SequentialExecutionReporterToGenerationReporterAdapter

Constructor Summary

Constructors

Constructor	Description
InterleavingExecutionReporterToGenerationReporterAdapter(InterleavingExecutionReporter reporter, ArgumentConverter argumentConverter, ModelConverter converter)

Method Summary

Modifier and Type	Method	Description
void	checkingFinished(InterleavingCombinatorialTestGroup group, int[] failureInducingCombination, boolean isFailureInducing)	called if the feedback-checking-phase finished.
void	checkingStarted(InterleavingCombinatorialTestGroup group, int[] failureInducingCombination)	called if the feedback-checking-phase started.
void	identificationFinished(InterleavingCombinatorialTestGroup group, Set<int[]> exceptionInducingCombinations, Set<int[]> failureInducingCombinations)	called if the identification phase ended for a failing test input.
void	identificationStarted(InterleavingCombinatorialTestGroup group, int[] failingTestInput)	called if the identification phase started for a failing test input.
void	identificationTestInputGenerated(InterleavingCombinatorialTestGroup group, int[] testInput)	called if a new test input was generated during identification phase.
void	interleavingGroupFinished(InterleavingCombinatorialTestGroup group, Map<int[],Class<? extends Throwable>> exceptionInducingCombinations, Set<int[]> possibleFailureInducingCombinations)	called if Interleaving Combinatorial Testing finished for a InterleavingCombinatorialTestGroup.
void	interleavingGroupGenerated(InterleavingCombinatorialTestGroup group)	called if a InterleavingCombinatorialTestGroup has been generated and the Interleaving Combinatorial Testing started.
void	report(ReportLevel level, Report report)	Reports the given Report at the specified level.
void	report(ReportLevel level, Supplier<Report> reportSupplier)	This method has the same intentions as Reporter.report(ReportLevel, Report), but a supplier is given.

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.report.Reporter

reportAssumptionSatisfaction, reportAssumptionViolation, reportDebug, reportDebug, reportError, reportError, reportFatal, reportFatal, reportInfo, reportInfo, reportTrace, reportTrace, reportWarn, reportWarn

Constructor Detail

InterleavingExecutionReporterToGenerationReporterAdapter

public InterleavingExecutionReporterToGenerationReporterAdapter(InterleavingExecutionReporter reporter,
                                                                ArgumentConverter argumentConverter,
                                                                ModelConverter converter)

Parameters:

reporter - execution reporter to use.

argumentConverter - argument converter used to convert between internal and external representation.

converter - converter used to convert combinations from internal into the external format and vice versa.

Method Detail

report

public void report(ReportLevel level,
                   Report report)

Description copied from interface: Reporter

Reports the given Report at the specified level. The levels are used so that any Reporter may filter information it wishes to receive.

Specified by:

report in interface Reporter

Parameters:

level - the of the report. Must not be null

report - the report itself. Must not be null

report

public void report(ReportLevel level,
                   Supplier<Report> reportSupplier)

Description copied from interface: Reporter

This method has the same intentions as Reporter.report(ReportLevel, Report), but a supplier is given. If any big calculations need to be performed for a Report generation this method can be used to guarantee lazy de.rwth.swc.coffee4j.evaluation only if a Reporter is really interested in the report of the given level.

Specified by:

report in interface Reporter

Parameters:

level - the of the report. Must not be null

reportSupplier - a supplier which can compute the real report. It and the returned Report must not be null

interleavingGroupGenerated

public void interleavingGroupGenerated(InterleavingCombinatorialTestGroup group)

Description copied from interface: InterleavingGenerationReporter

called if a InterleavingCombinatorialTestGroup has been generated and the Interleaving Combinatorial Testing started.

Specified by:

interleavingGroupGenerated in interface InterleavingGenerationReporter

Parameters:

group - group which was generated

interleavingGroupFinished

public void interleavingGroupFinished(InterleavingCombinatorialTestGroup group,
                                      Map<int[],Class<? extends Throwable>> exceptionInducingCombinations,
                                      Set<int[]> possibleFailureInducingCombinations)

Description copied from interface: InterleavingGenerationReporter

called if Interleaving Combinatorial Testing finished for a InterleavingCombinatorialTestGroup.

Specified by:

interleavingGroupFinished in interface InterleavingGenerationReporter

Parameters:

group - group which has been finished

exceptionInducingCombinations - all error-combinations that were found together with their type of exception.

possibleFailureInducingCombinations - all possibly failure inducing combinations that were found.

identificationStarted

public void identificationStarted(InterleavingCombinatorialTestGroup group,
                                  int[] failingTestInput)

Description copied from interface: InterleavingGenerationReporter

called if the identification phase started for a failing test input.

Specified by:

identificationStarted in interface InterleavingGenerationReporter

Parameters:

group - group for which the identification phase started.

failingTestInput - test input for which the identification was started.

identificationFinished

public void identificationFinished(InterleavingCombinatorialTestGroup group,
                                   Set<int[]> exceptionInducingCombinations,
                                   Set<int[]> failureInducingCombinations)

Description copied from interface: InterleavingGenerationReporter

called if the identification phase ended for a failing test input.

Specified by:

identificationFinished in interface InterleavingGenerationReporter

Parameters:

group - group for which the identification phase was started.

exceptionInducingCombinations - all error-combinations that were found during the identification phase.

failureInducingCombinations - all possibly failure-inducing combinations that were found during the identification phase.

identificationTestInputGenerated

public void identificationTestInputGenerated(InterleavingCombinatorialTestGroup group,
                                             int[] testInput)

Description copied from interface: InterleavingGenerationReporter

called if a new test input was generated during identification phase.

Specified by:

identificationTestInputGenerated in interface InterleavingGenerationReporter

Parameters:

group - group for which the identification phase is started.

testInput - test inputs that was generated.

checkingStarted

public void checkingStarted(InterleavingCombinatorialTestGroup group,
                            int[] failureInducingCombination)

Description copied from interface: InterleavingGenerationReporter

called if the feedback-checking-phase started.

Specified by:

checkingStarted in interface InterleavingGenerationReporter

Parameters:

group - group for which the feedback-checking-phase is started.

failureInducingCombination - the possibly failure-inducing combination that is checked.

checkingFinished

public void checkingFinished(InterleavingCombinatorialTestGroup group,
                             int[] failureInducingCombination,
                             boolean isFailureInducing)

Description copied from interface: InterleavingGenerationReporter

called if the feedback-checking-phase finished.

Specified by:

checkingFinished in interface InterleavingGenerationReporter

Parameters:

group - group for which the feedback-checking-phase has benn started.

failureInducingCombination - the possibly failure-inducing combination that has been checked.

isFailureInducing - true iff the checked combination is failure-inducing.