QAC代码检查方案[归纳].pdf

QA C/C++/Java 分别是针对三种源代码语言的代码规则检查和静态分析工具， 用于鉴别 C/C++/Java 语言使用过程中出现的问题， 这些问题包括语言中比较危险、 过于复杂、 不可移 植、难于维护的特性， 或者是编码不符合特定的规则。 而这些问题是不能靠编译器或开发工 具识别的。 QA C/C++/Java 能明显地减少代码审查所需的时间，使程序员对他们未完全理解的 C/C++/Java 语言编程特点多加注意。 通过在开发的最初阶段就注意避免编码问题， 可以提高 代码的质量，测试的周期也将会缩短。 图 1 QA C 工程 功能特点（ QA C/C++ ） QA C 分析 C 代码， 提供超过 1300 种 C 语言使用中容易出现的潜在问题， 从而发现危险的结 构，发现维护和移植中发生的问题。 成功解析许多流行的 C 语言编译器中的语言扩展和非标准的结构。 轻松定制警告信息和报告。 提供 44 种工业认可的复杂度度量，包括圈复杂度、静态路径统计和 Myer ’s interval 等， 还可以扩展公司特定的复杂度度量。 报告 ISO 标准中的非标准 C 可扩展，执行特定的分析检查。 提供多种多样的可视化输出，包括函数结构图、函数调用树、外部参考、文件包含关 系和统计的度量分析。 高亮显示 C 和 C++ 语言的移植问题。 在线的 HTML 帮助提供警告信息的详细解释，帮助开发人员加深理解语言特性。 可用于 Windows 和 Unix 平台，有方便易用的 GUI 图形界面。可以和流行的开发环境 集成 QA C++ 分析标准的 C++ ，可报告 400 多种 C++ 设计中的潜在问题，如代码构造行为，低效的 执行， C++ 相对于 C 的优先选择机制，可维护和可移植性的考虑以及标准库使用的建 议。 解析在大多数流行编译器中见到的非标准 C++ 构造，。 配置警告信息、报告和缺省值 产生针对函数、类和文件的通用的语言度量，包括圈复杂度、静态路径计算、嵌套的 深度和基于类的度量。 产生基于 ISO 标准 C++ 或是用户根据需求自定义的报告 多种可视化输出，包括函数调用、类继承、文件包含关系和统计度量分析。 显示 C 和 C++ 语言可移植性的问题 在线 HTML 帮助提供警告信息的详解，包括选择项和工作区。 可用于 Windows 和 Unix 平台，有方便易用的 GUI 图形界面。可以和流行的开发环境 集成 促使产生好的类设计和对象设计 可以解析用到 ATL 、MFC 、 RogueWave 和其他第三方库的代码。 图 2 消息浏览器 图 3 度量浏览器 图 4 文件包含关系 图 5 函数结构图，可链接到代码 图 6 HTML 格式的报告 突出优势 PR 公司是专业从事软件设计方法学和软件编程规范研究的公司，是 MISRA 的主要起 草者。 软件代码规则极其丰富， QA C 包含 1300 多条规则， QA C++ 包含 800 多条规则。并 且全面支持 MISRA-C ：2004 。 包含了国军标 GJB 5369 《航天型号软件 C 语言安全子集》 ，可以生成 GJB 问题报告单 格式的报告。 支持软件代码规则定制