Uses of Class
de.rwth.swc.coffee4j.engine.TestModel

Packages that use TestModel

Package	Description
de.rwth.swc.coffee4j.engine.characterization
de.rwth.swc.coffee4j.engine.conflict
de.rwth.swc.coffee4j.engine.constraint
de.rwth.swc.coffee4j.engine.generator
de.rwth.swc.coffee4j.engine.generator.ipog
de.rwth.swc.coffee4j.engine.generator.ipogneg
de.rwth.swc.coffee4j.engine.manager

Uses of TestModel in de.rwth.swc.coffee4j.engine.characterization

Methods in de.rwth.swc.coffee4j.engine.characterization that return TestModel

Modifier and Type	Method	Description
protected TestModel	SuspiciousCombinationAlgorithm.getModel()
TestModel	FaultCharacterizationConfiguration.getTestModel()

Constructors in de.rwth.swc.coffee4j.engine.characterization with parameters of type TestModel

Constructor	Description
FaultCharacterizationConfiguration(TestModel testModel, ConstraintChecker checker, Reporter reporter)	Creates a new configuration out of an IPM, reporter and constraints checker.
FaultCharacterizationConfiguration(TestModel testModel, Reporter reporter)	Creates a new configuration out of an IPM and a reporter.

Uses of TestModel in de.rwth.swc.coffee4j.engine.conflict

Methods in de.rwth.swc.coffee4j.engine.conflict with parameters of type TestModel

Modifier and Type	Method	Description
de.rwth.swc.coffee4j.engine.conflict.TestModelExpander	ConflictDetectionConfiguration.createTestModelExpander(TestModel testModel)

Constructors in de.rwth.swc.coffee4j.engine.conflict with parameters of type TestModel

Constructor	Description
ConflictDetectionManager(ConflictDetectionConfiguration configuration, TestModel originalTestModel)
ReduceBasedDiagnosisHittingSetBuilder(TestModel testModel)

Uses of TestModel in de.rwth.swc.coffee4j.engine.constraint

Methods in de.rwth.swc.coffee4j.engine.constraint with parameters of type TestModel

Modifier and Type	Method	Description
ConstraintChecker	ConstraintCheckerFactory.createConstraintChecker(TestModel testModel)
ConstraintChecker	DiagnosticConstraintCheckerFactory.createConstraintChecker(TestModel testModel)
ConstraintChecker	HardConstraintCheckerFactory.createConstraintChecker(TestModel testModel)
ConstraintChecker	NoConstraintCheckerFactory.createConstraintChecker(TestModel testModel)
ConstraintChecker	SoftConstraintCheckerFactory.createConstraintChecker(TestModel testModel)
ConstraintChecker	ConstraintCheckerFactory.createConstraintCheckerWithNegation(TestModel testModel, TupleList toBeNegated)
ConstraintChecker	DiagnosticConstraintCheckerFactory.createConstraintCheckerWithNegation(TestModel testModel, TupleList toBeNegated)
ConstraintChecker	HardConstraintCheckerFactory.createConstraintCheckerWithNegation(TestModel testModel, TupleList toBeNegated)
ConstraintChecker	NoConstraintCheckerFactory.createConstraintCheckerWithNegation(TestModel testModel, TupleList toBeNegated)
ConstraintChecker	SoftConstraintCheckerFactory.createConstraintCheckerWithNegation(TestModel testModel, TupleList toBeNegated)

Uses of TestModel in de.rwth.swc.coffee4j.engine.generator

Methods in de.rwth.swc.coffee4j.engine.generator with parameters of type TestModel

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

Uses of TestModel in de.rwth.swc.coffee4j.engine.generator.ipog

Methods in de.rwth.swc.coffee4j.engine.generator.ipog with parameters of type TestModel

Modifier and Type	Method	Description
java.util.Set<java.util.function.Supplier<TestInputGroup>>	Ipog.generate(TestModel model, Reporter reporter)	Constructs a combinatorial test suite for positive testing.
IpogConfiguration.Builder	IpogConfiguration.Builder.testModel(TestModel testModel)

Uses of TestModel in de.rwth.swc.coffee4j.engine.generator.ipogneg

Methods in de.rwth.swc.coffee4j.engine.generator.ipogneg with parameters of type TestModel

Modifier and Type	Method	Description
java.util.Collection<java.util.function.Supplier<TestInputGroup>>	IpogNeg.generate(TestModel model, Reporter reporter)

Uses of TestModel in de.rwth.swc.coffee4j.engine.manager

Constructors in de.rwth.swc.coffee4j.engine.manager with parameters of type TestModel

Constructor	Description
BasicCombinatorialTestManager(CombinatorialTestConfiguration configuration, TestModel model)