PGRelief的优势,你了解吗?

时间:2024-03-03 13:39:36

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