Class EmptySetGenerator
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.sequential.generator.emptyset.EmptySetGenerator
-
- All Implemented Interfaces:
TestInputGroupGenerator
public class EmptySetGenerator extends Object implements TestInputGroupGenerator
Generator that returns an empty test group that can be used by interleaving Fault Characterization Algorithms.
-
-
Constructor Summary
Constructors Constructor Description EmptySetGenerator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Collection<Supplier<TestInputGroup>>generate(CompleteTestModel model, Reporter reporter)Generates a arbitrary number ofTestInputGroupinstances.
-
-
-
Method Detail
-
generate
public Collection<Supplier<TestInputGroup>> generate(CompleteTestModel model, Reporter reporter)
Description copied from interface:TestInputGroupGeneratorGenerates a arbitrary number ofTestInputGroupinstances. Each group should be individual in itsFaultCharacterizationConfiguration. This means that test inputs with the same input parameter testModel and constraints checker should also be in the same test group as this makes the process of fault characterization easier. If further parameters than theCompleteTestModelneed to be used, provide constructor with which they can be set.- Specified by:
generatein interfaceTestInputGroupGenerator- Parameters:
model- the complete testModel with which the test input groups should be constructed. Must not benullreporter- to report information from inside the generation- Returns:
- a supplier of a test input group. It may be the case that the
group is only generated when calling
Supplier.get(). This can be used to make the generation in a multithreaded environment without having the generator manage the parallelism.
-
-