白盒测试_第四讲lwh131020.pptVIP

最少测试用例数计算 为实现测试的逻辑覆盖，必须设计足够多的测试用例，对于某个具体的程序来说，至少需要设计多少个测试用例? 结构化程序是由 3 种基本控制结构组成：顺序型（构成串行操作）、选择型（构成分支操作）和重复型（构成循环操作）。 为了把问题化简，避免出现测试用例极多的组合爆炸，把构成循环操作的重复型结构用选择结构代替。这样，任一循环便改造成进入循环体或不进入循环体的分支操作了。 Z路径覆盖下的循环测试方法 Z路径覆盖是路径覆盖的一种变体，它是将程序中的循环结构简化为选择结构的一种路径覆盖。 循环简化的目的是限制循环的次数，简化后的循环测试只考虑执行循环体一次和零次（不执行）两种情况，即考虑执行时进入循环体一次和跳过循环体这两种情况。 最少测试用例数计算（续） 用N-S图表示程序的3种基本控制结构： 最少测试用例数计算（续） 显然，要测试这个小程序，需要至少提供4个测试用例才能作到逻辑覆盖，使得ac、ad、bc及bd操作均得到检验。其实，这里的4是图中的第1个分支谓词引出的两个操作，及第2个分支谓词引出的两个操作组合起来而得到的，即 2×2=4。并且，这里的2是由于两个并列的操作，即1+1=2 而得到的。 最少测试用例数计算（续） 最少测试用例数计算（续） 习题 例：某程序所画出的N-S图如右图所示的，至少需要多少个测试用例才能对该程序实现逻辑覆盖？ 路径表达式 为了满足路径覆盖，必须首先确定具体的路径以及路径的个数。我们通常采用控制流图的边（弧）序列和节点序列表示某一条具体路径，更为概括的表示方法为： （1）弧a和弧b相乘，表示为ab，它表明路径是先经历弧a，接着再经历弧b，弧a和弧b是先后相接的。 （2）弧a和弧b相加，表示为a+b，它表明两条弧是“或”的关系，是并行的路段。 路径数的计算：在路径表达式中，将所有弧均以数值1来代替，再进行表达式的相乘和相加运算，最后得到的数值即为该程序的路径数。 基本路径测试方法 案例 void Sort ( int iRecordNum, int iType ) 1 { 2 int x=0; 3 int y=0; 4 while ( iRecordNum-- 0 ) 5 { 6 If ( iType==0 ) 7 x=y+2; 8 else 9 If ( iType==1 ) 10 x=y+10; 11 else 12 x=y+20; 13 } 14 } 测试方法如下 画出控制流图（如右图） 计算环形复杂度： 10（条边）- 8（个节点）+ 2 = 4 导出独立路径（用语句编号表示） 路径1：4→14 路径2：4→6→7 →13→4 →14 路径3：4→6→9→10→13→4→14 路径4：4→6→9→12→13→4→14 测试方法如下（续） 设计测试用例： 白盒法测试举例 - 工资管理程序测试 例：工资管理程序BONUS的输入数据是职员表(Employee Table)和部门表(Department Table)(如图)。职员表由姓名(Name)、职务(Job Code)、部门(Dept.)和工资(Salary)四项组成，部门表由部门(Dept)和销售量(Sales)两项组成。 白盒法测试举例 - 工资管理程序测试 程序的功能是；“为销售量最大的部门中每一个职员增加200元工资，但是，如果某个职员的原有工资已达15000元，或者他的职务是经理，则只给他增加100元，如果程序能正常地完成，则输出出错码0；如果输入表格中没有任何条目，则输出出错码 1；如果没有职员在部门表中销售量最大的部门中工作，则输出出错码2”。 白盒法测试举例 - 工资管理程序测试 下面是BONUS的源程序，参数表中EMPTAB、DEPTTAB分别是职员表和部门表，ESIZE、DSIZE分别是两个表的长度，ERRCODE是出错码。 PROCEDURE BONUS(EMPTAB，DEPTTAB：TABLE； ESIZE，DSIZE，ERRCODE： ??????????????????????????INTEGER)； …… 1???BEGIN MAXSALERS:=0； ERRCODE:=0； 2?????????IF??（ESIZE≤0）OR (DSIZE≤0) 3 ??????? THEN ERRCODE:=1 4?????????ELSE 5???????????? BEGIN FOR I:=1 TO DSIZE DO 6 ?????????????????IF SAL