白盒测试实验报告范例总12.pdf
实验报告书实验报告书实验一实验一 白盒测试白盒测试白盒测试实验报告白盒测试实验报告一一实验内容实验内容1、系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法；2、举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖进行测试。3、通过试验和应用，要逐步提高和运用白盒测试技术解决实际测试问题的能力；4、熟悉 C+编程环境下编写、调试单元代码的基本操作技术和方法；5、完成实验并认真书写实验报告（要求给出完整的测试信息，如测试程序、测试用例，测试报告等）二二实验原理实验原理白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作。其又称为结构测试。流程图如下图所示实验代码实验代码#include#includeint main()int main()int x,y,z;int x,y,z;scanf(%d%d,&x,&y);scanf(%d%d,&x,&y);if(x0)&(y0)if(x0)&(y0)elseelse z=x+y-10;z=x+y-10;z=x+y+10;z=x+y+10;if(z0)if(z0)elseelse return 0;return 0;printf(%dn,z);printf(%dn,z);z=0;z=0;printf(%dn,z);printf(%dn,z);语句覆盖语句覆盖 是指选择足够的测试，使得程序中每个语句至少执行一次。如选择测试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 可覆盖所有条件组合。路径覆盖路径覆盖是分析软件过程流的通用工具，有助分离逻辑路径，进行逻辑覆盖的测试，所用的流程图就是讨论软件结构复杂度时所用的流程图。三三实验方法实验方法1 1、语句覆盖语句覆盖测试用例输入x=1,y=1x=1,y=-12 2、判定覆盖判定覆盖测试用例输入x=1,y=1x=1,y=-13 3、条件覆盖条件覆盖测试用例输入x=1,y=1x=-1,y=-14 4、判定判定/条件覆盖条件覆盖测试用例输入x=1,y=1x=-1,y=-15 5、条件组合覆盖条件组合覆盖输出 magic120判定 M 的取值TT判定 N 的取值FT覆盖路径abefacdf输出 magic120判定 M 的取值TT判定 N 的取值FT覆盖路径abefacdf输出 magic120判定 M 的取值TF判定 N 的取值FT覆盖路径abefacdf输出 magic120判定 M 的取值TF判定 N 的取值FT覆盖路径abefacdf测试用例输入x=1,y=1x=1,y=-1x=-1,y=1x=-1,y=-16 6、路径覆盖路径覆盖测试用例输入x=1,y=1x=1,y=-1x=12,y=-1输出 magic12000判定 M 的取值TTTT判定 N 的取值FTTT覆盖路径abefacdfacdfacdf输出 magic1201判定 M 的取值TTT判定 N 的取值FTF覆盖路径abefacdfacef本例覆盖路径 abdf 不存在四四 实验结果实验结果根据上面设计的测试案例，编写程序后，白盒测试结果如下所示：1 1、语句覆盖语句覆盖x=1,y=1x=1,y=-12 2、判定覆盖判定覆盖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 不存在五五 实验分析实验分析对于白盒测试，在设计测试用例时首先对程序进行分析，从程序的内部结构出发设计测试用例，涉及到程序的控制方法、源语句、编码细节、数据库设计等。设计测试用例时应用了白盒测试中的多种测试方法，其中包括：测试覆盖（语句覆盖、分支覆盖、分支条件覆盖等）、基路径测试等方法。白盒测试中，对代码的测试比较透彻，但不容易生成测试用例，而且测试工作量很大。因为白盒测试是基于代码的基础上，所以对变量的定义、数据的分析、精度的度量都有严格的要求。同时，对于白盒测试的案例设计，要注意以下几点（1）保证每个模块中的所有独立路径至少被执行一次；（2）对所有的逻辑值均需要测试真、假两个分支；（3）在上下边界及可操作范围内运行所有循环；（4）检查内部数据结构以确保其有效性。
