《白盒测试实验报告_范例.doc》由会员分享，可在线阅读，更多相关《白盒测试实验报告_范例.doc（6页珍藏版）》请在课桌文档上搜索。
1、.广西科技大学计算机学院软件测试技术实验报告书实验一 白盒测试 学生姓名：xxxx 学 号：xxxx 班 级：xxxx 指导老师：xxxxx 专 业：计算机学院软件工程提交日期：白盒测试实验报告一 实验内容1、 系统地学习和理解白盒测试的基本概念、原理,掌握白盒测试的基本技术和方法；2、 举例进行白盒测试,使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖进行测试。3、 通过试验和应用,要逐步提高和运用白盒测试技术解决实际测试问题的能力；4、 熟悉C+编程环境下编写、调试单元代码的基本操作技术和方法；5、 完成实验并认真书写实验报告要求给出完整的测试信息,如测试程序、测试用例
2、,测试报告等二 实验原理白盒测试原理：已知产品的内部工作过程,可以通过测试证明每种内部操作是否符合设计规格要求,所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里,也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序,检验程序中的每条通路是否都能按预定要求正确工作。其又称为结构测试。对于该实验的例子给出其流程图如下图所示,我们来了解白盒测试的基本技术和方法。语句覆盖是指选择足够的测试用例,使得程序中每个语句至少执行一次。如上例选择测试用例x=1,y=1和x=1,y=-1可覆盖所有语句。判定覆盖是指选择足够的测试用例,使得程序中每一个判定至少获得一次真值和假值
3、,从而使得程序的每个分支都通过一次不是所有的逻辑路径。选择测试用例x=1,y=1和x=1,y=-1可覆盖所有判定。条件覆盖是指选择语句多数的测试用例,使得程序判定中的每个条件能获得各种不同的结果。选择测试用例x=1,y=1和x=-1,y=-1可覆盖所有条件。判定/条件覆盖是指选择足够多的测试用例,使得程序判定中每个条件取得条件可能的值,并使每个判定取到各种可能的结果每个分支都通过一次。即满足条件覆盖,又满足判定覆盖。选择测试用例x=1,y=1和x=-1,y=-1可覆盖所有判定/条件。条件组合覆盖是指选择足够的测试用例,使得每个判定中的条件的各种可能组合都至少出现一次以判定为单位 找条件组合。注
4、：a,条件组合只针对同一个判断语句存在多个条件的情况,让这些条件的取值进行笛卡尔乘积组合。 b,不同的判断语句内的条件取值之间无需组合。 c,对于但条件的判断语句,只需要满足自己的所有取值即可。选择测试用例x=1,y=1；x=1,y=-1,x=-1,y=1和x=-1,y=-1可覆盖所有条件组合。路径覆盖是分析软件过程流的通用工具,有助分离逻辑路径,进行逻辑覆盖的测试,所用的流程图就是讨论软件结构复杂度时所用的流程图。三 实验方法1、 语句覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=1,y=-10FTacdf2、 判定覆盖测试用例输入输出mag
5、ic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=1,y=-10FTacdf3、 条件覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=-1,y=-10TTacdf4、 判定/条件覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=-1,y=-10TTacdf5、 条件组合覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=1,y=-10TTacdfx=-1,y=10TTacdfx=-1,y=-10TTacdf6、 路径覆盖测试用例输入输出m
6、agic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=1,y=-10TTacdfx=12,y=-11TFacef本例覆盖路径abdf不存在四 实验结果根据上面设计的测试案例,编写程序后,白盒测试结果如下所示：1、 语句覆盖x=1,y=1x=1,y=-12、 判定覆盖x=1,y=1x=1,y=-1条件覆盖x=1,y=1x=-1,y=-1判定/条件覆盖x=1,y=1x=-1,y=-1条件组合覆盖x=1,y=1x=1,y=-1x=-1,y=1x=-1,y=-1路径覆盖x=1,y=1x=1,y=-1x=12,y=-1本例覆盖路径abdf不存在五 实验分析 对于白盒测试,在设计测试用
7、例时首先对程序进行分析,从程序的内部结构出发设计测试用例,涉及到程序的控制方法、源语句、编码细节、数据库设计等。设计测试用例时应用了白盒测试中的多种测试方法,其中包括：测试覆盖语句覆盖、分支覆盖、分支条件覆盖等、基路径测试等方法。白盒测试中,对代码的测试比较透彻,但不容易生成测试用例,而且测试工作量很大。因为白盒测试是基于代码的基础上,所以对变量的定义、数据的分析、精度的度量都有严格的要求。同时,对于白盒测试的案例设计,要注意以下几点1保证每个模块中的所有独立路径至少被执行一次；2对所有的逻辑值均需要测试真、假两个分支；3在上下边界及可操作范围内运行所有循环；4检查内部数据结构以确保其有效性。
8、附件：测试实现源程序#include/*static */int sign=0;static char m=T,n=T;/int logicExample;int logicExampleint magic=0;if0&y0magic=x+y+10;sign+;elsemagic=x+y-10;m=F;ifmagicmagic=0;sign+=2;else n=F;return magic;mainint x,y;/static int sign=0;/static char m=T,n=T,char p45=acef,abef,acdf,abdf;cout-n;coutx;couty;coutmagic 已知：0endl;cout-n;cout测试结果分别是：n;cout-n;coutx的值 y的值 logic的值 判定M 判定N 覆盖路径endl;cout-n;coutx y logicExample m;cout n psignendl;6 / 6
