白盒测试实验-介绍.doc

实验报告书 实验一 白盒测试 学生姓名：李庆忠 专 业：计算机科学与技术 学 号：1341901317 白盒测试实验报告 一 实验内容 1、 系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法； 2、 举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖进行测试。 3、 通过试验和应用，要逐步提高和运用白盒测试技术解决实际测试问题的能力； 4、 熟悉C++编程环境下编写、调试单元代码的基本操作技术和方法； 5、 完成实验并认真书写实验报告（要求给出完整的测试信息，如测试程序、测试用例，测试报告等） 二 实验原理 白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否经过检查。 流程图如下图所示 实验代码 #includestdio.h int main() { int x,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); } 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 12 T F abef x=1,y=-1 0 T T acdf x=12,y=-1 1 T F acef 本例覆盖路径abdf不存在 四 实验结果 根据上面设计的测试案例，编写程序后，白盒测试结果如下所示： 语句覆盖 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=-