白盒测试方法实验报告.docVIP

实 验 报 告 课程名称 软件测试 题 目 白盒方法测试 院 系 信息工程学院 班 级 计算机 学 号 学生姓名 指导老师 日 期 2019年 一、实验题目 白盒方法测试 二、实验目的 使学生能够更进一步理解白盒测试方法。 能够区分语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖所达到的覆盖层次，并能用各层次覆盖的设计思想设计相应的测试用例。 区分语句覆盖、判定覆盖、条件覆盖的异同，掌握其测试用例设计方法和程序特征； 三、实验环境 Windows系统平台和Dev-C++开发环境。 四、实验内容 某程序的逻辑设计如下图所示，自行分析程序结构，请为该程序设计测试用例使其分别满足：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖，并按照测试用例测试程序，完善测试用例各项内容的填写。 #include iostream using namespace std; int main() { int F=0; int T=0; int x,y; cinxy; if(x=50y=50) { F=1;} if(x+y80) { T=2; } else { T=3; } coutFendlTendl; } 五、实验步骤 1.依据程序逻辑结构图分析程序结构，找出程序的各种组合。 2.依据实验要求设计测试用例使测试达到特定覆盖。 3.选择自己熟悉的语言编写程序。 4.用各种测试用例测试程序。 5.1语句覆盖 特点：语句覆盖要求设计足够多的测试用例，运行被测程序，使得程序中每条语句至少被执行一次。在本例中，可执行语句是指语句块1到语句块4中的语句。 用例设计： 数据 语句 {x=60, y=60} 1、2、3 {x=30, y=30} 1、4 通过这两个测试用例即达到语句覆盖的标准（测试用例组不是唯一的）。 优点：可以很直观地从流程图得到测试用例，可以测试所有的执行语句。 缺点：语句覆盖不能准确的判断运算中的逻辑关系错误。假设第一个判断语句if(x=50 y=50)中的“”被错误地写成了“||”，即if(x=50 || y=50)，使用上面设计出来的一组测试用例来进行测试，仍然可以达到100%的语句覆盖。在六种逻辑覆盖标准中，语句覆盖标准最弱的。 5.2判定覆盖 特点：判定覆盖（分支覆盖）要求设计足够多的测试用例，运行被测程序，使得程序中的每个判断的“真”和“假”都至少被执行一次。即：程序中的每个分支至少执行一次。在本例中共有两个判断if(x=50 y=50)（记为P1）和if(x+y80)（记为P2）。 用例设计： 数据 P1 P2 {x=30, y=30} F F {x=100, y=100} T T 两个判断的取真、假分支都已经被执行过，所以满足了判断覆盖的标准。 优点：由于可执行语句要不就在判定的真分支，要不就在假分支上，判定覆盖比语句覆盖要多几乎一倍的测试路径，所以，只要满足了判定覆盖标准就一定满足语句覆盖标准。因此，判定覆盖比语句覆盖强。 缺点：判定覆盖会忽略条件中取或（or）的情况。假设第一个判断语句if(x=50 y=50)中的“”被程序员错误地写成了“||”，使用上面设计出来的一组测试用例，仍然可以达到100%的判定覆盖，所以判定覆盖也无法发现上述的逻辑错误。 5.3条件覆盖 特点：条件覆盖要求设计足够多的测试用例，运行被测程序，使得判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值。在本例中有两个判断if(x=50 y=50)（记为P1）和if(x+y80)（记为P2），共计三个条件x=50（记为C1）、y=50（记为C2）和x+y80（记为C3）。 用例设计： 数据 C1 C2 C3 P1 P2 {x=30, y=30} F F F F F {x=100, y=100} T T T T T 三个条件的各种可能取值都满足了一次，达到了100%条件覆盖的标准，同时也到达了100%判定覆盖的标准。但并不能保证达到100%条件覆盖标准的测试用例（组）都能到达100%的判定覆盖标准，看下面的例子： 数据 C1 C2 C3 P1 P2 {x=30, y=60} F T T F T {x=100, y=-30} T F F F F 既然条件覆盖标准不能100%达到判