MISRA C Compliance. • Compliance Modules providing integrated, flexible
configuration for QA·C. • enforcement of MISRA C:1998 / 2004 /. 2012 coding
rules.
MISRA C Compliance MISRA C
The MISRA C Guidelines
• A set of coding guidelines for development in C • A set of rules which define a safer subset of the C language • A resource of guidance in good development practice • A reference book describing common dangers and language vulnerabilities • A text book providing education about code quality issues Automated MISRA C Compliance
• Compliance Modules providing integrated, flexible configuration for QA·C • Enforcement of MISRA C:1998 / 2004 /
2012 coding rules
• Custom rule support • Enhanced compliance management via QA·Verify - deviate, review, annotate and audit Key Benefits
• High-quality enforcement of MISRA C coding rules • Accurate detection of non-compliances with minimal false positives • Reporting and audit documentation to demonstrate compliance • Improved software quality • More consistent and effective code inspections • Accelerated adoption of coding best practices
The MISRA C Guidelines provide a rich resource of practical advice on the subject of good development practice as well as a comprehensive set of coding rules for the C language. The rules define a safer subset of the language suitable for any development project where safety, quality or reliability are issues of concern. The original MISRA C:1998 guidelines were derived from coding standards developed by PRQA for Ford™ and Rover™. MISRA C:1998 and the later iteration, MISRA C:2004, have since become de facto standards in the automotive world and have also been widely adopted across many other industries, including aerospace, defense, rail, nuclear, medical, process control and telecommunications. A third edition, MISRA C:2012, has recently been published and demonstrates the enduring relevance and value of MISRA C.
“The latest version of MISRA C provides an outstanding basis for effective and safe use of the C Language. With support for C99, a range of improvements and detailed explanations of the rationale behind individual rules, MISRA C:2012 is a valuable tool for anyone who cares about software quality and is developing systems in C.” Paul Burden, one of the co-authors of the MISRA C Coding Standards and PRQA’s representative on the MISRA C working group for more than 10 years
Independent Research on MISRA C Compliancy Checking Tools In 2012, TERA-Labs (a research division of the Karel de Grote University College, Antwerp, Belgium) published “A Comparative Study of MISRA-C Compliancy Checking Tools”. In conjunction with a panel of industrial partners, TERA-Labs selected a representative sample of key MISRA C:2004 rules and investigated the effectiveness of eight well known commercial tools in finding violations to these rules. The performance of each tool was assessed in respect of false positives (noise and incorrect diagnosis) and false negatives (missed noncompliances). QA·C with our MISRA C Compliance Module outperformed all other tools, finding important, material defects that other tools had missed, and generating the lowest incidence of false positives. As Dr Marijn Temmerman from TERA-Labs observed, “On paper all the selected tools claimed to provide comprehensive MISRA C compliance checking – but the reality was different”.
“Since we began using the QA·C MISRA Compliance Module, the quality and consistency of our first generation code has skyrocketed, and our final products have been virtually error-free.” Head of Software Development, Delphi Diesel
www.programmingresearch.com
MISRA C Compliance MISRA C
MISRA Compliance Module overview The same experts who helped to write the MISRA C Guidelines and support our customers in the field also develop our PRQA static analysis tools and compliance modules. This is undoubtedly one of the key reasons behind our exceptional performance in relation to MISRA C.
Compliance Modules are available for: MISRA C:1998 MISRA C:2004 MISRA C:2012 Each compliance module applies the extensive QA·C message set supplemented by some additional MISRA-specific checks to enforce the coding rules. Documentation is provided describing rule enforcement and message interpretation, and an extensive set of example code is included to aid understanding.
Message Help
About PRQA Established in 1985, PRQA is recognized throughout the industry as a pioneer in static analysis, championing automated coding standard inspection and defect detection, delivering its expertise through industry-leading software inspection and standards enforcement technology. PRQA has representation on and close affiliation with the following standard bodies: • ISO C Committee • ISO C++ Voting Member • MISRA C Working Group Founding Member • MISRA C++ Working Group Founding Member
Further Information Further information is available on our website at www.programmingresearch.com including: Whitepapers: 10 page synopsis of TERA-Labs study, MISRA: An overview, MISRA C:2012 Recorded Webinars: Overview on Coding Standards, MISRA C:2012
Contact Us For further information regarding PRQA products and consulting services, please contact PRQA via your local sales representative, or directly at:
[email protected]
© Programming Research Ltd 2013. V1.1/02.13
Because Life Depends On Software
®
