Industry benchmark for in-depth, accurate analysis of industrial-scale C/C++ code
The earlier software errors are identified and eliminated in the development process, the more your costs are reduced. QA-MISRA checks for over 900 potential software errors in source code. Through static analysis with QA-MISRA dangerous structures as well as problems with security, maintenance and porting can easily be found at an early stage.
Safety standards testing compliance
International software safety standards require evidence of low level testing to obtain certification for the device software.
Standard specific QA-MISRA tool certification kits are available and contain everything needed out-of-the-box as well as comprehensive guidance to help you achieve certification for your device software. Tool qualification of QA-MISRA is also available where tool certification against a standard is not permitted as the tool must be qualified separately for each project (e.g. for DO-178B/C).
SUPPORTED CODING STANDARDS
(for further information please see the links below):
Guidelines for the use of the C/C++ languages in critical systems
Common Weakness Enumeration security standard for the use of C language
Guidelines for the C++ language in safety-critical systems
Hersteller Initiative Software consortium quality metrics for C/C++ languages
By using the ‘Qualification Support Kit‘, QA-MISRA is automatically qualified for the following safety standards: