美国Perforce公司(原PRQA公司)是被世界范围内的高级软件开发人员、行业专家、标准团体认可的编程标准专家。在静态审查方面,为广大用户提供相关的自动化测试及管理工具,并结合客户需求提供专业的解决方案。其主打产品Helix QAC/QAC++是一个完全自动化的代码静态分析工具,可以提供编码规则检查、代码质量度量、软件结构分析等功能,Helix QAC/QAC++能够全面而准确地发现软件中潜在的问题,自身符合ISO26262 功能安全标准认证。目前Helix QAC/QAC++广泛应用于汽车、航空航天、电子商务、医疗器械、生产和通信等领域。
产品介绍
Helix QAC/QAC++主要功能
- 代码自动审查
Helix QAC/QAC++能够对C/C++ 代码规则进行自动检查,报告所违反的编程标准和准则,减少代码审查所需的时间,使软件工程师在开发阶段就可以避免代码中的问题。
- 全面的规范支持
Helix QAC/QAC++全面支持多种最新编程标准(MISRA C:2012、MISRA C++:2008、GJB5369 、CWE C、CERT C/C++、Autosar C++、JSF++、HIC++等),及其他多种行业编程规则。Helix QAC/QAC++能够发现1900 多种C语言问题、1400 多种C++ 的问题,并提供方便的二次开发接口,可以让软件质量工程师定制符合自身要求的规范。
- 科学的质量度量
Helix QAC/QAC++提供权威的度量指标分析能力,包括60 多种C 语言度量和20 多种C++ 度量,为处于不同成熟度企业的软件质量改进提供客观准确的依据,帮助企业从宏观上把控软件质量。
- 灵活的测试管理
Helix QAC/QAC++能够对全生命周期的测试过程提供代码质量管理解决方案。通过QA Verify 插件,开发经理可以随时通过网页监控项目质量趋势,跟踪缺陷状态、管理代码质量、分配工作任务、定义复合度量、对比分析质量、定制生成质量报告,并和baseline 插件一起,进行测试的版本管理和控制。
QA Verify 主要功能
QA Verify 可以与第三方持续集成插件(如Jenkins)集成,在服务器端进行代码集中、定时测试,测试后将结果分发给团队里的不同角色,同时提供了良好的团队协作、版本管理、报告导出等功能。
QA framework 主要功能
QA framework 是Perforce公司于2013 年10 月发布的一个新模块,它将Helix QAC/QAC++的用户界面又封装了一层,在新的用户界面上支持更多操作,比如可以同时使用Helix QAC/QAC++的分析器,不再需要单独使用两个软件;再如用户可以在Helix QAC/QAC++的界面上直接修改源代码等。QA framework的主要功能有:
- 新的用户界面
- 用户可以直接在QA framework界面中修改源代码
- 交叉平台命令行接口
- 与Visual Studio和Eclipse完全集成
- 允许工程中同时含有C文件和CPP文件
- 更方便地保存和发布Helix QAC/QAC++工程文件