public class CoverageChecker
extends java.lang.Object
| Constructor and Description |
|---|
CoverageChecker(TestSet ts,
SUT sut,
int doi)
Constructs an instance with a specified test set, SUT, and doi.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
check()
Checks whether the test set satisfies t-way coverage.
|
static java.util.ArrayList<Parameter> |
expandedParametersForNT(java.util.ArrayList<Parameter> originalParams) |
int |
getAllCoverableTuples() |
int |
getAllCoveredTuples() |
float |
getCoverageRatio(int index) |
float[] |
getCoverageRatios() |
float[] |
getCoverageRatios(edu.uta.cse.fireeye.service.CoverageCheckInfo cover)
For curver
|
int |
getCoveredTuples(TestSet ts) |
int |
getDoi() |
java.util.ArrayList<int[]> |
getParamGroups() |
java.util.ArrayList<int[]> |
getParamGroups(Relation relation) |
java.util.ArrayList<int[]> |
getParamGroupsForNT(Parameter param)
Get the parameter groups for negative testing
|
java.util.ArrayList<Parameter> |
getParamList(int[] t) |
int |
getTotalCountOfAllTuples() |
int |
getTotalCountOfCoverableTuples() |
TestSet |
getTs() |
static void |
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".
|
void |
setAllCoverableTuples(int allCoverableTuples) |
void |
setAllCoveredTuples(int allPossibleTuples) |
void |
setTs(TestSet ts) |
public CoverageChecker(TestSet ts, SUT sut, int doi)
ts - the test set to be checkedsut - the system configuration to be checked againstdoi - the strength of coverage to be checkedpublic java.util.ArrayList<int[]> getParamGroupsForNT(Parameter param)
param - public java.util.ArrayList<int[]> getParamGroups()
public java.util.ArrayList<int[]> getParamGroups(Relation relation)
public int getCoveredTuples(TestSet ts)
public int getTotalCountOfAllTuples()
public int getTotalCountOfCoverableTuples()
public boolean check()
public float getCoverageRatio(int index)
public float[] getCoverageRatios()
public float[] getCoverageRatios(edu.uta.cse.fireeye.service.CoverageCheckInfo cover)
public java.util.ArrayList<Parameter> getParamList(int[] t)
public TestSet getTs()
public void setTs(TestSet ts)
public int getAllCoveredTuples()
public void setAllCoveredTuples(int allPossibleTuples)
public int getAllCoverableTuples()
public void setAllCoverableTuples(int allCoverableTuples)
public int getDoi()
public static void initConstraintManagerForNT(SUT sut, java.util.ArrayList<Parameter> expandedParamsInOrder, boolean ignoreConstraints)