PGRelief的优势

GRelief三大优点

优点一：编码阶段的彻底改进

  将原先必须到测试阶段才能发现的问题提前到编码阶段发现

  有效减少返工和测试工作量

  对问题精确定位，最大限度减少开发人员的额外负担

优点二：多角度检查确保软件品质提高

  包含了富士通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语言高品质编码规范)

n  多个角度对源程序进行检查，提高软件品质

所检查的可能问题总数达到650个

优点三：为获得ISO26262认证提供帮助

  ISO26262之Part-6：对是否符合编码规范有着严格要求

PGRelief所具备的静态检查功能不可或缺，可以用于编码规范检查。

  ISO26262之Part-8：对检查用的工具自身的妥当性有着严格要求

要求用来进行规范检查所使用的第三方工具也必须通过该认证。

PGRelief也获得了ISO26262的认证。并且通过了ISO26262的最苛刻/最高级别的安全性要求认证ASIL-D (Automative SafetyIntegrity Level-D)。

           ISO26262是什么？

    在汽车行业中，针对特定的电气器件、电子设备、可编程电子器件等专门用于汽车领域的部件，旨在提高汽车电子、电气产品功能安全的国际标准。

    为汽车安全提供了一个生命周期（管理、开发、生产、经营、服务、报废）理念，并在这些生命周期阶段中提供必要的支持。该标准涵盖功能性安全方面的整体开发过程。

 PGRelief主要特点

高命中率

基于程序的数据流及控制流，准确地检查出程序中的缺陷。

由于检查的高命中率，对检查结果进行验证的工作量也会相应降低。

完备的代码评审辅助功能

本软件同时包含了许多辅助功能，比如「检查点的分类功能」可以帮助你根据检查点的重要性来查看检查结果；而「代码查看器」则可以帮助你快速跳转到源代码中出现问题的位置。

详细的检查点解说文档

对各个检查点提供了详细的解说，包括指出的理由、处理方法等各种信息。据此，开发人员可以轻松的解决问题。并且，通过阅读这些文档，开发人员可以进行编码知识的自学，从而促进自身技能的提高。

支持多种编译器

PGRelief支持多种编译器。只要在选项中进行正确的设定，就可以正确解析包含了编译器扩展语法的用户源程序。此外，对于尚未支持的编译器，提供调查和定制服务。