DO 178B/C Tool Qualification
DO-178 requires you to qualify test automation tools as outlined in DO-330. This means tests, data, and documentation that support the proper installation, configuration, and operation of the chosen tool. Parasoft products belong to the ‘Software verification tools’ category of DO-178 guidance because the output cannot introduce any errors into the software to be certified.
Parasoft streamlines the tool qualification process with a qualification kit that contains everything you need to easily qualify Parasoft C/C++test as a verification tool. Learn more about it here.
In short, the kit contains all the documentation, templates, tests and reports you need to qualify C/C++test. There is a GUI driven tool that lets you select which components you’re using so as to shorten the verification process if you’re only using some of the C/C++test functionality. The selected components create a specific test suite and executes it, then compares it with the expected outputs and produces necessary documentation for your tool qualification process.
Get the whitepaper
Support for JSF AV C++ Coding Standards
The Joint Strike Fighter Air Vehicle C++ Coding Standards was originally produced by Lockheed Martin in order to address concerns about the safety of C++ in-flight systems. To help guide developers to avoid risky code, the standard was originally built on top of MISRA, altered to incorporate C++ features and the more stringent requirements of aircraft.
Parasoft has worked directly with Lockheed to implement the guidelines listed in the standard as rules that can be scanned using static analysis. Parasoft C/C++test comes with an out-of-the-box configuration for JSF coding standards, and can measure the software against specific thresholds.
The JSF guidelines require knowing and understanding issues like code complexity, cohesion, and coupling. In Parasoft C/C++test, these types of issues are implemented as static analysis rules that both gather data and have configurable thresholds for determining what values are allowed for each metric. Static analysis and dataflow analysis allow developers to improve the accuracy and consistency of the code – removing risky coding issues such as stack errors, overflow, dead code, exception handling, and uninitialized variables — and creating safe, secure, reliable software that aircraft rely on, as required by JSV AV C++.