QAC-QAC++静态软件测试工具介绍

QAC/QAC++静态软件测试工具介绍

QAC/QAC++是英国编程研究公司（Programming Research Ltd）专业进行

C 和C++语言规则的检查工具，在十几年里，QAC/QAC++产品一直处于静态

编程规则检查领域的领先地位，PRL 公司有多名专家参与MISRA 和其它标准

的起草和编写工作。PRL 公司积累了深厚的经验，因为其对编程语言的理解非常精深，其产品在汽车、通信、航天航空、军工等领域拥有大量的用户。QAC/QAC++以其能全面而准确的发现软件中存在的潜在问题的能力得到客户

的认可和赞赏。功能特点

QAC/QAC++能够对C/C++代码规则进行自动检查，报告所违反的编程标准

和准则。通过QAC/QAC++的使用可以减少代码审查所需的时间，使软件设计

师在开发阶段的就可以避免代码中的问题，提高代码的质量，缩短后期动态测试的周期。QAC/QAC++产品界面简洁直观，操作和使用非常简单，建立工程

之后直接加入代码就可以进行分析，能够发现1200 多种C 语言问题、800 多种

C++的问题，可以支持所有编译器的扩展、配置简单灵活，分析速度非常快，分析报告可以是excel、word、pdf、图表等多种形式，在线帮助相关联，可以

及时得到问题的解释和示例。QAC/QAC++支持多种编程标准(ISO，MISRA

C，JVF，EC++等)，也支持多种其它行业编程规则。QAC/QAC++提供了编程

规则的二次开发接口，允许添加其它的自定义的编程规则。

QAC/QAC++能够提供另外两种静态分析的能力：软件结构分析和质量度量.

软件结构分析包括：函数控制结构图、函数调用树、数据引用关系图，文件包含关系。质量度量包括：提供60 多种C 语言度量和20 多种C++度量。检测

功能

QAC/QAC++能发现C 代码中超过1300 种潜在问题，C++代码400 多种潜在