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