软件测试-4

4.2.2 模块逻辑性测试
（4） 比较错误 小于，大于，等于，不等于，真，假.比较和判断错误 很可能是边界条件问题。 比较判断与控制流常常紧密相关，设计测试用例时还 应考虑是否出现下列问题： 不同数据类型的对象之间进行比较； 错误地使用逻辑运算符或优先级； 因计算机表示的局限性，期望理论上相等而实际 上不相等的两个量相等； 比较运算或变量出错； 循环终止条件或不可能出现； 迭代发散时不能退出； 错误地修改了循环变量。
4.2.2 模块逻辑性测试
[例子4-2]表达式越界。表达式中使用了一个指针， 它已经超出了合理的范围。 Main() { char *a = “test” ; char *b; a+=6; b=&a[6]; return(0); }
4.2.2 模块逻辑性测试
[例子4-3]越界读。 main { char a=“TEST”; char b[20]; memcpy(b，a，sizeof(b)); Return（0）； }
模块局部数据结构测试是为了保证临时存储在模块 内的数据在程序执行过程中完整、正确。局部数据结构 往往是错误的根源，应仔细设计测试用例，力求发现下 面几类错误： （1） 不合适或不相容的类型说明； （2）变量无初值； （3）变量初始化或省缺值有错； （4）不正确的变量名（拼错或不正确地截断）； （5）出现上溢、下溢和地址异常。
静态白盒测试优点
（1）节约开发宝贵时间和昂贵的人力资源。 （2）越早发现错误就更容易也更便宜地解决问题。 （3）减少持续成本。 （4）使程序员编程技术受益。通过提醒程序员在 编译过程中所出现的编写陷阱，错误，使之受 益。 （5）提高顾客对产品的满意度，更是极其重要。 （6）一个质量完好的产品，卓有成效地缩短了进 入市场所需时间，将加强企业产品竞争力，和 收益能力。
4.2.2 模块逻辑性测试
[例子4-4] 数组越界。 main() { int junk; char a[10]; strcpy(a，”A simple test”); retutn(0); }
4.2.2 模块逻辑性测试
[例子4-6] 表达式中使用”野指针”。野指针是指向一个不能确认的内存 块，通常由两种情况引起，其一是代码中使用了一个指向明确的内存块; 其二是只编了一部分模块，缺少足够的信息。 Union { int ptr int ival } u ; Main() { int I = 123 ，j = 345; u. Ptr = &i; u ivai = i; If (u.ptr > &j) //两个地址比较 u.ptr = &j ; Return (0) ; }
4.2.2 模块逻辑性测试
8. 内存处理的逻辑错误 内存处理的逻辑错误有：无效参数，空循环体，代码没有被执行到，代 码执行没效果，未使用的变量等。 [例子4-10] 数组参数是NULL。 Int fix( a) { Int a[]; Return 12; } Int *array; Main() { Fix (array); //array值不确定 Retutn(0); }
4.2.1 模块规范性测试
对于结构化程序，给出模块功能清单如表4-1 所示。 表4-1 模块功能清单
模块号
函数或者过程名
功能描述
4.2.1 模块规范性测试
对于面向对象的程序，给出类结构清单如表 4-2所示。 表4-2 类结构清单
序号
类名
属性名称
方法名称和描述
4.2.2 模块逻辑性测试
检查算法的逻辑正确性，确定算法是否实现了所要求的功 能； 例如下面这样一段代码: if (i<0) & (i>=0) … 这段代码交集为整个数轴，所以IF语句没有必要。 I=0; while(I>100){ J=J+100; T=J*PI; } 在循环体内变量I没有增加,产生了死循环。
4.2.3 模块接口测试
测试接口除了考虑前面“子程序参数错误”的因素 外，如果模块内包括外部输入输出，还应该考虑下 列因素： （1）文件属性是否正确； （2）对于读写文件，文件使用前是否已经打开？ OPEN/CLOSE语句是否正确； （3） 是否处理了文件尾； （4）是否处理了输入/输出错误；
4.2.4 模块局部数据结构测试
4.2 静态分析
静态白盒测试就是静态分析，它的 目的是找出源程序中是否存在错误或 “潜在的危险”。 静态分析的手段就是代码检 查， 代码走查依据的是每个公司颁布 的编码规范等技术标准，可以通过事 先 制定好的检查表（CheckList）进行检查。
检查的内容有： （1）模块规范性测试； （2）模块逻辑性测试。包括：变量的类型分 析，引用分析（包括引用异常），表达式 分析（包括数组下标，零除数，负数开方 等）等。 （3）模块接口测试； （4）模块局部数据结构测试； （5） 模块全局数据结构测试；
4.2.2 模块逻辑性测试
[例子4-8]不匹配的参数类型 union { int i double d } data void funcl(ptr){ union data *ptr ptr->i=l; } void func2(int *p) { *p=l ； } Main()｛ int t; union data u ; funcl(&u); funcl (&t); /*BAD_PARM*/ func2(&u); /*BAD_PARM*/ func2(&t) ; ｝
4．内存泄漏 如果一个动态分配的内存不能被释放，我们就 称为”内存泄漏”。 导致内存泄漏的原因有2个：（1）内存使用不 释放；（2）指针被改变造成内存泄漏。 内存的分配语句new和内存释放语句delete必须 匹配，New/delete操作是成对出现的， 否则会导 致内存泄漏，可能对今后的某些编译器不能正常工 作
Байду номын сангаас
4.2.2 模块逻辑性测试
9. 代码规则 [例子4-12] 没有初始化值。 #define comms_up 2 main() { char tool ; printf(“the result is ”，tool+5); } 注意：变量 tool没有初始化。
4.2.2 模块逻辑性测试
[例子4-13]数据转换可能出错，整型和无符号整型 Main() { Int height; Unsighed level; Int correction; Level = height * correction; // error }
4.2.2 模块逻辑性测试
（5）控制流 控制流程错误的原因是编程语言中循环等 控制结构未按预期的方式工作.它们通常由计算或 者比较错误直接或间接造成。 这里应该注意： 循环终止的控制； 是否存在死循环； 循环从不执行； 对于switch---case语句这样的多个分支，是否导 致意外进入循环。
4.2.2 模块逻辑性测试
4.2.2 模块逻辑性测试
7.虚悬指针 7.虚悬指针 虚悬指针是指向刚刚被释放掉的内存块的指针。 通常系统会将释放掉的内存分配给程序中其他部分 的新数据结构，但可能存在一个时间差。 如果你在这部分实际已释放的内存被重新分配 以前读取其数据， 可能其内容还是当前的， 这绝 对是不可靠的; 如果你向其写入数据，则无法保证 下次读取的还是相同的内容。 因此读写已释放的内存块是非常危险的。
4.2.5 模块全局数据结构测试
除了局部数据结构外，如果可能，单元测试时还应 该查清全局数据（例如FORTRAN的公用区）对模 块的影响。 在模块中应对每一条独立执行路径进行测试，单元 测试的基本任务是保证模块中每条语句至少执行一 次。此时设计测试用例是为了发现因错误计算、不 正确的比较和不适当的控制流造成的错误。此时基 本路径测试和循环测试是最常用且最有效的测试技 术。
4.1.2 白盒测试策略
在白盒测试中，可以使用各种测试方法的综合策略： （1）应尽量先用工具进行静态结构分析； （2）采取先静态后动态的组合方式：先进行静态结构分析、代 码检查和静态质量度量，再进行覆盖率测试； 利用静态分析的结果作为引导，通过代码检查和动态 测试的方法对静态分析结果进行进一步的确认，是测试工作 更为有效； 覆盖率测试是白盒测试的重要指标，一般可使用基本 路径测试法达到语句覆盖标准；对于软件的重点模块，应使 用多种覆盖率标准衡量代码的覆盖率； （3）在不同的测试阶段，测试的侧重点不同：在单元测试阶段， 以代码检查、逻辑覆盖为主；在集成测试阶段，需要增加静 态结构分析、静态质量度量；在系统测试阶段，应根据黑盒 测试的结果，采取相应的白盒测试。
软件测试技术与案例实践教程
北京师范大学出版社 主编： 主编： 刘竹林
第4章 静态白盒测试
学习目标： 学习目标： （1）熟悉白盒子测试的方法与策略 （2）掌握静态分析方法 （3）熟悉同行评审的过程
4.1 白盒测试概述
4.1.1 白盒子测试的定义 白盒子测试是基于代码的测试， 通 过程序代码或者通过开发工具找出软件的缺 陷，也称作结构测试或逻辑驱动测试。它的 主要目的是检测软件程序内部结构，程序书 写是否规范、是否按照项目需求规格说明正 常运行；
4.2.1 模块规范性测试
规范性测试是检查代码是否符合公司代码标准。比如， 代码 规范中规定，函数名称一律为动宾结构。 Function NameGet(){ …. } 这是属于不符合开发规范的错误。 检查的方法可以利用分析生成的各种引用表来完 成编码规范的检查。这些引用表包括：标号引用表，变 量引用表，子程序，宏，函数表，等价表（等价语句中 的列出全部变量和标号），常数表（包括数字和字符常 数）。
4.2.2 模块逻辑性测试
3. 数据错误 （1）数据引用错误 引用错误是指使用未经正确初始化用法和 引用方式的变量，常量数组，字符串或记录而 导致的软件错误。 （2）数据声明错误 数据声明错误缺陷产品的原因是不正确地 声明或使用变量和常量。