Razorcat introduces new features: Hyper Coverage and Code Access in TESSY v5.1

The new TESSY functions help increase the software quality level of safety critical systems in all industrial application areas. Even more: With Code Access and Hyper Coverage, TESSY accelerates functional safety certification, which requires proof of the standard-compliant testing of all functionalities and their completeness via code coverage.

With Code Access, TESSY v5.1 ensures an automated analysis of the tested source code variants immediately after the tests have been set up. The tester can immediately see which lines of code have not been tested – without any extra effort. After test execution, the coverage measurement results will be accumulated into the Hyper Coverage to reveal any unreached source code lines.

The Hyper Coverage feature applies widely used coverage measurements (e.g., branch or MC/DC coverage) to create a relation between the measured coverage results with respect to the different code variations. Determining a Hyper Coverage from the available coverage results allows a complete view of the test coverage at source code level without diluting the specific coverage requirements of the standards and norms for the development of safety-critical software. Rather, Hyper Coverage reliably identifies untested code in the original C/C++ source files.

The outstanding technical innovation is that the Hyper Coverage is calculated from standard coverage measures required by the applicable norms and standards for the development of safety critical applications. Without any additional effort, the existing coverage results for each line of source code are combined. The tester gets to see automatically detected hidden and untested source code which significantly helps to increase software quality and safety.

"We are continuously improving TESSY with enhanced features, enabling testers to achieve higher code coverage and better test results in less time and with less effort ", says Michael Wittner, Managing Director of Razorcat. "We help developers and testers in all industrial application areas increase the software quality level for their safety critical systems."

TESSY supports the most common microcontrollers, compilers and debuggers and is qualified for safety-related software development according to IEC 61508 and ISO 26262. Further information and downloads on TESSY v5.1 including the latest features are available at razorcat.