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

试验汇报书
试验一 白盒测试

学生姓名：李庆忠
专 业：计算机科学和技术
学 号：


白盒测试试验汇报
一 试验内容
1、 系统地学习和了解白盒测试基础概念、原理，掌握白盒测试基础技术和方法；
2、 举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖进行测试。
3、 经过试验和应用，要逐步提升和利用白盒测试技术处理实际测试问题能力；
4、 熟悉C++编程环境下编写、调试单元代码基础操作技术和方法；
5、 完成试验并认真书写试验汇报（要求给出完整测试信息，如测试程序、测试用例，测试汇报等）
二 试验原理
白盒测试原理：已知产品内部工作过程，能够经过测试证实每种内部操作是否符合设计规格要求，全部内部成份是否已经过检验。它是把测试对象看作装在一个透明白盒子里，也就是完全了解程序结构和处理过程。这种方法根据程序内部逻辑测试程序，检验程序中每条通路是否全部能按预定要求正确工作。其又称为结构测试。
步骤图以下图所表示
试验代码
#include""
int main()
{
int x,y,z;
scanf("%d%d",&x,&y);
if((x>0)&&(y>0))
{
z=x+y+10;
}
else
{
z=x+y-10;
}
if(z<0)
{
z=0;
printf("%d\n",z);
}
else
{
printf("%d\n",z);
}
return 0;
}
语句覆盖是指选择足够测试，使得程序中每个语句最少实施一次。如选择测试x=1,y=1和x=1,y=-1可覆盖全部语句。
判定覆盖是指选择足够测试，使得程序中每一个判定最少取得一次“真”值和“假”值，从而使得程序每个分支全部经过一次（不是全部逻辑路径）。选择测试x=1,y=1和x=1,y=-1可覆盖全部判定。
条件覆盖是指选择语句多数测试，使得程序判定中每个条件能取得多种不一样结果。选择测试x=1,y=1和x=-1,y=-1可覆盖全部条件。
判定/条件覆盖是指选择足够多测试，使得程序判定中每个条件取得条件可能值，并使每个判定取到多种可能结果（每个分支全部经过一次）。即满足条件覆盖，又满足判定覆盖。选择测试x=1,y=1和x=-1,y=-1可覆盖全部判定/条件。
条件组合覆盖是指选择足够测试，使得每个判定中条件多种可能组合全部最少出现一次（以判定为单位 找条件组合）。
注：a，条件组合只针对同一个判定语句存在多个条件情况，让这些条件取值进行笛卡尔乘积组合。
b，不一样判定语句内条件取值之间无需组合。
c，对于但条件判定语句，只需要满足自己全部取值即可。
选择测试用例x=1,y=1；x=1,y=-1，x=-1,y=1和x=-1,y=-1可覆盖全部条件组合。
路径覆盖是分析软件过程流通用工具，有助分离逻辑路径，进行逻辑覆盖测试，所用步骤图就是讨论软件结构复杂度时所用步骤图。
三 试验方法
语句覆盖
测试用例输入
输出magic
判定M取值
判定N取值
覆盖路径
x=1,y=1
12
T
F
abef
x=1,y=-1
0
F
T
acdf
判定覆盖
测试用例输入
输出magic
判定M取值
判定N取值
覆盖路径
x=1,y=1
12
T
F
abef
x=1,y=-1
0
F
T
acdf
条件覆盖
测试用例输入
输出magic
判定M取值
判定N取值
覆盖路径
x=1,y=1
12
T
F
abef
x=-1,y=-1
0
T
T
acdf
判定/条件覆盖
测试用例输入
输出magic
判定M取值
判定N取值
覆盖路径
x=1,y=1
12
T
F
abef
x=-1,y=-1
0
T
T
acdf
条件组合覆盖
测试用例输入
输出magic
判定M取值
判定N取值
覆盖路径
x=1,y=1
12
T
F
abef
x=1,y=-1
0
T
T
acdf
x=-1,y=1
0
T
T
acdf
x=-1,y=-1
0
T
T
acdf
路径覆盖
测试用例输入
输出magic
判定M取值
判定N取值
覆盖路径
x=1,y=1
1