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

Class CheckingPhase

java.lang.Object

de.rwth.swc.coffee4j.engine.process.phase.AbstractPhase<InterleavingGenerationContext,Map<Combination,TestResult>,Combination>

de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking.CheckingPhase

All Implemented Interfaces:

Phase<Map<Combination,TestResult>,Combination>

public class CheckingPhase
extends AbstractPhase<InterleavingGenerationContext,Map<Combination,TestResult>,Combination>

Field Summary

Fields inherited from class de.rwth.swc.coffee4j.engine.process.phase.AbstractPhase

context

Constructor Summary

Constructors

Constructor	Description
CheckingPhase(InterleavingGenerationContext context)

Method Summary

Modifier and Type	Method	Description
Combination	execute(Map<Combination,TestResult> previouslyExecutedTests)	Executes the phase.
boolean	failureInducingCombinationsFound()
Combination	initialize()	initialize checking phase with possibly failure-inducing combination

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CheckingPhase

public CheckingPhase(InterleavingGenerationContext context)

Method Detail

failureInducingCombinationsFound

public boolean failureInducingCombinationsFound()

Returns:

true iff checked combination is failure-inducing.

initialize

public Combination initialize()

initialize checking phase with possibly failure-inducing combination

Returns:

first test input to test for feedback checking. Null, if no input can be generated.

execute

public Combination execute(Map<Combination,TestResult> previouslyExecutedTests)

Description copied from interface: Phase

Executes the phase. Transform some input int some output

Parameters:

previouslyExecutedTests - the input of the phase

Returns:

the output of the phase