- check() - Method in class edu.uta.cse.fireeye.service.engine.CoverageChecker
-
Checks whether the test set satisfies t-way coverage.
- checkCoverage() - Method in class edu.uta.cse.fireeye.common.TestGenProfile
-
Checks if coverage should be verified after test generation.
- clearValues() - Method in class edu.uta.cse.fireeye.common.Parameter
-
Clears the valid values of the parameter.
- clone(int) - Method in class edu.uta.cse.fireeye.common.TestSet
-
Makes a deep copy of a test (or row).
- cloneMapOfNumberOfCoveredCombos() - Method in class edu.uta.cse.fireeye.service.engine.IpoEngine
-
Clone the map of number of covered tuples of each strength.
- Constraint - Class in edu.uta.cse.fireeye.common
-
A constraint is a restriction that a test must satisfy to be valid.
- Constraint(String, ArrayList<Parameter>) - Constructor for class edu.uta.cse.fireeye.common.Constraint
-
Constructs a constraint.
- contains(ArrayList<Parameter>) - Method in class edu.uta.cse.fireeye.common.Relation
-
Checks if this relation contains a group of parameters.
- contains(Relation) - Method in class edu.uta.cse.fireeye.common.Relation
-
Deprecated.
- containsOutputParam(Parameter) - Method in class edu.uta.cse.fireeye.common.TestSet
-
Checks if a given output parameter is contained in this test set.
- containsParam(Parameter) - Method in class edu.uta.cse.fireeye.common.TestSet
-
Checks if a given (input) parameter is contained in this test set.
- convert(Parameter, int) - Method in class edu.uta.cse.fireeye.common.Constraint
-
Convert internal values to external values for constraint evaluation with the
following logic:
Boolean parameter: Use the real Boolean object.
- cover(int, Tuple) - Method in class edu.uta.cse.fireeye.common.TestSet
-
Change an existing test to cover a tuple.
- cover(int, int[]) - Method in class edu.uta.cse.fireeye.common.TestSet
-
- CoverageChecker - Class in edu.uta.cse.fireeye.service.engine
-
This class checks if a test set satisfies t-way coverage.
- CoverageChecker(TestSet, SUT, int) - Constructor for class edu.uta.cse.fireeye.service.engine.CoverageChecker
-
Constructs an instance with a specified test set, SUT, and doi.
- CSV_R_FORMAT - Static variable in class edu.uta.cse.fireeye.common.TestSetWrapper
-
Indicates CSV-R format as default CSV format
- CSV_RC_FORMAT - Static variable in class edu.uta.cse.fireeye.common.TestSetWrapper
-
Indicates CSV-RC format