Package de.rwth.swc.coffee4j.engine.process.report.interleaving

Class LoggingInterleavingExecutionReporterForGeneration

java.lang.Object

de.rwth.swc.coffee4j.engine.process.report.interleaving.LoggingInterleavingExecutionReporterForGeneration

All Implemented Interfaces:

ExecutionReporter, InterleavingExecutionReporter

Direct Known Subclasses:

LoggingInterleavingExecutionReporterForGenerationJava

public class LoggingInterleavingExecutionReporterForGeneration
extends Object
implements InterleavingExecutionReporter

Reporter for interleaving combinatorial testing and Constraint Generation using a logger

Field Summary

Fields

Modifier and Type	Field	Description
protected CombinationFormatter	formatter
protected org.slf4j.Logger	logger

Constructor Summary

Constructors

Constructor	Description
LoggingInterleavingExecutionReporterForGeneration()

Method Summary

Modifier and Type	Method	Description
void	checkingFinished(InterleavingCombinatorialTestGroup group, Combination combinationToCheck, boolean passed)	Called when the checking phase for a combination has finished.
void	checkingStarted(InterleavingCombinatorialTestGroup group, Combination combinationToCheck)	Called when the checking phase for a combination has started.
void	identificationFinished(InterleavingCombinatorialTestGroup group, Set<Combination> exceptionInducingCombinations, Set<Combination> possiblyFailureInducingCombinations)	Called when the identification phase for a failing test input has finished.
void	identificationStarted(InterleavingCombinatorialTestGroup group, Combination failingTestInput)	Called when the identification phase for a failing test input has started.
void	identificationTestInputGenerated(InterleavingCombinatorialTestGroup group, Combination testInput)	Called when a new test input was generated during identification phase.
void	interleavingGroupFinished(InterleavingCombinatorialTestGroup group, Map<Combination,Class<? extends Throwable>> exceptionInducingCombinations, Set<Combination> possiblyFailureInducingCombinations)	Called when the interleaving combinatorial testing has finished.
void	interleavingGroupGenerated(InterleavingCombinatorialTestGroup group)	Called when a new InterleavingCombinatorialTestGroup has been generated by an InterleavingCombinatorialTestManager.
void	testInputExecutionFinished(Combination testInput, TestResult result)	Indicates the end of a test input execution.
void	testInputExecutionStarted(Combination testInput)	Indicates the start of a test input execution.

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.engine.report.ExecutionReporter

getReportLevel, modelModified, report

Field Detail

logger

protected final org.slf4j.Logger logger

formatter

protected CombinationFormatter formatter

Constructor Detail

LoggingInterleavingExecutionReporterForGeneration

public LoggingInterleavingExecutionReporterForGeneration()

Method Detail

interleavingGroupGenerated

public void interleavingGroupGenerated(InterleavingCombinatorialTestGroup group)

Description copied from interface: InterleavingExecutionReporter

Called when a new InterleavingCombinatorialTestGroup has been generated by an InterleavingCombinatorialTestManager.

Specified by:

interleavingGroupGenerated in interface InterleavingExecutionReporter

Parameters:

group - stores all important information for the execution of interleaving combinatorial testing.

interleavingGroupFinished

public void interleavingGroupFinished(InterleavingCombinatorialTestGroup group,
                                      Map<Combination,Class<? extends Throwable>> exceptionInducingCombinations,
                                      Set<Combination> possiblyFailureInducingCombinations)

Description copied from interface: InterleavingExecutionReporter

Called when the interleaving combinatorial testing has finished.

Specified by:

interleavingGroupFinished in interface InterleavingExecutionReporter

Parameters:

group - stores all important information for the execution of interleaving combinatorial testing.

exceptionInducingCombinations - combinations that need to be modelled as error-constraints.

possiblyFailureInducingCombinations - combinations that trigger faults in the SUT.

identificationStarted

public void identificationStarted(InterleavingCombinatorialTestGroup group,
                                  Combination failingTestInput)

Description copied from interface: InterleavingExecutionReporter

Called when the identification phase for a failing test input has started.

Specified by:

identificationStarted in interface InterleavingExecutionReporter

Parameters:

group - stores all important information for the execution of interleaving combinatorial testing.

failingTestInput - test input for which the failure-inducing/error-combinations should be identified.

identificationFinished

public void identificationFinished(InterleavingCombinatorialTestGroup group,
                                   Set<Combination> exceptionInducingCombinations,
                                   Set<Combination> possiblyFailureInducingCombinations)

Description copied from interface: InterleavingExecutionReporter

Called when the identification phase for a failing test input has finished.

Specified by:

identificationFinished in interface InterleavingExecutionReporter

Parameters:

group - stores all important information for the execution of interleaving combinatorial testing.

exceptionInducingCombinations - all found combinations that must be modeled as error-constraints.

possiblyFailureInducingCombinations - all found (possibly) failure-inducing combinations causing the test input to fail.

identificationTestInputGenerated

public void identificationTestInputGenerated(InterleavingCombinatorialTestGroup group,
                                             Combination testInput)

Description copied from interface: InterleavingExecutionReporter

Called when a new test input was generated during identification phase.

Specified by:

identificationTestInputGenerated in interface InterleavingExecutionReporter

Parameters:

group - stores all important information for the execution of interleaving combinatorial testing.

testInput - the newly generated test input.

checkingStarted

public void checkingStarted(InterleavingCombinatorialTestGroup group,
                            Combination combinationToCheck)

Description copied from interface: InterleavingExecutionReporter

Called when the checking phase for a combination has started.

Specified by:

checkingStarted in interface InterleavingExecutionReporter

Parameters:

group - stores all important information for the execution of interleaving combinatorial testing.

combinationToCheck - the combination to be checked.

checkingFinished

public void checkingFinished(InterleavingCombinatorialTestGroup group,
                             Combination combinationToCheck,
                             boolean passed)

Description copied from interface: InterleavingExecutionReporter

Called when the checking phase for a combination has finished.

Specified by:

checkingFinished in interface InterleavingExecutionReporter

Parameters:

group - stores all important information for the execution of interleaving combinatorial testing.

combinationToCheck - the combination that has been checked.

passed - true iff combination is (most-likely) an error-combination/failure-inducing combination.

testInputExecutionStarted

public void testInputExecutionStarted(Combination testInput)

Description copied from interface: ExecutionReporter

Indicates the start of a test input execution.

Specified by:

testInputExecutionStarted in interface ExecutionReporter

Parameters:

testInput - the started test input

testInputExecutionFinished

public void testInputExecutionFinished(Combination testInput,
                                       TestResult result)

Description copied from interface: ExecutionReporter

Indicates the end of a test input execution.

Specified by:

testInputExecutionFinished in interface ExecutionReporter

Parameters:

testInput - the finished test input

result - the result of the test input