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

QAC/QAC++是一种软件静态测试工具，它由PRQA公司开发。PRQA，即Programming Research and Quality Assurance Ltd，成立于1986年，总部位于英国Hersham，是编程标准专家领域的领导者之一。PRQA专注于代码完整性管理系统的开发，旨在保证高质量软件的生产，提供自动化测试和代码质量管理工具，同时也提供专业的咨询和培训服务。PRQA的产品和服务已广泛应用于汽车、电子商务、医疗器械、生产和通信等多个领域。 QAC/QAC++的核心功能涵盖了代码自动审查、科学的质量度量、全面的规范支持、灵活的测试管理、强大的结构分析能力，以及丰富的工具集成等方面。具体而言： 1. 代码自动审查功能能够对C/C++代码进行自动检查，识别违反编程标准和准则的问题，并提供相应的报告。这大大减少了传统代码审查所需的时间，有助于开发人员在编码阶段发现并解决问题，提升代码质量，从而缩短后续的动态测试周期。 2. 科学的质量度量功能通过提供60多种C语言度量和20多种C++度量指标，为各种成熟度企业的软件质量改进提供了客观准确的依据。这些度量指标有助于企业评估和改进他们的开发流程。 3. 全面的规范支持功能确保QAC/QAC++支持国际标准（如ISO）、MISRA-C:2004、MISRA-C++:2008、JSF、EC++等，以及多种行业编程规则。它能识别超过1500种C语言问题和800多种C++问题，并且提供二次开发接口，使得软件质量工程师可以根据部门特定需求定制规范。 4. 在灵活的测试管理方面，QAC/QAC++能够提供全生命周期的测试过程代码质量管理解决方案。通过QA Verify插件，开发经理能够实时监控项目质量趋势、跟踪缺陷状态、定义复合度量、对比分析质量，以及定制生成质量报告。同时，通过Baseline插件进行版本管理和控制，从而更有效地管理整个软件开发周期。 5. 强大的结构分析能力是通过Structure101插件来实现的，它可以深入软件的不同层级，如功能模块、文件引用、函数调用、代码控制流等，进行软件结构分析和诊断。这帮助软件设计工程师在集成阶段更好地理解软件架构，解析依赖关系，并消除冗余代码。 6. QAC/QAC++在工具集成方面表现卓越，它能够与各种集成开发环境（IDE）无缝集成，如MSVC++、Tornado、SourceInsight、GCC、KeilC、C++Builder、Eclipse、CodeWarrior、Rhapsody等。此外，QAC还提供了一个强大的命令行接口（CLI），便于实现自动化测试脚本的编写。配合插件包和配置生成器，测试工程师可以快速搭建嵌入式平台下的测试环境，并与VectorCAST等业界领先的动态测试工具集成，形成静态和动态一体化的测试环境。 除了QAC/QAC++本身的功能，PRQA还推出了QAVerify和QAFramework两个模块。 QAVerify的主要功能包括与第三方持续集成插件（如Jenkins）集成，在服务器端进行代码集中、定时测试，并将结果分发给团队成员。此外，它还提供了团队协作、版本管理、报告导出等功能，提升了软件开发的效率和协同工作能力。 QAFramework是PRQA于2013年10月发布的全新模块，它在QAC的用户界面上进行了封装，提供了更多操作便利。用户可以在QAFramework界面中直接修改源代码，并使用交叉平台命令行接口。QAFramework还与Visual Studio和Eclipse完全集成，支持工程中同时含有C文件和C++文件，从而更方便地保存和发布QAC工程文件，以及在新界面上配置QAC工程。 这些功能共同构成了QAC/QAC++软件静态测试工具的核心价值，使其成为软件开发和质量管理领域不可或缺的工具之一。