QAC代码检查方案

《QAC代码检查方案》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、QAC/C++/Java分别是针对三种源代码语言的代码规则检査和静态分析工具，用于鉴别C/C++/Java语言使用过程中出现的问题，这些问题包括语言中比较危险、过于复杂、不町移植、难于维护的特性，或者是编码不符合特定的规则。而这些问题是不能靠编译器或开发工具识别的。QAC/C++/Java能明显地减少代码审查所需的吋间，使程序员对他们未完全理解的C/C++/Java语言编程特点多加注意。通过在开发的最初阶段就注意避免编码问题，可以提高代码的质量，测试的周期也将会缩短。（uknl

2、

3、EE][E園芯会血港渎FoMers:1:1Files:

4、57:57QAC7.0-Examples图1QAC工程功能特点（QAC/C++）QAC•分析C代码，提供超过1300种C语言使用中容易出现的潜在问题，从而发现危险的结构，发现维护和移植中发生的问题。•成功解析许多流行的C语言编译器中的语言扩展和非标准的结构。•轻松定制警告信息和报告。•提供44种工业认对的复杂度度量，包括圈复杂度、静态路径统计和Myer^interval等,还可以扩展公司特定的复杂度度量。•报告ISO标准中的非标准C•可扩展，执行特定的分析检查。•提供多种多样的可视化输出，包括函数结构图、函数调用树、外部参考、文件包含

5、关系和统计的度量分析。•高亮显示C和C++语言的移植问题。•在线的HTML帮助提供警告信息的详细解释，帮助开发人员加深理解语言特性。•可用于Windows和Unix平台，有方便易用的GUI图形界面。可以和流行的开发环境集成QAC++•分析标准的C++,可报告40()多种C++设计屮的潜在问题，如代码构造行为，低效的执行，C++相刈于C的优先选择机制，可维护和可移植性的考虑以及标准库使用的建议。•解析在大多数流行编译器中见到的非标准C++构造,。•配置警告信息、报告和缺省值•产生针对函数、类和文件的通用的语言度量，包括圈复杂度、静态路径

6、计算、嵌套的深度和基于类的度量。•产牛基于ISO标准C++或是用户根据需求口定义的报告•多种可视化输出，包括函数调用、类继承、文件包含关系和统计度量分析。•显示C和C++语言nJ移植性的问题•在线HTML帮助提供警告信息的详解，包括选择项和工作区。•可用于Windows和Unix平台，有方便易用的GUI图形界面。可以和流行的开发环境集成•促使产牛好的类设计和对象设计•可以解析用到ATL、MFC、RogueWave和其他第三方库的代码。图2消息浏览器3FileViewMetricGroupsMetricsHelpFunction^Bas

7、edMetricBrowser

8、STCYC:Cydomaticcompiexty

9、UpperthresholdLowerthreshotdMetncNameNormaisedKiviatChart■STCYC:Cydomaticconiptexty•STaFrugof如/noaser$STAKtAtayama'scrtenonSTAV1:AveragesizeofstatementnfuSTAV2AveragesizeolstatementnfuSTAV3:AveragesizeofstatementrfuSTBAKNumberotb

10、ackwardsjumpsSTCALNiinberoffunctionscaledfrotrSTFN1Numberofoperatoroccurrence：•厂T»1JdFunctionName•I命ooobaccess(1)onetootar⑵negptrrxiex⑶

11、t(Ma[20]■图3度量浏览器图4文件包含关系图5函数结构图，可链接到代码图6HTML格式的报告突出优势•PR公司是专业从事软件设计方法学和软件编程规范研究的公司，是MISRA的主要起草者。•软件代码规则极其丰富，QAC包含1300多条规则，QAC++包含800多条规则。并且全而支持MISRA-C：2004o•包含了国军标GJB5369《航天型号软件C语言安全子集》，可以牛成GJB问题报告单格式的报告。•支持软件代码规则定制•QAC采取高级编译技术，直接分析源代码，分析迅速准确，速度为3000W秒以上。问题直接定位到源代码处，并可查

12、找相关联的头文件。警告形式为类似编译器的Warning形式。•QAC提供官方VC、.net、Tomad。等IDE环境集成插件，开发人员可以边开发边检查,使用方便，发现问题后容易修改。支持自定制环境集成，如和Keil、So