白盒检验实验报告-样式规范.pdf

白盒检验实验报告-样式规范

.

实验报告书

实验一白盒测试

学生姓名：李庆忠

专业：计算机科学与技术

学号：1341901317

白盒检验实验报告-样式规范

.

白盒测试实验报告

一实验内容

1、系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法；

2、举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合

覆盖、路径覆盖进行测试。

3、通过试验和应用，要逐步提高和运用白盒测试技术解决实际测试问题的能力；

4、熟悉C++编程环境下编写、调试单元代码的基本操作技术和方法；

5、完成实验并认真书写实验报告（要求给出完整的测试信息，如测试程序、测试用

例，测试报告等）

二实验原理

白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设

计规格要求，所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里，

也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序

中的每条通路是否都能按预定要求正确工作。其又称为结构测试。

流程图如下图所示

白盒检验实验报告-样式规范

.

实验代码

#includestdio.h

intmain()

{

intx,y,z;

scanf(%d%d,x,y);

if((x0)(y0))

{

z=x+y+10;

}

else

白盒检验实验报告-样式规范

.

{

z=x+y-10;

}

if(z0)

{

z=0;

printf(%d\n,z);

}

else

{

printf(%d\n,z);

}

return0;

}

语句覆盖是指选择足够的测试，使得程序中每个语句至少执行一次。如选择测试

x=1,y=1和x=1,y=-1可覆盖所有语句。

判定覆盖是指选择足够的测试，使得程序中每一个判定至少获得一次“真”值和“假”

值，从而使得程序的每个分支都通过一次（不是所有的逻辑路径）。选择测试x=1,y=1和

x=1,y=-1可覆盖所有判定。

条件覆盖是指选择语句多数的测试，使得程序判定中的每个条件能获得各种不同的结

果。选择测试x=1,y=1和x=-1,y=-1可覆盖所有条件。

白盒检验实验报告-样式规范

.

判定/条件覆盖是指选择足够多的测试，使得程序判定中