|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.utep.cs.utjml.rat | |
|---|---|
| edu.utep.cs.utjml.canica.output | |
| edu.utep.cs.utjml.rat | Contains the source code to generate test cases randomly for Java classes. |
| Classes in edu.utep.cs.utjml.rat used by edu.utep.cs.utjml.canica.output | |
|---|---|
| RatListener
The listener interface for receiving test case generation events. |
|
| TestCase
A class to represent test cases. |
|
| Classes in edu.utep.cs.utjml.rat used by edu.utep.cs.utjml.rat | |
|---|---|
| ArrayValue
A class to represent array values. |
|
| BooleanValue
A class to represent boolean values. |
|
| Denotable
An interface to uniformly represent various kinds of Java values and objects that can be part of a test case. |
|
| IntValue
A class to represent int values. |
|
| MethodInfo
A common information needed from JMethodDeclarationType and CMethod in this class. |
|
| RatListener
The listener interface for receiving test case generation events. |
|
| RatOptions
This class is automatically generated from RatOptions.opt and contains member fields corresponding to command-line options. |
|
| RatTestRunner.JmlResultPrinter
|
|
| TestCase
A class to represent test cases. |
|
| TestClassGenerator
A class for generating JML/JUnit test driver classes. |
|
| TestClassGenerator.MethodsIterator
A composite control abstraction useful in this class. |
|
| Value
An abstract class to denote various values. |
|
| ValueCreator
A class to create various values. |
|
|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||