| Package | Description |
|---|---|
| edu.uta.cse.fireeye.common | |
| edu.uta.cse.fireeye.service.engine |
| Modifier and Type | Method and Description |
|---|---|
TestSet |
SUT.getExistingTestSet()
Gets the existing test set.
|
TestSet |
TestSetWrapper.readTestSet(java.lang.String path,
java.lang.String importType)
Reads a test set from a file.
|
| Modifier and Type | Method and Description |
|---|---|
void |
SUT.setExistingTestSet(TestSet ts)
Sets an existing test set.
|
| Constructor and Description |
|---|
TestSetWrapper(TestSet ts,
SUT sut)
Creates a new
TestSetWrapper instance with a given test set
and an SUT. |
| Modifier and Type | Method and Description |
|---|---|
TestSet |
IpoEngine.getTestSet()
Get the resultant test set.
|
TestSet |
CoverageChecker.getTs() |
| Modifier and Type | Method and Description |
|---|---|
int |
CoverageChecker.getCoveredTuples(TestSet ts) |
void |
CoverageChecker.setTs(TestSet ts) |
| Constructor and Description |
|---|
CoverageChecker(TestSet ts,
SUT sut,
int doi)
Constructs an instance with a specified test set, SUT, and doi.
|