软件测试关键技术白盒测试.docx

广西科技大学计算机学院
《软件测试技术》实验报告书
实验一 白盒测试
It学习网
学生姓名：It学习网站长
学 号：3062
班 级：卓越计Y121
指引教师：王日凤
专 业：计算机学院软件工程
提交日期：10月28日
白盒测试实验报告
一 实验内容
1、系统地学习和理解白盒测试基本概念、原理，掌握白盒测试基本技术和办法；
2、举例进行白盒测试，使用语句覆盖、鉴定覆盖、条件覆盖、鉴定/条件覆盖、组合覆盖、途径覆盖进行测试。
3、通过实验和应用，要逐渐提高和运用白盒测试技术解决实际测试问题能力；
4、熟悉C++编程环境下编写、调试单元代码基本操作技术和办法；
5、完毕实验并认真书写实验报告（规定给出完整测试信息，如测试程序、测试用例，测试报告等）
二 实验原理
白盒测试原理：已知产品内部工作过程，可以通过测试证明每种内部操作与否符合设计规格规定，所有内部成分与否已通过检查。它是把测试对象看作装在一种透明白盒子里，也就是完全理解程序构造和解决过程。这种办法按照程序内部逻辑测试程序，检查程序中每条通路与否都能按预定规定对的工作。其又称为构造测试。
开始
对于该实验例子给出其流程图如下图所示，咱们来理解白盒测试基本技术和办法。
1
` 2
K=0,J=0
k=x*y-1；
j=sqrt(k);
Y
x>0 && z<10
鉴定M 3
(x==4) || (y>5)
N
4
5

6 Y
鉴定N
j=x*y+10;

结束
j=j%3;
7 N
8
9
10
语句覆盖:语句覆盖是设计足够测试用例使程序中每一条可执行语句至少执行一次。这题中，两个if语句鉴定之后，只要保证使两个鉴定都为真，那么所有执行语句就都可以执行了，即可达到语句覆盖规定。因此设计测试用例如下：
x = 4 ，y = 6 ，z = 8 。
这组测试用例执行途径是1—2—3—4—5—6—7—8—9—10
鉴定覆盖:鉴定覆盖规定程序中每个判断取真分支和取假分支至少经历一次。这题中，有两个鉴定语句，至少需要设计两组测试用例，才干分别覆盖两个if语句真分支和假分支。因此设计测试用例如下：
用例1：x = 4 ，y = 6 ，z = 8
其执行途径是1—2—3—4—5—6—7—8—9—10 ；
用例2：x = 3 ，y = 5 ，z = 8
其执行途径是1—2—3—6—7—9—10。
条件覆盖：条件覆盖规定每个判断中每个条件也许取值至少要满足一次。这道题目中条件有四个，分别如下：①
x > 3 ； ② z < 10 ；③ x == 4 ；④ y > 5 ；
设计用例时要使每个条件分别取真和取假。设计测试用例如下表。
测试用例编号
测试数据
覆盖条件
执行途径
1
x=3,y=8,z=8
①假②真③假④真
1-2-3-6-7-8-9-10
2
x=4,y=5,z=13
①真②假③真④假
1-2-3-6-7-8-9-10
鉴定/条件覆盖：
鉴定/条件覆盖规定判断中每个条件所有也许至少浮现一次，并且每个判断自身也许鉴定成果也至少浮现一次。题目中条件有四个，分别如下：
x > 3 ； ② z < 10 ；③ x == 4 ；④ y > 5 ；
该程序中分支有四个 。因此设计测试用例如下表所示：
测试用例编号
测试数据
覆盖条件
执行途径
1
x=4,y=8,z=8
①真②真③真④真
1-2-3-4-5-6-7-8-9-10
2
x=3,y=5,z=13
①假②假③假④假
1-2-3-6-7-9-10
条件组合覆盖：
条件组合覆盖规定每个鉴定所有也许条件取值组合至少执行一次。这道题目中共有四个条件分别如下：
x > 3 ； ② z < 10 ；③ x = = 4 ；④ y > 5 ；
设定x