Parasoft Logo
Geometric background with hints of blue and green

ISO 26262 Compliance & Tools

Meet software verification and validation of ISO 26262 with Parasoft C/C++ testing solutions. Reduce the cost of achieving ISO 26262 compliance by automating the testing methods required by the standard.

What Is ISO 26262?

ISO 26262 is an international standard for functional safety that governs the development of electrical, electronic, and programmable devices in the automotive industry to ensure safety throughout the life cycle of automotive products.

Satisfy ISO 26262

Ensure your automotive software meets the highest safety standards by mastering ISO 26262 verification requirements and avoid critical, costly recalls by guaranteeing road-ready reliability.

ISO 26262 is divided into 12 parts. Part 6 of the standard specifically addresses product development at the software level. Teams that use Parasoft save time and effort adhering to this part of the standard. Sections 6.9, 6.10, and 6.11 represent the testing or formal verification and validation of the software.

Overview of ISO 26262 Series of Standards

Get an overview of the 12 parts of the ISO 26262 automotive functional safety standard.

Read “What Are the Parts of ISO 26262?”

Guide to Achieving ISO 26262 Compliance

Gain valuable insights into functional safety with our comprehensive guide to ISO 26262.

Benefits Parasoft Brings to ISO 26262

Satisfy ISO 26262 objectives by automating verification and validation methods like code reviews, requirements traceability, static analysis, unit testing, code coverage, and more, while also reducing the amount of labor costs and time to market.

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 Compliance Standards

Parasoft offers 100% coverage of MISRA, AUTOSAR C++ 14, CERT, and other coding standards for the safest and most secure possible C and C++ applications.

Static Analysis Security Testing (SAST)

Weave compliance with security coding standards like CWE, OWASP, DISA ASD STIG, and UL 2900 into the static analysis testing processes.

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 much more.

Data Flow Analysis

Our data flow analysis allows for a deeper understanding of the program’s behavior on how data is used, modified, and passed around in the code, helping identify issues like unused variables, injection vulnerabilities, XSS, exposure of sensitive data, and more.

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.

Dynamic Analysis

Our comprehensive software testing framework for C and C++ supports unit, integration, system testing and more. The framework automates 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 ISO 26262 code coverage requirements with Parasoft’s support for various coverage types, including statement, branch, and MC/DC. These coverage types help ensure code safety, security, and reliability by identifying untested code, dead code, and potential defects.

Compliance Reporting

Automatically track 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.

Requirements Traceability

Automate and ensure ISO 26262 bidirectional traceability between requirements, test cases, test results, and code, including code reviews.

Incorporate Static & Dynamic Analysis Into Your CI/CD Workflow

Parasoft’s 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 high-quality code quickly.

Tool Qualification

Parasoft’s C/C++ solutions for static analysis, unit testing, and code coverage have been TÜV SÜD certified for ISO 26262 at all ASIL levels. We also offer a tool qualification kit that automates the process of assessing and validating our C/C++ testing solutions, ensuring they meet specific standards and requirements for use in critical or regulated development environments.

Why Parasoft?

There are many unique advantages that Parasoft brings to the table. Since many of our clients span across industries ranging from medical devices to defense systems, our solutions must be dynamic and robust. From development tools to life cycle management, here are some of the ways Parasoft solutions help embedded software teams comply with ISO 26262.

Blue Gear Icon

Dedicated Integrations

Providing dedicated integrations with embedded IDEs and debuggers, our C/C++ testing solutions also support IDE environments that include Eclipse, VS Code, Green Hills Multi, Wind River Workbench, IAR EW, ARM MDK, ARM DS-5, TI CCS, Visual Studio, and more.

Teams can use C/C++test and C/C++test CT to execute unit, integration, and system tests on the host platform, simulator, or on the embedded target hardware. Optimize our fully integrated solution for minimal additional overhead due to the binary footprint of process cycles.

Blue white paper backwards arrow Icon

Service-Oriented Architecture System-Level 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.

Blue auto Icon

Automotive HIL Software Testing

Crucial for ensuring that software performs accurately and reliably when integrated with the actual hardware, our C/C++ solutions perform on-target hardware testing. It helps detect hardware-specific issues, validate design assumptions, and ensure that the system meets real-world conditions and performance requirements.

Blue dollar Icon

Time & Cost Savings

Our test automation solutions provide considerable time and cost savings. We strive to make it as painless as possible with as much handholding as needed to reach your safety goals in achieving ISO 26262 compliance. Educational materials like webinars, whitepapers, and blog act as ongoing supplemental tools, as well.

Footer Banner with people working on computers and conversing

Elevate your software testing with Parasoft solutions.

OSZAR »