| Package | Description |
|---|---|
| edu.uta.cse.fireeye.common | |
| edu.uta.cse.fireeye.service.engine |
| Modifier and Type | Method and Description |
|---|---|
SUT |
SUT.buildSUT(int numOfParams,
int domainSize)
A convenience method to build a system configuration with a given
number of parameters and all the parameters have the same domain size.
|
| Constructor and Description |
|---|
TestSetWrapper(SUT sut)
Creates a new
TestSetWrapper instance with a given SUT. |
TestSetWrapper(TestSet ts,
SUT sut)
Creates a new
TestSetWrapper instance with a given test set
and an SUT. |
| Modifier and Type | Method and Description |
|---|---|
static void |
CoverageChecker.initConstraintManagerForNT(SUT sut,
java.util.ArrayList<Parameter> expandedParamsInOrder,
boolean ignoreConstraints)
Expand params for the validity check of negative test by assigning constraint manager with valid&invalid values as domain,
also need to create additional constraints for negative test rule "one and only one invalid value is in a negative test case".
|
| Constructor and Description |
|---|
CoverageChecker(TestSet ts,
SUT sut,
int doi)
Constructs an instance with a specified test set, SUT, and doi.
|
IpoEngine(SUT sut)
Creates a new instance.
|
IpoEngine(SUT sut,
edu.uta.cse.fireeye.service.constraint.ConstraintManagerInterface mgr)
Creates a new instance.
|