Aerospace Techweek: Parasoft

Avionics software requires absolute safety and reliability. For over 30 years, Parasoft has been helping organisations meet rigorous standards through required best practices like unit testing, structural code coverage, object code coverage, software metrics, static code analysis and requirements traceability reporting. With Parasoft C/C++test the company provides an integrated solution to help organisations comply with the rigorous DO-178 standards. It is an integrated toolkit for C and C++ development and testing that supports a broad range of best practices that are proven to improve software safety and reliability in avionics. Parasoft C/C++test automates C and C++ static analysis and unit/component testing on host and target with comprehensive code coverage supporting multiple levels of DO-178B/C. Included in static analysis is built-in support for all the popular standards used in aviation software, like MISRA C and JSF AV C++.

The solution integrates seamlessly compliance into existing development processes and ecosystem, from requirements management and source control to IDEs and CI/CD. It enables to realise and automate the test cases to verify and validate the individual requirements for functional completeness, correctness and consistency. In testing the target hardware, developers can achieve compliance for the most stringent safety integrity levels.

Presentation at the Conference 

Visitors will get a hands-on company presentation at the booth 1002, and they can learn about Parasoft solutions during the Conference, where Parasoft will hold a presentation on November 3, at 14:00 in the Aerospace Testing session: “An Introduction to Machine Code Structural Coverage: Conforming to DO-178C for Level A Software”: Guided by examples, this presentation will walk through the process of producing complete structural coverage of machine code. While focusing on best practices to reduce time to market.