讲课 第4章 白盒()几种测试方法.pptVIP

软件工程文档写作 《信息系统开发与管理》课程组 白盒测试 9.2 测试用例设计 白盒测试用例 语句覆盖，判定覆盖，条件覆盖 判定/条件覆盖，条件组合覆盖，路径覆盖 黑盒测试用例 等价类划分，边界值分析，错误推测法 白盒测试用例——逻辑覆盖 逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术，属于白盒测试。 它要求测试人员十分清楚程序的逻辑结构，考虑的是测试用例对程序内部逻辑覆盖的程度。 根据覆盖的目标，逻辑覆盖又可以分为： 语句覆盖：程序中的每个语句至少执行一次 判定覆盖：程序中每个判定的取“真”分支和取“假”分支至少都执行一次 条件覆盖：程序判定中的每个条件能获得各种可能的结果 判定／条件覆盖：判定中的每个条件都取到各种可能的值 条件组合覆盖：每个判定中的条件的各种可能组合都至少出现一次 1） 逻辑覆盖 Test(int A,int B,int X) { if (A 1) (B =0) x=x/A; if (A = 2) || (X 1) x++; } 1） 逻辑覆盖 A1 B=0 A=2 || X1 a X=X/A X++ b N Y c d e Y N 1语句覆盖－1 目的：找出符合语句覆盖的路径 左图中共有4条路径： P1（ace）、P2（abd），P3（abe）、P4（acd）。 P1正好满足语句覆盖的条