| Class | Description |
|---|---|
| Constraint |
A constraint is a restriction that a test must satisfy to be valid.
|
| Parameter |
This class represents a
Parameter in a system configuration. |
| Relation |
This class represents a Relation, which is a group of parameters with
a given strength.
|
| SUT |
This class represents the configuration of a System Under Test (SUT).
|
| TestGenProfile |
This class contains the profile of the test generation process.
|
| TestSet |
This class encodes a test set being generated.
|
| TestSetWrapper |
This class provides several methods to input and output a test set.
|
| Enum | Description |
|---|---|
| TestGenProfile.Algorithm |
available test generation algorithms
|
| TestGenProfile.ConstraintMode |
available constraint handling modes
|
| TestGenProfile.Mode |
available test generation modes
|
| TestGenProfile.OutputFormat |
available output formats
|
| TestGenProfile.TieBreaker |
tie break rule
|