The TQP is intended to help Tessy users to validate the functionality of Tessy which is relevant for safety-related development. The TQP consists of documents and test cases.
The documents provide:

• a description of the functionality of Tessy to be validated
• a description of the test and validation activities
• the results of the test and validation activities

The documents are especially tailored for use with DO-178B.

The test cases are especially designed to check the tasks relevant for safety-critical projects. Would Tessy for instance determine the code coverage of a test object erroneously to 100%, then this error would probably go undetected during the further test process.
There are more than 500 test cases. They relate to the topics of

• Code coverage
• Data transfer
• Report generation.

Test cases were specified using classification trees.