Class AetgSat
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg.AetgSat
-
- All Implemented Interfaces:
TestInputGroupGenerator
public class AetgSat extends Object implements TestInputGroupGenerator
Generator for one test group containing the test inputs generated with theAetgSatAlgorithm
algorithm with the strength given by theCompleteTestModel
.
-
-
Constructor Summary
Constructors Constructor Description AetgSat()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Set<Supplier<TestInputGroup>>
generate(CompleteTestModel model, Reporter reporter)
Generates a arbitrary number ofTestInputGroup
instances.
-
-
-
Method Detail
-
generate
public Set<Supplier<TestInputGroup>> generate(CompleteTestModel model, Reporter reporter)
Description copied from interface:TestInputGroupGenerator
Generates a arbitrary number ofTestInputGroup
instances. 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 theCompleteTestModel
need to be used, provide constructor with which they can be set.- Specified by:
generate
in interfaceTestInputGroupGenerator
- Parameters:
model
- the complete testModel with which the test input groups should be constructed. Must not benull
reporter
- 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.
-
-