C/C++ Functional Safety Software Testing

Featured Webinar: Simplify Compliance Workflows With New C/C++test 2024.2 & AI-Driven Automation Watch Now

Software Testing for Functional Safety in C/C++ Applications

Parasoft’s solution for functional safety enables organizations to meet the testing and software quality requirements stemming from standards documents such as ISO 26262, ISO 21434, EN 50128, IEC 61508, and DO-178B/C. Parasoft enables teams to automate the testing practices and software qualification process mandated by these standards, and dramatically reduces the intensive manual effort that is otherwise necessary.

How Does It Work?

Functional safety standards mandate numerous testing practices for the software verification and validation process. Implementing the V&V process in accordance with safety functions can pose a significant challenge due to the number of different testing technologies that need to be orchestrated, so Parasoft C/C++test and C/C++test CT simplify these requirements by providing everything you need to test your C and C++ code in one integrated, TÜV SÜD-certified solution.

Parasoft’s solution for safety-critical software provides a unique combination of features that help users address all main testing requirements imposed by safety functions with minimal effort. Instead of spending resources implementing, integrating, and maintaining independent solutions, Parasoft users can spend more time delivering safe and high-quality projects.

For example, Parasoft C/C++test enables developers to perform static code analysis for various coding standards (such as MISRA, CERT, AUTOSAR, CWE, JSF, and more), unit testing and systems level testing with fault injection, and code coverage monitoring (statement, branch, MC/DC, call, and so on), without leaving their IDE. Testing results can be reviewed immediately inside the user’s development environment or on a centralized reporting dashboard, where advanced analytics are performed on the aggregated test data.

Parasoft C/C++ solutions includes dedicated integrations with leading embedded hardware and software development environments, such as Arm Development Studio, TI Code Composer, Wind River Workbench, Green Hills Software Multi, and many others. These integrations support the execution of tests on target hardware or simulators to increase reliability and fidelity of testing results, which is required for compliance with functional safety integrity levels and standards.

Parasoft greatly reduces the risk and effort required for tool qualification. In addition to being able to apply the TÜV certification (when applicable), users benefit from extra automation in performing the tool qualification process, using Parasoft’s dedicated Qualification Kits, which guide users through all important steps of the procedure and automates most of the tedious manual work that is typically required.

Request a Demo Take a Tour

Features

Benefits from the Parasoft Approach

Reduce risk with multiple testing technologies integrated in one tool

The comprehensiveness of Parasoft C/C++test and C/C++test CT translates into increased developer efficiency when developing applications with functional safety requirements. Developers can focus on their core activities without having to learn, integrate, and qualify several tools. Tool integrators or architects don’t have to spend time implementing interfaces between tools for exchanging data and generating uniform reports. Instead, they get all of it from Parasoft out of the box.

Reduce testing effort with a proven test suite designed specifically for functional safety-critical applications

When performing unit testing or runtime memory monitoring, all components required to build the test binary, including the test cases for tested code stimulation and stubs, are expressed in the form of source code and can be versioned and inspected. This approach is superior to other tools in which the stimulation for tested code is sent at runtime from the host and requires additional conversions before assigning to the variables in memory. C/C++test removes this unnecessary layer and assures that the state of the memory before executing tests is constructed in the same way as in the production systems.

Eliminate overhead for functional safety compliance

Parasoft provides team-wide data integration, convenient reporting customized to different coding standards, and advanced analytics through Parasoft’s award-winning Process Intelligence Engine. Users benefit from the ability to aggregate information across multiple different sources (such as source code or requirements management systems, testing tools, or ALMs) for unique data analytics, helping focus efforts in the most productive way. Teams can increase productivity by monitoring trends in the development process, and easily generate reports that comply with industry standards such as “MISRA Compliance: 2020”.