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

袇广西科技大学计算机学院蚄《软件测试技术》实验报告书芃蚀实验一白盒测试蚆螃蚄学生姓名:xxxx膈学号:xxxx虿班级:xxxx袃指导老师:xxxxx螁专业:计算机学院软件工程袀蒈羃膂提交日期:2014年10月20日薂膇羃薃肀羆肃白盒测试实验报告羄一实验内容螁1、系统地学习和理解白盒测试的基本概念、原理,掌握白盒测试的基本技术和方法;肈2、举例进行白盒测试,使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖进行测试。膃3、通过试验和应用,要逐步提高和运用白盒测试技术解决实际测试问题的能力;肀4、熟悉C++编程环境下编写、调试单元代码的基本操作技术和方法;腿5、完成实验并认真书写实验报告(要求给出完整的测试信息,如测试程序、测试用例,测试报告等)螇芃二实验原理蒁白盒测试原理:已知产品的内部工作过程,可以通过测试证明每种内部操作是否符合设计规格要求,所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里,也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序,检验程序中的每条通路是否都能按预定要求正确工作。其又称为结构测试。袁对于该实验的例子给出其流程图如下图所示,我们来了解白盒测试的基本技术和方法。薆薇袂荿语句覆盖是指选择足够的测试用例,使得程序中每个语句至少执行一次。如上例选择测试用例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肃12羄T螁F肈abef膃x=1,y=-1肀0腿T螇T芃acdf蒁x=12,y=-1袁1薆T薇F袂acef荿本例覆盖路径abdf不存在四实验结果根据上面设计的测试案例,编写程序后,白盒测试结果如下所示:语句覆盖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=-1