- TestGenProfile - Class in edu.uta.cse.fireeye.common
-
This class contains the profile of the test generation process.
- TestGenProfile.Algorithm - Enum in edu.uta.cse.fireeye.common
-
available test generation algorithms
- TestGenProfile.ConstraintMode - Enum in edu.uta.cse.fireeye.common
-
available constraint handling modes
- TestGenProfile.Mode - Enum in edu.uta.cse.fireeye.common
-
available test generation modes
- TestGenProfile.OutputFormat - Enum in edu.uta.cse.fireeye.common
-
available output formats
- TestGenProfile.TieBreaker - Enum in edu.uta.cse.fireeye.common
-
tie break rule
- TestSet - Class in edu.uta.cse.fireeye.common
-
This class encodes a test set being generated.
- TestSet() - Constructor for class edu.uta.cse.fireeye.common.TestSet
-
Creates a new TestSet instance.
- TestSet(ArrayList<Parameter>) - Constructor for class edu.uta.cse.fireeye.common.TestSet
-
Creates a test set with a list of (input) parameters.
- TestSet(ArrayList<Parameter>, ArrayList<Parameter>) - Constructor for class edu.uta.cse.fireeye.common.TestSet
-
Creates a test set with a list of input parameters and a list
of output parameters.
- TestSetWrapper - Class in edu.uta.cse.fireeye.common
-
This class provides several methods to input and output a test set.
- TestSetWrapper(SUT) - Constructor for class edu.uta.cse.fireeye.common.TestSetWrapper
-
Creates a new TestSetWrapper instance with a given SUT.
- TestSetWrapper(TestSet, SUT) - Constructor for class edu.uta.cse.fireeye.common.TestSetWrapper
-
Creates a new TestSetWrapper instance with a given test set
and an SUT.
- toString() - Method in class edu.uta.cse.fireeye.common.Constraint
-
Returns a string representation of this constraint.
- toString() - Method in class edu.uta.cse.fireeye.common.Parameter
-
- toString() - Method in class edu.uta.cse.fireeye.common.Relation
-
Returns a string representation of this relation.
- toString() - Method in class edu.uta.cse.fireeye.common.SUT
-
- toString() - Method in class edu.uta.cse.fireeye.common.TestGenProfile
-
Returns a string representation of the most basic options of this profile.
- toString() - Method in class edu.uta.cse.fireeye.common.TestSet
-
Returns a string representation of this test set.