PGRelief嵌入式代码静态测试工具开发升级

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

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

关键特性

01早期发现代码缺陷

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

有效减少返工和测试工作量，提高开发效率，降低开发成本

对于错误及缺陷的精准定位，大幅度地减少了开发人员的工作负担

02丰富的功能

丰富的指摘

代码评审辅助

程序复杂度度量

命名规则约定

品质检查

广域探索

03确保品质提高

蕴含富士通近20年开发中积累的经验和技术

支持MISRA、SEC、CERT等编码规范检查

多角度对源代码进行检查，从而提高软件品质

04助力ISO26262认证

软件本身通过ISO26262认证（ASIL-D，认证编号：JQA-KC12001）

认证机构认可的检测报告

PGReliefC/C++技术参数

一般特征

命令行接口（CLI）

交互式GUI

IDE集成

支持C++11

代码分析

1183个可选检查点

语法检查

语义检查

程序度量

命名规则检查

广域探索

结果输出

HTML报告

CSV报告

支持系统

Windows7及以上

RHEL5及以上

编码规范实施

MISRAC1998,2004,2012

MISRAC++2008

CERTC/C++

支持的版本管理系统

Git

Subversion

支持的编译器

GCC/G++

MicrosoftVisualC++

IARC/C++

Renesas

……

PGReliefC/C++用户

国内某汽车集团

国际某知名汽车配件商

国际某知名自控制造商

国际某知名电器商

国家电网某下属企业

icon04用户评价

PGReliefC/C++的确帮助我们解决了各类问题

PGReliefC/C++的确检查结果及建议具有很高的专业性

使用PGReliefC/C++节省了大量的人力成本

本地化服务团队为我们提供了及时完善的服务