Package de.rwth.swc.coffee4j.engine.generator.ipogneg

Class IpogNeg

java.lang.Object

de.rwth.swc.coffee4j.engine.generator.ipogneg.IpogNeg

All Implemented Interfaces:

TestInputGroupGenerator

public class IpogNeg
extends java.lang.Object
implements TestInputGroupGenerator

Constructor Summary

Constructors

Constructor	Description
IpogNeg()

Method Summary

Modifier and Type	Method	Description
java.util.Collection<java.util.function.Supplier<TestInputGroup>>	generate(TestModel model, Reporter reporter)	Generates a arbitrary number of TestInputGroup instances.

Methods inherited from class java.lang.Object

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

Constructor Detail

IpogNeg

public IpogNeg()

Method Detail

generate

public java.util.Collection<java.util.function.Supplier<TestInputGroup>> generate(TestModel model,
                                                                                  Reporter reporter)

Description copied from interface: TestInputGroupGenerator

Generates a arbitrary number of TestInputGroup instances. Each group should be individual in its FaultCharacterizationConfiguration. 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 the TestModel need to be used, provide constructor with which they can be set.

Specified by:

generate in interface TestInputGroupGenerator

Parameters:

model - the complete testModel with which the test input groups should be constructed. Must not be null

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.