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 simplifies this requirement 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++test 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.