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. |