第5章白盒测试浅析.ppt

白盒测试;白盒测试;把测试对象看做一个透明的盒子 白盒测试是根据被测程序的内部结构设计测试用例并完成测试的一种测试方法 白盒测试或逻辑驱动测试 基于一个应用代码的内部逻辑知识，测试覆盖全部代码、分支、路径和条件;白盒测试 (结构测试)特点;白盒测试的方法;通用代码审查清单;代码覆盖率;测试覆盖标准;测试覆盖标准;逻辑驱动测试 语句覆盖 判定覆盖 条件覆盖 判定－条件覆盖 条件组合覆盖 路径覆盖;例：实现一个简单的数学运算;1.语句覆盖;1.语句覆盖……续1;1.语句覆盖……续2;2.判定覆盖;2.判定覆盖……续1;2.判定覆盖……续2;2.判定覆盖……续3;3.条件覆盖;3.条件覆盖……续1;3.条件覆盖……续2;3.条件覆盖……续3;4.判定－条件覆盖;判断M;4.判定－条件覆盖……续2;4.判定－条件覆盖……续3;5.条件组合覆盖;5.条件组合覆盖……续1;5.条件组合覆盖……续2;5.条件组合覆盖……续3;6.路径覆盖……续1;6.路径覆盖;6.路径覆盖……续1;6.路径覆盖……续2;;条件组合覆盖结合路径覆盖;程序结构分析;控制流分析;控制流图;控制流图……续;控制流图……续2;;;;图5-8 简化后的三角形控制流图;;包含复合条件的伪代码转化成控制流图 ;程序结构的基本要求;数据流分析;数据流分析……续;基本路径测试;基本路径测试方法（续）;计算环形复杂度的方法;基本路径测试方法（续）;基本路径测试方法（续）;路径覆盖的利弊;例1：有下面的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; } };基本路径测试举例;基本路径测试-画控制流图出;基本路径测试 - 计算圈复杂度;基本路径测试 - 导出测试用例;基本路径测试 - 准备测试用例;基本路径测试 - 准备测试用例; 例2：下例程序流程图描述了最多输入50个值（以–1作为输入结束标志），计算其中有效的学生分数的个数、总分数和平均值。;开始;1;步骤2:确定环形复杂性度量V(G)： 1）V(G)= 6 （个区域） 2）V(G)=E–N+2=16–12+2=6 其中E为流图中的边数，N为结点数； 3）V(G)=P+1=5+1=6 其中P为谓词结点的个数。在流图中，结点2、3、5、6、9是谓词结点。;步骤3：确定基本路径集合（即独立路径集合）。于是可确定6条独立的路径： 路径1：1-2-9-10-12 路径2：1-2-9-11-12 路径3：1-2-3-9-10-12 路径4：1-2-3-4-5-8-2… 路径5：1-2-3-4-5-6-8-2… 路径6：1-2-3-4-5-6-7-8-2…;步骤4：为每一条独立路径各设计一组测试用例，以便强迫程序沿着该路径至少执行一次。 1）路径1(1-2-9-10-12)的测试用例： score[k]=有效分数值，当k i ； score[i]=–1, 2≤i≤50； 期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。;2）路径2(1-2-9-11-12)的测试用例： score[ 1 ]= – 1 ； 期望的结果：average = – 1 ，其他量保持初值。 3）路径3(1-2-3-9-10-12)的测试用例： 输入多于50个有效分数，即试图处理51个分数，要求前51个为有效分数； 期望结果：n1=50、且算出正确的总分和平均分。;4）路径4(1-2-3-4-5-8-2…)的测试用例： score[i]=有效分数，当i50； score[k]0， k i ； 期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。 5）路径5的测试用例： score[i]=有效分数， 当i50； score[k]100， k i ； 期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。;6）路径6(1-2-3-4-5-6-7-8-2…)的测试用例： score[i]=有效分数， 当i50； 期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。;;第一步：导出控制流图 ;第