白盒测试实验报告-范例.doc

广而科鞍丈摩针篦机曇協
《软件测试技术》实验报告书
实验一白盒测试
学生姓名： XXXX
学 号:XXXX
班 级：XXXX
指导老师：XXXXX
专 业：计算机学院软件工程
提交日期：2014年10月20日
白盒测试实验报告
一实验内容
1、 系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法;
2、 举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合
覆盖、路径覆盖进行测试。
3、 通过试验和应用，要逐步提高和运用白盒测试技术解决实际测试问题的能力；
4、 熟悉C++编程环境下编写、调试单元代码的基本操作技术和方法；
5、 完成实验并认真书写实验报告（要求给出完整的测试信息，如测试程序、测试用例, 测试报告等）
二实验原理
白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设 计规格要求，所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里, 也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序 中的每条通路是否都能按预定要求正确工作。其又称为结构测试。
对于该实验的例子给岀其流程图如下图所示，我们来了解白盒测试的基本技术和方法。
语句覆盖是指选择足够的测试用例，使得程序中每个语句至少执行一次。如上例选择测 试用例x=l,y=l和x=l,y=-l可覆盖所有语句。
判定覆盖是指选择足够的测试用例，使得程序中每一个判定至少获得一次“真”值和“假” 值，从而使得程序的每个分支都通过一次（不是所有的逻辑路径）。选择测试用例x=l,y=l 和x=l,y=-l可覆盖所有判定。
条件覆盖是指选择语句多数的测试用例，使得程序判定中的每个条件能获得各种不同的 结果。选择测试用例x=l,y=l和x=-l,y=-l可覆盖所有条件。
判定/条件覆盖是指选择足够多的测试用例，使得程序判定中每个条件取得条件可能的 值，并使每个判定取到各种可能的结果（每个分支都通过一次）。即满足条件覆盖，又满足 判定覆盖。选择测试用例x=l,y=l和x=-l,y=-l可覆盖所有判定/条件。
条件组合覆盖是指选择足够的测试用例，使得每个判定中的条件的各种可能组合都至少 岀现一次（以判定为单位找条件组合）。
注：a,条件组合只针对同一个判断语句存在多个条件的情况，让这些条件的取值进行 笛卡尔乘积组合。
不同的判断语句内的条件取值之间无需组合。
对于但条件的判断语句，只需要满足自己的所有取值即可。 选择测试用例x=l,y=l； x=l,y=-l, x=-l,y=l和x=-l,y=-l可覆盖所有条件组合。
路径覆盖是分析软件过程流的通用工具，有助分离逻辑路径，进行逻辑覆盖的测试，所 用的流程图就是讨论软件结构复杂度时所用的流程图。
三实验方法
1、语句覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
x=l,y=l
12
T
F
abef
x=l,y=-l
0
F
T
acdf
2、判定覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
x=l,y=l
12
T
F
abef
x=l,y=-l
0
F
T
acdf
3、条件覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
x=l,y=l
12
T
F
abef
x=-l,y=-l
0
T
T
acdf
4、判定/条件覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
x=l,y=l
12
T
F
abef
x=-l,y=-l
0
T
T
acdf
5、条件组合覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
x=l,y=l
12
T
F
abef
x=l,y=-l
0
T
T
acdf
x=-l,y=l
0
T
T
acdf
x=-l,y=-l
0
T
T
acdf
6、路径覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
x=l,y=l
12
T
F
abef
x=l,y=-l
0
T
T
acdf
x=12,y=-l
1
T
F
acef
本例
覆盖路径abdf不存在
四实验结果
根据上面设计的测试案例，编写程序后，白盒测试结果如下所示:
1、语句覆盖
x=l,y=l
'C:\Windows\System32\Debug\test_ad