See what API testing solution came out on top in the GigaOm Radar Report. Get your free analyst report >>
DO-178C
DO-178C Compliance
Satisfy software verification and validation of DO-178C with Parasoft C/C++ testing solutions. Reduce the cost of achieving DO-178C compliance by automating the testing methods required by the standard.
DO-178C
What Is DO-178C?
DO-178C is an international standard governing the development of software in airborne systems and equipment to ensure functional safety throughout the life cycle of aviation products.
Satisfy DO-178C
Master DO-178C verification requirements, avoid critical failures, and ensure airworthiness certification so your airborne software meets the highest safety standards.
Guide to DO-178C Compliance for Aerospace & Defense
Learn about the strict functional safety standard DO-178C. Discover a complete framework for building a stable, sustainable compliance process.
Benefits Parasoft Brings to DO-178C
Satisfy DO-178C objectives by automating verification and validation methods like code reviews, requirements traceability, static analysis, unit testing, code coverage, and more. Reduce development costs and accelerate certification timelines while maintaining safety compliance.
Static Analysis
Automatically examine your source code using Parasoft’s powerful code analysis engine for early detection of potential errors, security vulnerabilities, and coding standard violations, without executing the code.
Satisfy DO-178C Compliance Standards | Parasoft provides compliance support for aviation-specific and general coding standards, ensuring robust and reliable C and C++ applications. |
Static Analysis Security Testing (SAST) | Integrate compliance with security coding rules and guidelines from standards like CWE, CERT, OWASP, and DISA ASD STIG into your static analysis processes to ensure robust software security for airborne systems. |
Control Flow Analysis | Parasoft’s control flow analysis recognizes the possible execution paths through a program and how control moves from one part of the code to another. This helps detect potential issues related to the program’s logic, flow, structure, and more. |
Data Flow Analysis | Data flow analysis enables the detection of vulnerabilities such as uninitialized variables, injection flaws, and unsafe data handling within critical avionics software. |
Walkthroughs & Inspections | Augment static analysis with walkthroughs or the Code Review module. Designed to make peer reviews more practical and productive by automating preparation, notification, and tracking, our solution automatically identifies updated code, matches it with designated reviewers, and tracks the progress of each review item until closure. |
Test Smarter With AI & ML | Parasoft incorporates artificial intelligence and machine learning to improve productivity in your team’s static analysis workflow, flagging and prioritizing the violations that need to be fixed first. If using VS Code editor, apply our C/C++test extension and leverage Parasoft’s AI assistant to explain static analysis violations and receive suggestions for fixing them. |
Dynamic Analysis – DO-178C
Our comprehensive software testing framework for C and C++ supports unit testing, integration testing, system testing, and more. The framework automates test creation and involves running the program with various inputs and configurations to detect issues that manifest during execution.
Unit Testing | Isolate the unit to be tested with automated stubbing framework and mocks to validate that each unit performs as expected and to ensure that it behaves correctly for a variety of inputs, including cases where the dependent code is unavailable. |
Automated Test Case Generation | Auto test case generation automatically creates test cases, including edge cases and error conditions, that manually written tests for C and C++ code might not cover. This enhances the testing process by reducing manual effort, ensuring consistency, and increasing test coverage. |
Structural Code Coverage | Fulfill all DO-178C code coverage requirements with Parasoft’s support for various coverage types, including statement, branch, MC/DC, and assembly or object code. These coverage types and others help ensure code safety, security, and reliability by identifying untested code, dead code, and potential defects. |
Requirements Traceability
Automate and ensure DO-178C bidirectional traceability between requirements, test cases, test results, source code, and code reviews meet DO-178C objectives and ensure compliance.
Compliance Reporting
Automatically track DO-178C compliance and generate reports to demonstrate adherence to specific regulatory and organizational standards with our dynamic reporting dashboard. It also supports advanced reporting strategies using historical data, even for large codebases and legacy code where visibility is typically challenging.
Incorporate Static & Dynamic Analysis Into Your CI/CD Workflow
Our static analysis, unit testing, regression testing, code coverage, and requirements traceability integrate easily into your CI/CD pipeline. Teams can also integrate some of these capabilities into other testing frameworks like GoogleTest for continuous testing, enabling the delivery of safe, secure, and reliable code, while streamlining compliance with DO-178C standards.
Tool Qualification
Parasoft’s C/C++ testing solutions include tool qualification kits for validating their use in safety-critical applications across any development ecosystem. These kits automate the assessment of our static analysis, unit testing, and code coverage capabilities to ensure they meet compliance requirements defined by DO-330 and DO-178C.
Solutions to Help Meet DO-178C Objectives
C/C++test
C/C++test is a powerful automated software testing solution that ensures compliance with ISO 26262 for automotive safety- and security-critical applications. It integrates tightly into your C/C++ IDE, CI/CD pipeline, and containerized deployments for the verification and validation methods required by ISO 26262.
Learn More
C/C++test CT
Purpose-built C/C++test CT meets the stringent demands of automotive safety and security-critical applications, automating code coverage and verification methods required by ISO 26262 and ISO 21434. It integrates with popular open source unit testing frameworks, CI/CD pipelines, and containerized deployments. It’s a great extension for VS Code.
Learn More
DTP
Parasoft DTP aggregates the results from across testing practices and requirements traceability to ensure compliance with ISO 26262. The reporting dashboard provides intelligent and continuous monitoring of testing outcomes for greater visibility into gaps along with what’s working and what isn’t.
Learn More
Insure++
Automatically detect memory problems, runtime errors, and security vulnerabilities such as memory corruption, memory leaks, buffer overflow/underflow, stack overruns and visualize memory allocations and deallocations with graphical displays.
Learn More“The best DO-178 On-Target Testing tool I have tried.”
Overall, the user experience was above and beyond what we expected from the competition.
It took WEEKS with other tools to get our codebase properly instrumented, and extract coverage from the target. With Parasoft, it took me 16 hours across two work days, and I ran into very few issues that were the fault of the tool. Parasoft has implemented a lot of common-sense solutions to the problems posed by DO-178 and DO-330, and the vast majority of the time they worked out of the box with no issues, unlike any of these other tools.
- Timothy F., Software Engineer
Why Parasoft?
Parasoft offers unique advantages for DO-178C verification and validation with modern, comprehensive solutions that automate critical processes like static and dynamic analysis, requirements traceability, and structural code coverage. Our solutions seamlessly integrate into existing CI/CD pipelines, reducing manual effort while ensuring compliance. Below are additional ways Parasoft helps embedded software teams.
Dedicated Integrations
Our C/C++ testing solutions provide dedicated integrations with safety-critical development environments like Green Hills Software’s INTEGRITY-178 tuMP, Wind River VxWorks, and other certified solutions. Additional integrations with embedded IDEs, debuggers, and CI/CD pipelines, support aerospace-specific environments such as Eclipse, VS Code, Green Hills MULTI, Wind River Workbench, ARM MDK, ARM DS-5, TI CCS, Visual Studio, and more.
We support DevSecOps practices, ensuring security and compliance are seamlessly incorporated into the development life cycle. These integrations enable a smooth workflow that meets the complex and safety-critical requirements of aerospace software development.
System-Level Testing for Aerospace Applications
Perform network-based, system-level testing crucial for the development of aerospace software systems using our solutions. Automate end-to-end functional API testing with advanced test creation in SOAtest, which supports applications with multiple interfaces and protocols, ensuring system integrity and safety.
Build integrations earlier, stabilize dependencies, and gain full control of test data with Virtualize. As a result, aerospace development teams accelerate testing without waiting for access to dependent services or systems, which may be incomplete or unavailable during critical testing phases.
Time & Cost Savings
Save considerable time and cost using our test automation solutions. You can rely on us to make it as painless as possible with as much support as needed to reach your safety goals in achieving DO-178C compliance. Educational materials like webinars, whitepapers, and blogs act as ongoing supplemental tools as well.
On-Target Hardware Software Testing
Leverage SOAtest and Virtualize for network-based, system-level testing that’s fundamental to software-defined vehicles (SDVs). Automate end-to-end functional API testing with advanced functional test creation in SOAtest for applications with multiple interfaces and protocols.
Build integrations earlier, stabilize dependencies, and gain full control of test data with Virtualize. Teams can move quickly without waiting for access to dependent services that are either incomplete or unavailable.
Frequently Asked Questions
Elevate your software testing with Parasoft solutions.