自动化的代码静态分析工具 QAC/QAC++

Trinitytec · 发表于 2015-6-12 11:13:13

创提信息科技（上海）有限公司 提供的QAC/QAC++是一个完全自动化的代码静态分析工具，可以提供编码规则检查、代码质量度量、软件结构分析等功能，QAC/QAC++以其能全面而准确的发现软件中存在的潜在问题的能力得到客户的广泛认可。

QAC主要功能

代码自动审查

QAC/QAC++能够对C/C++代码规则进行自动检查，报告所违反的编程标准和准则，减少代码审查所需的时间，使软件工程师在开发阶段就可以避免代码中的问题，提高代码的质量，缩短后期动态测试的周期。

科学的质量度量

QAC/QAC++提供权威的度量指标分析能力，包括60多种C语言度量和20多种C++度量，为不同成熟度企业的软件质量改进提供客观准确的依据。

全面的规范支持

QAC/QAC++全面支持多种最新编程标准(ISO、MISRA-C:2004、MISRA-C++:2008、JSF、EC++等)，及多种其他行业编程规则。QAC/QAC++能够发现1500多种C语言问题、800多种C++的问题。并提供方便的二次开发接口，可以让软件质量工程师定制符合部门要求的规范。

灵活的测试管理

QAC/QAC++全面支持多种最新编程标准(ISO、MISRA-C:2004、MISRA-C++:2008、JSF、EC++等)，及多种其他行业编程规则。QAC/QAC++能够发现1500多种C语言问题、800多种C++的问题。并提供方便的二次开发接口，可以让软件质量工程师定制符合部门要求的规范。

强大的结构分析能力

QAC/QAC++能够在功能模块、文件引用、函数调用、代码控制流等不同层次，进行软件结构分析和诊断。通过Structure101插件，软件设计工程师在可以在集成阶段更好地理解软件架构，解析依赖关系、裁汰冗余代码。

丰富的工具集成

QAC/QAC++可以非常方便的集成到各种IDE中，开发工程师在熟悉的环境中就可以进行代码审查，例如MS VC++、Tornado、Source Insight、GCC、Keil C、C++ Builder、Eclipse、CodeWarrior、Rhapsody等。QAC提供了强大的CLI接口，可以方便的实现自动化测试脚本。通过所提供的插件包和配置生成器，测试工程师可以快速的搭建起各种嵌入式平台下的测试环境，并能够和业界领先的动态测试工具VectorCAST集成在一起，实现强强联合，构成静动态一体化测试环境。

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

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