This latest version includes two new features - “Code Access” and “Hyper Coverage” in TESSY v5.1, whereby testers of embedded software will be able to accumulate coverage across different tests, testing levels and test tools – and automatically detect hidden or untested code in the full source code including all variants.
These new TESSY functions will help increase the software quality level of safety critical systems in all industrial application areas and with Code Access and Hyper Coverage, TESSY will be able to accelerate 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 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, so 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 ", explained 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.
