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多种潜在问题，从而发现危险的结构，发现维护和移植中发生的问题。

成功解析许多流行的C/C++语言编译器中的语言扩展和非标准的结构。
简单操作就可以轻松定制警告信息和报告。
提供几十种C/C++复杂度度量，包括圈复杂度、静态路径统计和Myer's interval等，还可以扩展定制的复杂度度量。
提供开发接口，可扩展执行特定的分析检查。
可以扩展自定义的代码检测规则。
提供多种多样的可视化输出，包括函数结构图、函数调用树、外部参考、文件包含关系和统计的度量分析。
可用于Windows和Unix平台，有方便易用的GUI图形界面，可以和流行的开发环境集成。

突出优势

QAC在代码规则检查方面深入透彻，集成了多种编程标准，有超过1200多条警告提示可以给开发人员很好的提醒，可以作为贯彻实施企业编程准则和行业编程的检测工具。经过测试，QAC可以很准确的发现代码中潜在的问题，不存在漏报，误报和错报的情况。QAC利用强大的分析器进行预处理和后分析，检查C语言代码缺失或者遗漏的头文件。QAC以其严谨而准确的分析提供了可靠的检测结果。QAC能支持各行业编程标准，进行独立检查并生成报告。

QAC的操作和使用非常简单，在Viewer中可以方便查看结果，点击警告就可以看到在线解释和示例，自动进行报告的更新。QAC和QAC++允许再二次开发接口上定制新的规则，只需要点击鼠标便可定制特定的规则，可以添加行业标准或者自定义的内部规则。

QAC可以集成到其他IDE中，在熟悉的环境就可以进行规则检查，比如：MS VC++，MS .NET，Tornado，Source Insight，Keil C，C++ Builder，Labwindows CVI等各种开发环境。

支持的平台

QAC支持的语言有C、C++、Java、Fortran；
QAC可支持的平台有Microsoft Windows、Sun Solaris、HP-UX、Redhat Linux、Slackware Linux。

 

 

STM32/STM8

意法半导体/ST/STM