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