- initConstraintManagerForNT(SUT, ArrayList<Parameter>, boolean) - Static method in class edu.uta.cse.fireeye.service.engine.CoverageChecker
-
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".
- instance() - Static method in class edu.uta.cse.fireeye.common.TestGenProfile
-
Get the single instance of TestGenProfile.
- INVALID_VALUES_STARTINDEX - Static variable in class edu.uta.cse.fireeye.common.TestSet
-
- involved(Parameter) - Method in class edu.uta.cse.fireeye.common.Constraint
-
Checks if a parameter is involved in this constraint.
- IpoEngine - Class in edu.uta.cse.fireeye.service.engine
-
This class implements the In-Parameter-Order-General (IPOG) algorithm for
generating covering arrays of t-way coverage, where t is referred to the
Degree Of Interaction or DOI.
- IpoEngine(SUT, ConstraintManagerInterface) - Constructor for class edu.uta.cse.fireeye.service.engine.IpoEngine
-
Creates a new instance.
- IpoEngine(SUT) - Constructor for class edu.uta.cse.fireeye.service.engine.IpoEngine
-
Creates a new instance.
- isBaseChoice(int) - Method in class edu.uta.cse.fireeye.common.Parameter
-
- isChangedDuringImport() - Method in class edu.uta.cse.fireeye.common.Parameter
-
- isCompatible(int, Tuple) - Method in class edu.uta.cse.fireeye.common.TestSet
-
Checks whether a tuple can be covered by an existing test.
- isCompatible(int[], int[]) - Method in class edu.uta.cse.fireeye.common.TestSet
-
Checks whether two rows (tests) are compatible.
- isFastMode() - Method in class edu.uta.cse.fireeye.common.TestGenProfile
-
- isFirstBaseChoice(int) - Method in class edu.uta.cse.fireeye.common.Parameter
-
- isHiddenVariable() - Method in class edu.uta.cse.fireeye.common.Parameter
-
- isIgnoreConstraints() - Method in class edu.uta.cse.fireeye.common.TestGenProfile
-
Checks if constraints are ignored.
- isProgressOn() - Method in class edu.uta.cse.fireeye.common.TestGenProfile
-
Checks if progress info should be displayed.