Class AetgStrategy
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.interleaving.generator.aetg.AetgStrategy
-
- All Implemented Interfaces:
TestInputGenerationStrategy
public class AetgStrategy extends Object implements TestInputGenerationStrategy
Implementation of AETGSat ("Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach").
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static TestInputGenerationStrategyFactory
aetgStrategy()
Optional<int[]>
generateNextTestInput()
String
toString()
-
-
-
Method Detail
-
aetgStrategy
public static TestInputGenerationStrategyFactory aetgStrategy()
- Returns:
- Factory creating AETG-Strategy
-
generateNextTestInput
public Optional<int[]> generateNextTestInput()
- Specified by:
generateNextTestInput
in interfaceTestInputGenerationStrategy
- Returns:
- next test input covering as many uncovered t-tuples as possible. If all tuples are covered, an empty Optional is returned.
-
-