TESSY Tool Qualification

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 certificate from TÜV SÜD

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.

  • TESSY fulfills the requirements for off-line support tools according to IEC 61508-3:2010. TESSY was classified as being class T2.
  • TESSY fulfills the requirements of tool qualification according to ISO 26262-8 for all Automotive Safety Integrity Levels (ASILs). The value 2 was determined for the Tool Impact (TI) and the Tool Error Detection Level (TD) was assumed to have the value 3, what results in the Tool Confidence Level (TCL) having the value 3.

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.

TESSY Tool Qualification Information (TQI)

The TQI is a single document. It provides

  • a terse description of the functionality of TESSY
  • a version history of TESSY
  • a terse description of the development environment
  • an abridged description of the development, test, and release process of TESSY
  • and other similar information.

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.

TESSY Tool Qualification Package (TQP)

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

  • Code coverage
  • Data transfer
  • Report generation
  • Call trace
  • Integration testing (scenarios)
  • Linking of requirements to test cases.

Test definitions were specified using classification trees. A test definition may result in zero, one, or more than one test cases.