ET创芯网论坛(EETOP)

找回密码

  登录   注册  

搜帖子
查看: 115|回复: 0

[原创] Helix QAC — 软件静态测试工具

[复制链接]
发表于 2019-10-18 13:13:49 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?注册

x
      Helix QAC 是Perforce 公司(原PRQA 公司)产品,主要用于C/C++ 代码的完全自动化静态分析工作,可以提供编码规则检查、代码质量度量、软件结构分析、测试结果管理等功能。Helix QAC 能够全面而准确地发现软件中潜在的问题,自身符合ISO26262 功能安全标准认证。目前已广泛应用于汽车、电子商务、医疗器械、生产和通信等领域。

      Helix QAC 主要模块为QAC/QAC++、QA Verify、以及常用行业规则包(如MISRA C:2012、MISRA C++:2008、AUTOSRA C++、CERT、CWE 等)

产品介绍

1.QAC/QAC++ 主要功能

•  代码自动审查
      QAC/QAC++ 能够对C/C++ 代码规则进行自动检查,报告所违反的编程标准和准则,减少代码审查所需的时间,使软件工程师在开发阶段就可以避免代码中的问题。


                               
登录/注册后可看大图

•  全面的规范支持
      QAC/QAC++全面支持多种最新编程标准(MISRA C:2012、MISRA C++:2008 等), 及其他多种行业编程规则。QAC/QAC++ 能够发现1700 多种C 语言问题、1300 多种C++ 的问题,并提供方便的二次开发接口,可以让软件质量工程师定制符合自身要求的规范。

•  科学的质量度量
      QAC/QAC++ 提供权威的度量指标分析能力,包括60 多种C 语言度量和20 多种C++ 度量,为处于不同成熟度企业的软件质量改进提供客观准确的依据,帮助企业从宏观上把控软件质量。

•  灵活的测试管理
      QAC/QAC++ 能够对全生命周期的测试过程提供代码质量管理解决方案。通过QA Verify 插件,开发经理可以随时通过网页监控项目质量趋势,跟踪缺陷状态、管理代码质量、分配工作任务、定义复合度量、对比分析质量、定制生成质量报告,并和Baseline 插件一起,进行测试的版本管理和控制。

2.QA Verify 主要功能

      QA Verify 可以与第三方持续集成插件(如Jenkins)集成,在服务器端进行代码集中、定时测试,测试后将结果分发给团队里的不同角色,同时提供了良好的团队协作、版本管理、报告导出等功能。


                               
登录/注册后可看大图

3.QA Framework 主要功能

      QA Framework 是PRQA 公司于2013 年10 月发布的一个新模块,它将QAC/QAC++ 的用户界面又封装了一层,在新的用户界面上支持更多操作,比如可以同时使用QAC 和QAC++ 的分析器,不再需要单独使用两个软件;再如用户可以在QAC/QAC++ 的界面上直接修改源代码等。QA Framework的主要功能有:

•  新的用户界面
    ♦  用户可以直接在QA Framework界面中修改源代码
    ♦  交叉平台命令行接口
•  与Visual Studio和Eclipse完全集成
•  允许工程中同时含有C文件和CPP文件
•  更方便地保存和发布QAC/QAC++工程文件


                               
登录/注册后可看大图

您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐上一条 /4 下一条

小黑屋|关于我们|联系我们|在线咨询|ET创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2019-11-20 07:59 , Processed in 0.055111 second(s), 8 queries , Gzip On, Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表