The following items are provided by the manufacturer of TESSY to enable TESSY users to qualify TESSY for use in safety-related software development projects.
TESSY is qualified to be used in safety-related software development according to IEC 61508 and ISO 26262. View certificate from TÜV SÜD.
The respective certificate was initially issued by the TÜV SÜD in December 2011 and is regularily renewed.
Due to the established processes related to change management and release procedure it is guaranteed that all upcoming versions will be qualified also.
The TQI is a single document. It provides
On request the TQI is available for TESSY customers. The TQI is free-of-charge. A Non-disclosure Agreement (NDA) may be necessary to get the TQI.
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:
The documents are especially tailored for use with DO-178.
The test cases are especially designed to check the functionality of TESSY 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 testing process.
There are currently more than 2300 test cases, which are derived from almost 600 test definitions. They cover the following functionality of TESSY:
Test definitions were specified using classification trees. A test definition may result in zero, one, or more than one test cases.