PGRelief嵌入式代码静态测试工具

PGRelief®  C/C++是富士通(南京)软件与日本富士通合作开发的静态代码检测软件。通过对C/C++源代码的检测和分析,能够快速检查出代码的错误和缺陷。从而提高软件开发品质,缩短开发周期,降低软件开发成本。同时支持MISRA、SEC、CERT编码规范检查。广泛地应用于汽车电子、医疗、家电等多种行业的嵌入式软件开发。

PGRelief

关键特性

早期发现代码缺陷

  • 将原先到测试阶段才能发现的问题,提前到编码阶段发现
  • 有效减少返工和测试工作量,提高开发效率,降低开发成本
  • 对于错误及缺陷的精准定位,大幅度地减少了开发人员的工作负担

丰富的功能

  • 丰富的指摘
  • 代码评审辅助
  • 程序复杂度度量
  • 命名规则约定
  • 品质检查
  • 广域探索

确保品质提高

  • 蕴含富士通近20年开发中积累的经验和技术
  • 支持MISRA、SEC、CERT等编码规范检查
  • 多角度对源代码进行检查,从而提高软件品质

助力ISO 26262认证

  • 软件本身通过ISO26262认证(ASIL-D,认证编号:JQA-KC12001)
  • 认证机构认可的检测报告

PGRelief C/C++技术参数

  • 一般特征

    命令行接口(CLI)
    交互式GUI
    IDE集成
    支持C++11

  • 编码规范实施

    MISRA C 1998,2004,2012
    MISRA C++2008
    CERT C/C++

  • 代码分析

    1183个可选检查点
    语法检查
    语义检查
    程序度量
    命名规则检查
    广域探索

  • 支持的版本管理系统

    Git
    Subversion

  • 结果输出

    HTML报告
    CSV报告

  • 支持系统

    Windows 7及以上
    RHEL5及以上

  • 支持的编译器

    GCC/G++
    Microsoft Visual C++
    IAR C/C++
    Renesas

PGRelief C/C++用户

  • 国内某汽车集团
  • 国际某知名汽车配件商
  • 国际某知名自控制造商
  • 国际某知名电器商
  • 国家电网某下属企业

用户评价

  • PGRelief C/C++的确帮助我们解决了各类问题
  • PGRelief C/C++的确检查结果及建议具有很高的专业性
  • 使用PGRelief C/C++节省了大量的人力成本
  • 本地化服务团队为我们提供了及时完善的服务

联系我们

电话:025-86630566-5109
商务联络:fnstml-business@fujitsu.com
技术支持:fnstml-prd-support@fujitsu.com
地址:江苏省南京市雨花台区文竹路6号
邮编:210012