标签：
PGRelief三大优点
将原先必须到测试阶段才能发现的问题提前到编码阶段发现
有效减少返工和测试工作量
对问题精确定位，最大限度减少开发人员的额外负担
优点二：多角度检查确保软件品质提高
包含了富士通10多年开发中积累的经验和技术
可以检查如下规范
ISO/IEC 9989:1990,1999 (C语言规范)
ISO/IEC 14882:1998,2003,2011 (C++语言规范)
MISRA-C 1998,2004,2012；MISRA-C++2008 (汽车工业软件可靠性协会编码规范)
IPA/SEC (适合嵌入式的C语言高品质编码规范)
多个角度对源程序进行检查，提高软件品质
所检查的可能问题总数达到650个
优点三：为获得ISO26262认证提供帮助
ISO26262之Part-6：对是否符合编码规范有着严格要求
PGRelief所具备的静态检查功能不可或缺，可以用于编码规范检查。
ISO26262之Part-8：对检查用的工具自身的妥当性有着严格要求
要求用来进行规范检查所使用的第三方工具也必须通过该认证。
PGRelief也获得了ISO26262的认证。并且通过了ISO26262的最苛刻/最高级别的安全性要求认证ASIL-D (Automative Safety Integrity Level-D)。
ISO26262是什么？
在汽车行业中，针对特定的电气器件、电子设备、可编程电子器件等专门用于汽车领域的部件，旨在提高汽车电子、电气产品功能安全的国际标准。
为汽车安全提供了一个生命周期（管理、开发、生产、经营、服务、报废）理念，并在这些生命周期阶段中提供必要的支持。该标准涵盖功能性安全方面的整体开发过程。
PGRelief主要特点
高命中率
基于程序的数据流及控制流，准确地检查出程序中的缺陷。
由于检查的高命中率，对检查结果进行验证的工作量也会相应降低。
完备的代码评审辅助功能
本软件同时包含了许多辅助功能，比如「检查点的分类功能」可以帮助你根据检查点的重要性来查看检查结果；而「代码查看器」则可以帮助你快速跳转到源代码中出现问题的位置。
详细的检查点解说文档
对各个检查点提供了详细的解说，包括指出的理由、处理方法等各种信息。据此，开发人员可以轻松的解决问题。并且，通过阅读这些文档，开发人员可以进行编码知识的自学，从而促进自身技能的提高。
支持多种编译器
PGRelief支持多种编译器。只要在选项中进行正确的设定，就可以正确解析包含了编译器扩展语法的用户源程序。此外，对于尚未支持的编译器，提供调查和定制服务。
标签：
原文地址：http://www.cnblogs.com/goup/p/4184298.html
