白盒测试工具Pclint课件.ppt

《白盒测试工具Pclint课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、白盒测试工具PclintPclintPCLint/FlexeLintforC/C++是GIMPELSOFTWARE公司的产品PC-Lint是一个历史悠久，功能异常强劲的静态代码检测工具。它的使用历史可以追溯到计算机编程的远古时代（30多年以前）。经过这么多年的发展，它不但能够监测出许多语法逻辑上的隐患，而且也能够有效地提出许多程序在空间利用、运行效率上的改进点，在很多专业级的软件公司，比如Microsoft，PC-Lint检查无错误无警告是代码首先要过的第一关Pclint的特点1)PC-Lint是一种静态代码检测工具，可以说，P

2、C-LINT是一种更加严格的编译器，不仅可以象普通编译器那样检查出一般的语法错误，还可以检查出那些虽然完全合乎语法要求，但很可能是潜在的、不易发现的错误。2)PC-lint不但可以检测单个文件，也可以从整个项目的角度来检测问题，PC-Lint在检查当前文件的同时还会检查所有与之相关的文件3)PC-lint支持几乎所有流行的编辑环境和编译器，比如BorlandC++从1.x到5.x各个版本、BorlandC++Build、GCC、VC，VC.net、watcomC/C++、Sourceinsight、intelC/C++等等，4)

3、支持ScottMeyes的名著（EffectiveC++/MoreEffectiveC++）中说描述的各种提高效率和防止错误的方法。使用方法可以用命令行方式进行，例如lint-nt–ustd.lnttest1.ctest2.ctest3.c。另外支持MAKEFILE方式。也可以集成到开发环境中。SourceInsightSLICKEDITMSVC6.0KEILC..等操作平台PC-lintforC/C++:WindowsNT/95/98/2000/MEDOSOS/2(32bit)FlexeLintforC/C++:Unix和Un

4、ix-like平台(AIX,HP-UX,SunOS,Solaris,LINUX,Tru64Unix,SCO,etc.)VAXVMSIBM’sVM,MVSOS-9其他支持c编译器的平台兼容性支持K&RC,ANSIC,ANSI/ISOC++直接支持Microsoft,GNU和大多数其他主流的编译器和库支持大多数主流嵌入式系统的编译器拥有很多支持异类编译器的选项功能数据检查技术可检测变量初始化和数据误用的问题全局数据流跟踪技术，可跨越函数和函数之间的界限进行数据处理流程的分析可对100个左右的库函数进行检查，这些检查还可以扩展到用户函

5、数上。强化类型检查，并可进行设置检查级别选项函数变量和返回值的用户自定义语句检查找出没有用的宏，类型定义，类，成员变量/函数，声明等等。PC-Lint可以帮助我们自动查找代码中的可能存在的很多问题，包括变量值未初始化、数组访问越界、空指针访问、内存泄漏等问题。它可以帮我们检查代码中可能潜在的问题，修正模糊或者不正确的设计。PC-Lint8.0的安装由于此版本比较特殊，故无需安装，只需要将RAR压缩包里的所有文件解压到一个目录下即可，这里定为C:PCLint8目录。解压之后目录中文件及目录的说明如下：lint-nt.exePC-

6、lint可执行程序；config.exe配置向导；read80.txt手册的补充说明，最新特性的更新都在这里说明；pc-lint.pdfPC-Lint英文参考手册，许多问题的答案可以在这里找到；pr.exe打印工具；.msg.txt文本格式的错误号信息解释文件；patch.exeLINT补丁升级工具；PC-Lint8.0的安装Lnt包含各种lnt配置文件的目录，文件如下：co-....lnt各种特定的编译器的配置文件；co.lnt通用的编译器配置文件；sl-....c支持各种非ANSI标准编译器的标准库模块；sl.c支持ANS

7、I标准的通用编译器的标准库模块；env-....lnt支持包括微软VisualStudio在内的各种开发环境以及多种编辑工具的配置文件；lib-....lnt支持各种特定库的配置选项文件；au-....lnt作者编程建议的配置文件；Test.包含各种测试源文件的目录。配置运行C:PCLint8config.exe进行配置出现命令行使用的说明窗口，选择下一步选择是创建或修改已有配置文件STD.LNT的选项，这里我们是第一次配置，故选择上面一个选项CreateanewSTD.LNT，修改配置路径，然后选择下一步；界面中配置路径

8、就是PCLint安装的路径C:PCLint8，新建的STD.LNT就存放在这个目录下，当然用户也可选择另外的配置路径存放生成的STD.LNT。接下来是选择编译器，在下拉框中选择自己使用的编译器。这里我们选择MicrosoftVisualC++6.x(co-ms