Helix QAC/QAC++ — 软件静态测试工具

hirain

概述
        美国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++工程文件




恒润科技