Developing DO-178B/C-compliant software for airborne systems is no easy feat, but Parasoft helps ease the burden, offering a broad range of development testing and verification tools (coding standards compliance analysis, data and control flow analysis, unit testing, application monitoring, workflow components, and more).
Parasoft C/C++test’s testing functions, configurable contexts, and reporting mechanisms provide software development teams with proven tools that help them achieve DO-178B/C compliance. Parasoft C/C++test users are able to reduce the cost of achieving DO-178B/C compliance by saving time with advanced software testing methodologies. Automatically-generated reports and dashboards provide teams with a practical way to prevent, expose, and correct errors in their software, and prepare the documentation required for audits with the help of automated tool qualification.
Parasoft’s Assembly Coverage Tool (ASMTool) satisfies the Executable Object Code recommendations set out by DO-178B/C Level A. With little effort, ASMTool can generate structural coverage reports from Executable Object Code. Structural Coverage is reported with easily reviewable insight into compiler generated code that is not directly traceable to Source Code statements. It also tracks switch statements, providing full insight into the test execution paths at the machine language instruction level.
ASMTool also supports collecting Structural Coverage from both the software integration process (target hardware testing), and desktop development environment (Parasoft C/C++test for Unit Testing).
Parasoft helps ease the burden of compliance by offering an integrated solution for automating software verification and validation processes and software quality tasks specified in DO-178B/C. Read this paper to learn about this practical way to prevent, expose, and correct errors using Parasoft C/C++test.Download