TC-Lite provides a number of Attributes, Assertions and other key features to assist you in writing and running tests.
Assertions | Shows the syntax of assertions, which are used to verify proper behavior of the software under test. |
Attributes | Describes how TC-Lite uses attributes to identify tests and control their execution. |
Constraints | Lists all constraints supported by TC-Lite and the syntax elements used to invoke them in an assertion. |
Parallel Test Execution | Describes the planned parallel execution feature. |
Theories | Describes the planned Theories feature. |