软件测试.Mod10.白盒测试方法.pptVIP

CFG/循环(2) 1 4 3 int f(int a) { int x=0; do { x++; a--; } while (a0); return x; } 123456789 8..9 5..7 1..3 2 复合条件分解 如果判断中的条件表达式是由一个或多个逻辑运算符 (OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。 例如： 1 if a or b 2 x 3 else 4 y 对应的逻辑为： 独立路径 独立路径：至少沿一条新的边移动的路径 1 7 6 2,3 8 9 10 11 4,5 路径1：1-11 路径2：1-2-3-4-5-10-1-11 路径3：1-2-3-6-8-9-10-1-11 路径4：1-2-3-6-7-9-10-1-11 对以上路径的遍历，就是至少一次地执行了程序中的所有语句。 基本路径测试法 基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形复杂度，导出执行路径的基本集，再从该基本集设计测试用例。基本路径测试方法包括以下4个步骤： （1）画出程序的控制流图。 （2）计算程序的环形复杂度(圈复杂度)，导出程序基本路径集中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。 （3）导出基本路径集，确定程序的独立路径。 （4）根据（3）中的独立路径，设计测试用例的输入数据和预期输出。 基本路径测试法实例 有下面的C函数，用基本路径测试法进行测试 void Sort(int iRecordNum,int iType) { int x=0; int y=0; while (iRecordNum-- 0) { if(0= =iType) { x=y+2; break;} else if (1= =iType) x=y+10; else x=y+20; } } 第一步：画控制流图 画出其程序流程图和对应的控制流图如下 第二步：计算圈复杂度 对应上面图中的圈复杂度，计算如下： 流图中有四个区域； V(G)=10条边-8结点+2=4; V(G)=3个判定结点+1=4。 第三步：导出独立路径 根据上面的计算方法，可得出四个独立的路径。(一条独立路径是指，和其他的独立路径相比，至少引入一个新处理语句或一个新判断的程序通路。V(G)值正好等于该程序的独立路径的条数。) 路径1：4-14 路径2：4-6-7-14 路径3：4-6-8-10-13-4-14 路径4：4-6-8-11-13-4-14 根据上面的独立路径，去设计输入数据，使程序分别执行到上面四条路径。 第四步：准备测试用例 路径1：4-14 输入数据：iRecordNum＝0，或者 取iRecordNum0的某一个值 预期结果：x＝0 路径2：4-6-7-14 输入数据：iRecordNum＝1,iType＝0 预期结果：x＝2 路径3：4-6-8-10-13-4-14 输入数据：iRecordNum＝1,iType＝1 预期结果：x＝10 路径4：4-6-8-11-13-4-14 输入数据：iRecordNum＝1,iType＝2 预期结果：x＝20 void Sort(int iRecordNum,int iType) { int x=0; int y=0; while (iRecordNum-- 0) { if(0= =iType) {x=y+2; break;} else if(1= =iType) x=y+10; else x=y+20; } } 课后作业 使用基本路径测试方法，为以下程序段设计测试用例。 void Do (int X,int A,int B) { 1 if ( (A1)(B=0) ) 2 X = X/A; 3 if ( (A=2)||(X1) ) 4 X = X+1; 5 } 循环测试方法 从本质上说，循环测试的目的就是检查循环结构的有效性。 通常，循环可以划分为简单循环、嵌套循环、串接循环和 非结构循环4类。 （1）测试简单循环。设其循环的最