|Razorcat at embedded world 2023 (14-16 March 2023, Nuremberg/Germany) in Hall 4, booth 4-532
|Speeding up Functional Safety Certification: Razorcat introduces new features Hyper Coverage and Code Access in TESSY v5.1
|Berlin/Germany, 1 March 2023 – At embedded world 2023, Razorcat is presenting a new version of their certified C/C++ unit and integration test tool TESSY including two innovative features: With “Code Access” and “Hyper Coverage” in TESSY v5.1, testers of embedded software can easily accumulate the coverage across different tests, testing levels and test tools – and automatically detect hidden or untested code in the full source code including all variants. 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 www.razorcat.com/en/tessy.html.
Image caption: Test results with cumulated Code Access and Hyper Coverage percentages
Razorcat Development GmbH has been creating testing tools for software development of embedded systems since 1997. The unit and integration testing tool TESSY is certified to IEC 61508 and ISO 26262, and is being used in a large number of software projects across all branches of industry for the verification of safety-critical and high-quality software. Together with the Integrated Test Environment (ITE), Test Operator Platform (TOP) and Check Case Definition Language (CCDL) tools, Razorcat offers solutions for all stages of the testing process. Services like test management, testing, consulting and seminars provide additional support for customers around the world.
More information about Razorcat is available at www.razorcat.com.