Get the MOST EXTENSIVE coverage for MISRA C compliance! Learn More >>
DO-178B and DO-178 C (referred to as ED-12 B/C in Europe – referenced on this page as DO-178B/C for simplicity) provides guidance, used by aerospace software engineers, to ensure airworthiness. The DO-178 standard is not explicitly mandated in the FAA’s airworthiness requirements, but it is a critical component of the FAA’s approval process for issuing its Technical Standard Order (TSO), so DO-178 is considered essential.
Parasoft C/C++test helps users reduce the cost of achieving compliance by automating the software testing methods required by the standard. Parasoft’s solution includes static analysis, metrics analysis, unit testing, code coverage, and object/assembly coverage, providing teams with a practical way to prevent, expose, and correct errors in their functional safety systems.
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