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, ISO 26262, EN 50128, and IEC 62304.

  • The verification tool fulfills the requirements for support tools classified T2 according to IEC 61508-3 and EN 50128. The tool is qualified to be used in safety-related software development according to IEC 61508, EN 50128 and ISO 26262. The tool is suitably validated for use in safety-related development according to IEC 62304.

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-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 several thousand test cases, which are derived from several hundreds of test definitions. They cover specific functionality of TESSY, e.g.:

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

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

User reports

User report about successful use of TESSY in safety-related development projects, e.g. our customer Liebherr-Aerospace Lindenberg GmbH.