软件测试-实验2-静态白盒测试.pdfVIP

软件质量保证与测试

2013春季实验分数

教师：占百分比得分

实验报告2–静态白盒测试实验室演示20%

实验报告80%

学号:姓名:合计100%

1引言

【此部分简单介绍静态白盒测试相关技术、PC-Lint等】（至少200字）

静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软

件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹

配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步

的查错，并为测试用例选取提供指导。

白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规

定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内

部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期

的状态一致。

PC-Lint是GIMPELSOFTWARE公司开发的C/C++软件代码静态分析工具，它的全称是PC-Lint/FlexeLintforC/C++，PC-Lint能够在

Windows、MS-DOS和OS/2平台上使用，以二进制可执行文件的形式发布，而FlexeLint运行于其它平台，以源代码的形式发布。PC-lint

在全球拥有广泛的客户群，许多大型的软件开发组织都把PC-Lint检查作为代码走查的第一道工序。PC-Lint不仅能够对程序进行全局分

析，识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针以及冗余的代码，还能够有效地帮你提出许多程序在空间

利用、运行效率上的改进点。

2测试结果记录

表1静态测试结果分析表

编源代码（指明是哪个函数中的哪编译提静态测试结果你的修改再次静你的理解

号几条语句）示态测试

结果

1

1函数array1()：无错误Warning415:Likelyaccessofreturna[k-1];无错误是缺陷，必须修复。

out-of-boundspointer(1

returna[k];很明显的数组越界访问，

beyondendofdata)by