Safety and security-critical software for the automotive industry need to be developed with highest quality. The amount of code in automobiles increases each year and the risk of injury or death caused by software errors has raised the stakes for developers. Even without a catastrophic event, no developer or project manager wants to be at the origin of an expensive vehicle recall due to a software error.
The standards ISO 26262 and IEC 61508 have strict requirements concerning verification and validation for software development in the automotive and transport industries.
According to the Automotive Safety Integrity Level (for ISO 26262) and the Safety Integrity Level (for IEC 61508) specific Code Coverage levels up to Modified Condition Decision Coverage (MC/DC) are required by the safety standards. Static code analysis helps to simplify and improve the design, implementation, and testing stages of software development. The MISRA (Motor Industry Software Reliability Association) standard was created to facilitate best practices for the development of safety-critical software in road vehicles.
Meet the Code Coverage Requirements of ISO 26262 and IEC 61508 with Testwell CTC++ Test Coverage Analyser
In order to evaluate the completeness of test cases, ISO 26262 requires the measurement of structural coverage. Depending on the Automotive Safety Integrity Level statement coverage, branch coverage and/or MC/DC (Modified Condition/Decision Coverage) is required (see 8.4.5 of 26262-6).
MC/DC (Modified Condition/Decision Coverage)
+ + stands for "highly recommended", + stands for "recommended"
If the achieved structural coverage is considered insufficient, additional test cases or a rationale shall be provided according 9.4.5 of ISO 26262-6.
Testwell CTC++ Test Coverage Analyser can be used for analysing this coverage levels.
In 9.4.6 the standard requires that the test environment for software unit testing shall correspond as closely as possible to the target environment. Testwell CTC++ is the ideal coverage tool to respond to this requirement, because it analyses for test coverage in any (even smallest) embedded targets.
The Tool Qualification Kit for Testwell CTC++ makes the qualification of Testwell CTC++ within your ISO 26262 and IEC 61508 projects easy.
Learn more about Testwell CTC++
CodeSonar is a Static Code Analysis Tool which is specifically designed for zero-tolerance defect environments.
CodeSonar can make a significant contribution to high code quality. Sophisticated analyses provide multiple points of leverage for verification and reverification.
With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle.
CodeSonar performs whole-program, interprocedural analysis on C and C++ source code, identifying programming bugs that can result in system crashes, memory corruption, and other serious problems. CodeSonar finds bugs automatically.
For the development of high-quality code for security- and safety-critical systems, the automotive industry relies on coding standards such as the MISRA guidelines for C and C++. GrammaTech CodeSonar supports you with checks for MISRA and many other coding guidelines. BMW, Continental, Daimler and many other companies and organizations rely on CodeSonar to perform static code analysis in ISO 26262 projects.
For further information, please read our whitepaper: Simplifying ISO 26262 Compliance with CodeSecure
Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. It automates the analysis of control flow and dependencies. Furthermore, Imagix 4D detects problems in data usage and task interactions.
With Imagix 4D you increase productivity, improve quality, and reduce risk.
One of the requirements of ISO 26262 is the enforcement of low code complexity for all Automotive Safety Integrity Levels (see 5.4.7 of 26262-6). Testwell CMT++ Code Complexity Measurement Tool can be used in order to achieve this goal. The tool analyses for the most important metrics like Lines-of-code Metrics (LOC), Halstead-Metrics, McCabe Cyclomatic Number v(G), Maintainability Index and Max ND / Maximum Nesting Depth. Testwell CMT++ is very easy to use, extremely fast and analyses even very large code bases.
Developers and managers of safety critical software need best knowledge in order to provide excellent software.
Verifysoft supports you with seminars and workshops.
Hundreds of Companies and Organisations enhance their Software Quality with Verifysoft's Testing Solutions
Verifysoft's Testing solutions have proven success in safety and security critical software development within the automotive industry. Our satisfied customers include:
APAG Elektronik AG
Automotive Saftey Technology
AVL Software and Functions GmbH
Beijing Automotive Group (China)
Berner & Mattner Systemtechnik
Conti Temic Microelektronik
Dongfeng Commercial Vehicle (China)
Elektronische Fahrwerksysteme GmbH
ELIN EBG Traction
Foundation Brakes France SAS
Friedrich Lütze GmbH
Haima Automobile China
Harmann/Becker Automotive GmbH
Hella Gutmann Solutions GmbH
Honda Research Institute
IAV GmbH (Ing.ges. Auto u. Verkehr)
ICS AG Stuttgart
ICT Group Netherlands
Lenze Drive Systems
MÁV Informatika Kft. (Hungary)
MBtech (Mercedes-Benz technology)
messMa GmbH Irxleben
Model Engineering Solutions
Nederlandse Spoorwegen Rezigers (Dutch Railways)
NPP Itelma (Russia)
Qijiang Gear Transmission (China)
Siemens Transportation Systems
Silver Atena Electronic Systems
Software & Systeme GmbH Erfurt
Sonceboz Automotive SA (CH)
TKI Automotive GmbH
TomTom International BV
TTTech Computertechnik AG
United Automotive Electronic Systems
ZF Engineering s.r.o.
ZF Friedrichshafen AG
ZF Sachs AG
Read here what Customers say about our tools:
"Missing coverage is mainly based on missing requirements or incomplete test specifications. So we use CTC++ within development of an advanced driver assistance system to find that missing requirements and to complete our test specifications. This helps us to establish a development process according to ISO 26262. It was easy to integrate CTC++ into our existing development toolchain and it provides immediate results." Michael Kalusche, Project Manager Bertrandt Ingenieurbüro GmbH, Germany
"We are using Testwell CTC++ on Instrument Clusters embedded software for Module Testing. The big advantages are high repeatability and fast execution. With this tool we can test the complete Software Module on each small change, and not only the modified part. Giving us much safer results in a shorter time." Iaran Gadotti, R&D Manager Continental Brasil Indústria Automotiva Ltda., Brasil
"IAV is one of the largest development service providers in the automotive industry developing software for body electronics. We chose Testwell CTC++ because it supports ISO26262, SPICE and ASIL B and because it can easily be integrated into various and different environments of our customers. Testwell CTC++ provides excellent support for IAV's testing activities at module level measuring the code coverage parallel to the host and target platform.
In addition, we integrated Testwell CTC++ into our Continuous Integration and build process to promptly identify gaps in code coverage and to continuously monitor our quality and code coverage. Testwell CTC++ is now an inherent part of the IAV tool chain." Marko Meyer, Senior Project Manager IAV GmbH, Germany
"We are using Testwell CTC++ in our embedded project. It has helped us to discover any uncovered code and control-path, due to incomplete unit test specifications. The integration is simple and customer support is excellent." Srinivasulu, Project Manager Knorr-Bremse Technical Center, India
"We are using Testwell CTC++ to measure the code coverage in our automotive projects. This tool is easy to learn, install, configure and use. User interface is also very simple. Analysis process is quite fast even on underachieving PCs. Generated reports are easy to read and understand. Testwell CTC++ helps us to find a lot of untested code, especially a lot of untested conditions. I greatly recommend this simple and powerful tool for every company that aims to improve its software quality!" Alexander Dolozov, Automotive Embedded Software Manager NPP ITELMA LLC, Russia
"REC Global is embedded software development partner to several major automotive suppliers. As Testwell CTC++ is recognized as a tool of choice for software quality assurance by our customers we followed their lead and implemented it also on our projects. We use it for testing of embedded applications. CTC++ reports serve as an objective measure of test quality and help us improve our development process." Borivoje Dermanovic, Project Manager REC Global, Croatia
Schleißheimer Soft- und Hardwareentwicklung GmbH provides software development services for the automotive industry.
They author software for the electronic control units in passenger vehicles. Hans-Joachim Schleißheimer, CEO explains in this videos why they use Testwell CTC++ Test Coverage Analyser. > Video Hans-Joachim Schleißheimer, CEO Schleißheimer Soft- und Hardwareentwicklung GmbH, Nieder-Wöllstadt, Germany
"Volvocars Powertrain uses CTC++ because it supports ISO26262 and SPICE and because it works well with measuring code coverage in our module test platform." Johannes Foufas, Developer Volvocars, Sweden