1、1,白盒测试,2,白盒测试,白盒测试概念测试覆盖标准逻辑驱动测试基本路径测试控制结构测试的变种,3,白盒测试,白盒测试概念白盒测试也称结构测试或逻辑驱动测试，是一种测试用例设计方法，它从程序内部逻辑结构及有关信息来设计和选择测试用例，对程序的逻辑路径进行测试。应用白盒法时，手头必须有程序的规格说明以及程序清单。 白盒测试的主要目的保证一个模块中的所有独立路径至少被执行一次；对所有的逻辑值均需要测试真、假两个分支；在上下边界及可操作范围内运行所有循环；检查内部数据结构以确保其有效性。,白盒测试概念,白盒测试,白盒测试的优缺点优点 迫使测试人员去仔细思考软件的实现可以检测代码中的每条分支和路径揭示
2、隐藏在代码中的错误对代码的测试比较彻底2. 缺点 昂贵无法检测代码中遗漏的路径和数据敏感性错误不验证规格的正确性,5,测试覆盖标准,穷举测试不可行白盒法考虑的是测试用例对程序内部逻辑的覆盖程度。最彻底的白盒法是覆盖程序中的每一条路径，但是由于程序中一般含有循环，所以路径的数目极大，要执行每一条路径是不可能的，只能希望覆盖的程度尽可能高些。,6,测试覆盖标准,7,测试覆盖标准,上页小程序的流程图其中包括了一个20次的循环。那么它所包含的不同执行路径数为520（1013）条，若要对它进行穷举测试，覆盖所有路径。假使测试程序对每一条路径进行测试需1毫秒，假定一天工作24小时，一年工作365 天， 那
3、么要想所有路径测试完，需3170年。上页小程序即使每条路径都测过，仍可能存在错误。因为：穷举路径测试无法检查出程序本身是否违反了设计规范，即程序是否是一个错误的程序。穷举路径测试不可能查出程序因为遗漏路径而出错。穷举路径测试发现不了一些与数据相关的错误。,8,测试覆盖标准,为了衡量测试的覆盖程度，需建立一些标准。测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高效果越好。测试覆盖率用于确定测试所执行到的覆盖项的百分比。测试覆盖率包括功能点覆盖率和逻辑覆盖率：功能点覆盖率大致用于表示软件已经实现的功能与软件需要实现的功能之间的比例关系。逻辑覆盖率指程序逻辑的
4、覆盖率，可分为语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。,9,测试覆盖标准,覆盖标准从低到高分别是： 语句覆盖 SC（Statement Coverage）是一个较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。它是最弱的逻辑覆盖，效果有限，必须与其它方法交互使用。 判定覆盖（也称为分支覆盖） DC（Decision coverage）执行足够的测试用例，使得程序中的每一个分支至少都通过一次。判定覆盖只比语句覆盖稍强，但实际效果表明，只是判定覆盖，还不能保证一定能查出在判断条件中存在的错误。因此，还需要更强的逻辑覆盖准则去检验判断内部
5、条件。,10,测试覆盖标准,条件覆盖 CC（Condition Coverage）执行足够的测试用例，使程序中每个判断的每个条件的每个可能取值至少执行一次；条件覆盖深入到判定中的每个条件，但可能不满足判定覆盖的要求。 判定/条件覆盖 CDC（Condition/ Decision Coverage） 执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个分支取到各种可能的结果。判定/条件覆盖有缺陷：从表面看，它测试了所有条件的取值，但其实往往是某些条件掩盖了另一些条件，会遗漏某些条件取值错误的情况。,11,测试覆盖标准,条件组合覆盖 MCC （Multiple Condition C
6、overage） 执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。这是一种相当强的覆盖准则，可以有效地检查各种可能的条件取值的组合是否正确。它不但可覆盖所有条件的可能取值的组合，还可覆盖所有判断的可取分支，但可能有的路径会遗漏掉。测试还不完全。路径覆盖设计足够多的测试用例，要求覆盖程序中所有可能的路径。,12,测试覆盖标准,13,14,逻辑驱动测试,概述语句覆盖判定覆盖（分支覆盖）条件覆盖判定/条件覆盖修正条件判定覆盖 条件组合覆盖综合举例,逻辑驱动测试,15,白盒测试的主要方法：,逻辑驱动测试设计足够多的测试用例，运行所测程序，满足某种测试覆盖率要求。基本的有：语句覆盖判定覆
7、盖（也称为分支覆盖）条件覆盖判定/条件覆盖条件组合覆盖基本路径测试设计足够多的测试用例，运行所测程序，要覆盖程序中所有可能的路径。这是最强的覆盖准则。但在路径数目很大时，真正做到完全覆盖是很困难的，必须把覆盖路径数目压缩到一定限度。,逻辑驱动测试,16,语句覆盖,语句覆盖一个较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。 如，例1：PROCEDUREM(VAR A，B，X：REAL)；BEGIN IF (A1) AND (B=0) THEN X:=X/A； IF (A=2) OR (X1) THEN X:=X+1； END.,逻辑驱动测试,17,语句覆盖
8、,为使程序中每个语句至少执行一次，只需设计一个能通过路径ace的例子就可以了，如选择输入数据为： A=2，B=0，X=3 （期望输出：A,B不变，X=2.5）就可达到“语句覆盖”标准。,语句覆盖,逻辑驱动测试,PROCEDUREM(VAR A，B，X：REAL)；BEGIN IF (A1) AND (B=0) THEN X:=X/A； IF (A=2) OR (X1) THEN X:=X+1； END.,18,语句覆盖,优点：可很直观地从源代码得到测试用例，无须细分每条判定表达式。缺点：从上例可看出，语句覆盖是很弱的，发现不了判定中逻辑运算的错误，即它并不是一种充分的检验方法。如：1）如果第一
9、个条件语句中的AND错误地写成OR，这个测试用例不能发现这个错误；2）如第三个条件语句中X1误写成X0，这个测试用例也不能暴露它；3）沿着路径abd执行时，X的值应该保持不变，如果这一方面有错误，测试数据也不能发现。,逻辑驱动测试,PROCEDUREM(VAR A，B，X：REAL)；BEGIN IF (A1) AND (B=0) THEN X:=X/A； IF (A=2) OR (X1) THEN X:=X+1； END.A=2，B=0，X=3,19,语句覆盖,例2：void DoWork(int x,int y,int z) int k=0,j=0; if(x3) /语句块3,逻辑驱动测试
10、,语句覆盖,20,为了满足语句覆盖率，只要设计一个测试用例就可把三个执行语句块中的语句覆盖。测试用例输入为： x=4、y=5、z=5程序执行的路径是：abd 。,void DoWork(int x,int y,int z) int k=0,j=0; if(x3) /语句块3,21,语句覆盖,该测试用例虽然覆盖了可执行语句，但并不能检查判断逻辑是否有问题，例如在第一个判断中把&错误的写成了|，则上面的测试用例仍可以覆盖所有的执行语句。一般认为“语句覆盖”是很不充分的一种标准，是最弱的逻辑覆盖准则。,逻辑驱动测试,void DoWork(int x,int y,int z) int k=0,j=0
11、; if(x3) /语句块3x=4、y=5、z=5,22,分支覆盖,分支覆盖比“语句覆盖”稍强的覆盖标准是“分支覆盖”(或称判定覆盖)标准。含义是：执行足够的测试用例，使得程序中的每一个分支至少都通过一次。,逻辑驱动测试,23,分支覆盖,对例1，如设计两个测试用例，使它们能通过路径ace和abd，或者通过路径acd和abe，就可达到“判定覆盖”标准，为此，可以选择输入数据为： A=3，B=0，X=1 (沿路径acd执行)； A=2，B=1，X=3(沿路径abe执行),逻辑驱动测试,PROCEDUREM(VAR A，B，X：REAL)；BEGIN IF (A1) AND (B=0) THEN X
12、:=X/A； IF (A=2) OR (X1) THEN X:=X+1； END.,24,分支覆盖,判定覆盖,判定覆盖,A=3，B=0，X=1 (沿路径acd执行)A=2，B=1，X=3 (沿路径abe执行),逻辑驱动测试,25,分支覆盖,“分支覆盖”比“语句覆盖”严格如果每个分支都执行过了，则每个语句也就执行过了。针对语句覆盖中不能检测的错，在分支覆盖中： A=3，B=0，X=1 (沿路径acd执行)； A=2，B=1，X=3 (沿路径abe执行)1）如第一个条件语句中的AND错写成OR，则第二个测试用例能发现；2）如第三个条件语句中X1误写成X0，第一个测试用例能暴露它；3）沿着路径abd
13、执行时，X的值应保持不变，如这方面有错，不能发现。 所以，“分支覆盖”还很不够。,分支覆盖,对例2，如设计两个测试用例则可以满足分支覆盖的要求。 测试用例的输入为：x=4、y=5、z=5 (沿路径abd执行)x=2、y=5、z=5 (沿路径ace执行) 上面的两个测试用例虽能满足分支覆盖要求，但也不能对判断条件进行检查，如把第二个条件y5错写成y3 取真值为T1，取假值为-T1条件z5 取真值为T4，取假值为-T4,31,逻辑驱动测试,条件覆盖,则可以设计测试用例如下,32,上面的测试用例不但覆盖了所有分支的真假两个分支，而且覆盖了判断中的所有条件的可能值。,逻辑驱动测试,33,条件覆盖,“条
14、件覆盖”并不包含“分支覆盖”如对语句IF(A AND B) THEN S 设计2个测试用例，使其满足“条件覆盖”：1）使A为真并使B为假2）使A为假而且B为真但是它们都未能使语句S得以执行。,逻辑驱动测试,条件覆盖,如对例2设计了下面的测试用例，则虽然满足了条件覆盖，但只覆盖了第一个条件的取假分支和第二个条件的取真分支，不满足分支覆盖的要求。,34,逻辑驱动测试,35,分支/条件覆盖,分支/条件覆盖针对上面问题引出了另一种覆盖标准“分支 条件覆盖”，它的含义是：执行足够的测试用例，使得分支中每个条件取到各种可能的值，并使每个分支取到各种可能的结果。对例1的程序，前面的两个例子 A=2，B=0，
15、X=4 (沿ace路) A=1，B=1，X=1 (沿abd路径)是满足这一标准的。,逻辑驱动测试,分支/条件覆盖,对例2，根据定义只需设计以下两个测试用例便可以覆盖8个条件值以及4个判断分支。,36,逻辑驱动测试,37,分支/条件覆盖,分支/条件覆盖从表面来看，它测试了所有条件的取值，但是实际上某些条件掩盖了另一些条件。如对于条件表达式 (x3) & (z3）为假，则一些编译器不再判断是否z5）来说，若x=4测试结果为真，就认为表达式的结果为真，这时不再检查（y5）条件了。因此，采用分支/条件覆盖，逻辑表达式中的错误不一定能够查出来了。,逻辑驱动测试,38,条件组合覆盖,条件组合覆盖针对上述问
16、题又提出了另一种标准“条件组合覆盖”。它的含义是：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。显然，满足“条件组合覆盖”的测试用例是一定满足“分支覆盖”、“条件覆盖”和“分支/条件覆盖”的。,逻辑驱动测试,39,条件组合覆盖,再看例1，需选择适当的例子，使得下面8种条件组合都能够出现：1）A1, B=02)A1, B03)A1, B=04) A1, B05) A=2, X1 6) A=2,X1 7) A2, X1 8) A2, X1 5)、 6)、 7)、8）四种情况是第二个 IF语句的条件组合，而X的值在该语句之前是要经过计算的，所以还必须根据程序的逻辑推算出在程序的入口
17、点X的输入值应是什么。,逻辑驱动测试,40,条件组合覆盖,下面设计的四个例子可以使上述 8种条件组合至少出现一次： A=2，B=0，X=4 使 1)、5)两种情况出现； A=2，B=1，X=1 使 2)、6)两种情况出现； A=1，B=0，X=2 使 3)、7)两种情况出现； A=1，B=1，X=1 使 4)、8)两种情况出现。,逻辑驱动测试,41,条件组合覆盖,上面四个例子虽然满足条件组合覆盖，但并不能覆盖程序中的每一条路径，例如路径acd就没有执行，因此，条件组合覆盖标准仍然是不彻底。,逻辑驱动测试,条件组合覆盖,对例2中的各个判断的条件取值组合加以标记如下：1、x3,z3,z=10 记做
18、T1 -T2，第一个判断的取假分支3、x=10 记做-T1 -T2，第一个判断的取假分支5、x=4,y5 记做T3 T4，第二个判断的取真分支6、x=4,y5 记做-T3 T4，第二个判断的取真分支8、x!=4,y1”独立影响判定的输出；1和2说明条件“B=0”独立影响判定的输出；所以，测试用例1，2，3是必须的,46,白盒法测试举例 - 工资管理程序测试,例3：工资管理程序BONUS的输入数据是职员表(Employee Table)和部门表(Department Table)(如图)。职员表由姓名(Name)、职务(Job Code)、部门(Dept.)和工资(Salary)四项组成，部门表
19、由部门(Dept)和销售量(Sales)两项组成。,程序的功能是；“为销售量最大的部门中每一个职员增加200元工资，但是，如果某个职员的原有工资已达15000元，或者他的职务是经理，则只给他增加100元，如果程序能正常地完成，则输出出错码0；如果输入表格中没有任何条目，则输出出错码1；如果没有职员在部门表中销售量最大的部门中工作，则输出出错码2”。,47,白盒法测试举例 - 工资管理程序测试,下面是BONUS的源程序，参数表中EMPTAB、DEPTTAB分别是职员表和部门表，ESIZE、DSIZE分别是两个表的长度，ERRCODE是出错码。PROCEDURE BONUS(EMPTAB，DEPT
20、TAB：TABLE； ESIZE，DSIZE，ERRCODE： INTEGER)； ,逻辑驱动测试,1BEGIN MAXSALERS:=0； ERRCODE:=0； 2IF（ESIZE0）OR (DSIZE0) 3 THEN ERRCODE:=1 4ELSE 5 BEGIN FOR I:=1 TO DSIZE DO 6 IF SALES(I)MAXSALES 7 THEN MAXSALES:=SALES(I)； 8 FOR J:=1 TO DSIZE DO 9 IF SALES(J):=MAXSALES 10 THEN11 BEGIN FOUND:=FALSE;12 FOR K:=1 TO E
21、SIZE DO 13 IF (EMPTAB.DEPT(K)=DEPTTAB.DEFT(J)） 14 THEN15BEGIN FOUND:=TRUE； 16 IF (SALARY(K)15000.00) 17 OR (JOB(K)=“M”)18 THEN SALARY(K):=SALARY(K)+100.00 19 ELSE SALARY(K):=SALARY(K)+200.00 20END； 21 IF（NOT FOUND）THEN ERRCODE:=2 22END 23END 24END.,48,49,白盒法测试举例 - 工资管理程序测试,现用白盒法设计测试用例。 首先列出程序中的判定，考虑
22、所有的条件句和循环句。本例只要输入表格不空，循环句总会经历进入循环体和跳过循环体这两种情况(因为循环终值都大于等于循环初值)，所以就不必专门考虑了，需要分析的只是六个条件语句中的判定。 2IF (ESIZE0) OR (DSIZE0) 6 IF（SALES(I)MAXSALES） 9 IF（SALES(J)=MAXSALES） 13IF（EMPTAB.DEPT(K)=DEPTTAB.DEFT(J)16IF（SALARY(K)15000.00) OR (JOB(K)=“M”) 21IF（NOT FOUND）,逻辑驱动测试,白盒法测试举例 - 工资管理程序测试,1.采用“判定覆盖”标准设计测试用例
23、使得上述 6个判定都取到两种结果，这就需要以下12种情况出现。,50,51,白盒法测试举例 - 工资管理程序测试,52,白盒法测试举例 - 工资管理程序测试,设计下面的两个测试用例可以满足“判定覆盖” (图中“职务”一栏，“E”表示是一般职员，“M”表示是经理)。,ESIZE=DSIZE=3EMPTAB DEPTTAB,ERRCODE=2ESIZE,DSIZE,DEPTTAB 不变EMPTAB,ESIZE=DSIZE=3EMPTAB DEPTTAB,ERRCODE=2ESIZE,DSIZE,DEPTTAB 不变EMPTAB,逻辑驱动测试,53,白盒法测试举例 - 工资管理程序测试,虽然这两个例
24、子满足“判定覆盖”标准，但是它们不能发现程序中许多其他可能的错误，例如没有检查ERRCODE为0、职员是经理、部门表为“空”等情况。2.采用“条件覆盖”标准设计测试用例必须使判定中的每一个条件取到两种可能的值，这就需要以下16种情况出现。,逻辑驱动测试,54,白盒法测试举例 - 工资管理程序测试,55,白盒法测试举例 - 工资管理程序测试,设计下面的两个测试用例可以满足“条件覆盖” 。,逻辑驱动测试,56,白盒法测试举例 - 工资管理程序测试,尽管上面的测试用例满足“条件覆盖”标准，但它们不比满足“判定覆盖”标准的测试用例好，因为它们不能执行每一个语句(如语句19)，而且它们起的作用也不比满足
25、“判定覆盖”的测试用例多许多，如未能使ERRCODE=0，如果语句2误写成(ESIZE=O) AND (DSIZE=0)，这个错误也不能被发现。 3.采用“判定条件覆盖”标准设计测试用例可克服“条件覆盖”中测试用例的弱点，需要提供足够的测试用例使得所有判定和条件都取到两个不同的值。这里只需使“条件覆盖”测试用例中的职员JONES为经理，而使LORIN不是经理，则判定 16就可取到两种结果，语句19因而得以执行。,逻辑驱动测试,57,白盒法测试举例 - 工资管理程序测试,逻辑驱动测试,58,白盒法测试举例 - 工资管理程序测试,问题:如果所用的编译系统将含有“OR”的表达式处理成：遇到第一项为“
26、真”就不再检查后面的项，则这样的两个测试用例并不能检查到 JOB(K)=“M”这一部分。4.采用“条件组合覆盖”标准设计测试用例它需要足够的例子，使得每个判定中条件的各种组合情况都出现一次。本例中判定6、9、13和 21各有两种组合，判定2和16各有 4种组合。可以先选一个测试用例使其包含尽可能多的组合情况。再选另一测试用例使其包含尽可能多的余下的组合情况，直至得到一组测试用例能包含所有的组合情况。下面是满足“条件组合覆盖”标准的一组测试用例，它比前面几组测试用例都全面。,逻辑驱动测试,59,白盒法测试举例 - 工资管理程序测试,逻辑驱动测试,60,白盒法测试举例 - 工资管理程序测试,可以看
27、出：即使是满足“条件组合覆盖”标准的例子仍不能发现BONUS中许多其他的错误。例如：没有检查 ERRCODE0的情况，所以如果语句1中的 ERRORCODE:=0; 被遗漏了就查不出；如语句16中 15000.00误写成 15000.01也是发现不了的，如SALARY(K)=15000误写成SALARY(K)15000也是发现不了的；如果 BONUS程序没有对部门表或职员表的最后一行进行处理，这个错误也不一定能发现。,逻辑驱动测试,61,白盒法测试举例 - 工资管理程序测试,通过前面例子的讨论，可以得到两点结论： “条件组合覆盖”标准比其他标准优越。 即使达到任何一种覆盖标准，其测试效果仍然是
28、不彻底的，我们还需要用其他的测试方法作补充。下面来讨论一下用黑盒法补充测试用例：,逻辑驱动测试,62,综合策略 - 黑盒法补充测试用例,白盒法和黑盒法各有长短，每种方法都可提供一组有用的测试用例，这组测试用例容易发现某种类型的错误，但不易发现其他类型的错误，然而没有一种方法能提供一组“完整的”测试用例。因此，实际软件测试方案设计是不同方法的综合应用。一个参考的黑盒法补充策略是：1) 在任何情况下都需使用边界值分析(这个方法应包括对输入和输出的边界值进行分析)。2) 必要的话，再用等价分类法补充一些测试用例。3) 再用错误推测法附加测试用例。4) 检查上述例子的逻辑覆盖程度，如果未能满足某些覆盖
29、标准，则再增加足够的测试用例。5) 如果功能说明中含有输入条件的组合情况，则一开始就可先用因果图(判定表)法。,逻辑驱动测试,63,综合策略 - 黑盒法补充测试用例,以工资管理为例: (用黑盒法补充测试用例)该例不必检查输入条件的组合情况，所以不需要用因果图(判定表)法，这里我们先用边界值分析法，该程序中输入的边界情况有：1) EMPTAB具有 1个记录。2*) EMPTAB具有最大个数的记录(如 65535个记录)。3) EMPTAB具有零个记录。4) DEPTAB具有 1个记录。5*) DEPTTAB具有 65535个记录。6) DEPTTAB具有零个记录，7) 销售量最大的部门有1个职员
30、。,逻辑驱动测试,64,黑盒法补充测试用例 - 工资管理程序测试,8*) 销售量最大的部门有 65535个职员。9) 销售量最大的部门没有职员。10) 所有部门的销售量相等。11) DEPTTAB中，第一个部门的销售量最大。12) DEPTTAB中，最后一个部门的销售量最大。13) EMPTAB中，第一个职员在销售量最大的部门工作。14) EMPTAB中，最后一个职员在销售量最大的部门工作。15) 销售量最大的部门中有一个职员是经理。16) 销售量最大的部门中有一个职员不是经理。17) 销售量最大的部门中有一个职员(不是经理)的工资是 14 999.99。,逻辑驱动测试,65,黑盒法补充测试用
31、例 - 工资管理程序测试,18) 销售量最大的部门中有一个职员(不是经理)的工资是 15 000.00。19) 销售量最大的部门中有一个职员(不是经理)的工资是 15 000.01。输出的边缘情况是：20) ERRCODE=0。21) ERRCODE=1。22) ERRCODE=2。23) 增加后的工资为 99999.99(即数据项SALARY的最大允许值)。,逻辑驱动测试,66,黑盒法补充测试用例 - 工资管理程序测试,再用错误推测法还可增加一个测试用例。24) DEPTTAB中，在销售量最大但没有职员的部门之后，有一个销售量最大但有职员的部门(检查程序在产生ERRCODE2后是否会错误地终
32、止对输入文件的处理)。上述24种情况中，第 2)、5)、8)种情况不会发生，所以可以不考虑，再将用白盒法设计的测试用例与余下的21种情况作比较，可以看出许多情况巳包括在这4个测试用例中了，尚未包括的情况是 1)、4)、7)、10)、14)、17)、18)、19)、20)、23)和24)等11种。 因此再增加的测试用例如下：,逻辑驱动测试,67,68,习题,为以下流程图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖。,69,路径覆盖测试,路径覆盖测试前面提到的5种逻辑覆盖都未涉及到路径的覆盖。然而，只有当程序中的每一条路径都受到了检验，才能使程序
33、受到全面检验。路径覆盖的目的就是要使设计的测试用例能覆盖被测程序中所有可能的路径。,路径测试,路径测试就是设计足够多的测试用例，覆盖被测试对象中的所有可能路径。对于例1，下面的测试用例则可对程序进行全部的路径覆盖。,70,对于例2，下面的测试用例则可对程序进行全部的路径覆盖。,71,72,路径覆盖,满足路径覆盖不一定满足组合条件覆盖虽然前面一组测试用例满足了路径覆盖，但并没有覆盖程序中所有的条件组合（丢失了组合3和7：-T1、T2 和 -T3、T4 ），即满足路径覆盖的测试用例并不一定满足组合覆盖。,73,基本路径测试,基本路径测试例1、例2都是很简单的程序函数，只有四条路径。但在实践中，一个
34、不太复杂的程序，其路径都是一个庞大的数字，要在测试中覆盖所有的路径是不现实的。为了解决这一难题，只得把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行一次。基本路径测试就是这样一种测试方法，它在程序控制图的基础上，通过分析控制构造的环行复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证语句覆盖。,基本路径测试,74,基本路径测试,基本路径测试方法包括4个步骤：画出程序的控制流图：描述程序控制流的一种图示方法。计算程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试
35、用例数目的上界。导出测试用例：根据圈复杂度和程序结构设计测试用例。准备测试用例：确保基本路径集中的每一条路径的执行。,基本路径测试,75,控制流图的符号,流图流图，一种简单的控制流表示方法，是对待测试程序过程处理的一种表示，是对程序流程图简化后得到的，它可更加突出表示程序控制流的结构。流图使用下面的符号描述逻辑控制流，每一种结构化构成元素有一个相应的流图符号。,76,控制流图,流图只有二种图形符号图中的每一个圆称为流图的结点，代表一条或多条语句，一个处理框序列和一个条件判定框（假设不包含复合条件） 。流图中的箭头，称为边或连接，代表控制流。任何过程设计都要被翻译成控制流图。 在将程序流程图简化
36、成控制流图时，应注意：包含条件或多分支的节点被称为判定节点（也叫谓词节点），在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。,基本路径测试,77,控制流图,78,控制流图,如果判断中的条件表达式是由一个或多个逻辑运算符 (OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。例如： 1 if a or b 2 x 3 else 4 y对应的逻辑为：,基本路径测试,79,独立路径,独立路径：至少沿一条新的边移动的路径?,1,7,6,2,3,8,9,10,11,4,5,路径
37、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,对以上路径的遍历，就是至少一次地执行了程序中的所有语句。,基本路径测试,80,基本路径测试,第一步：画出控制流图将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)：一个流程图的处理方框序列和一个菱形决测框可被映射为一个流图结点；流图中的箭头（边）类似于流程图中的箭头。一条边必须终止于一个结点，即使该结点并不代表任何语句(例如：if-else-then结构)。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。,基本路径测
38、试,81,基本路径测试,例4：有下面的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; ,82,基本路径测试,画出对应的控制流图,83,基本路径测试 - 计算圈复杂度,第二步：计算圈复杂度圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。
39、有以下三种方法计算圈复杂度：1)流图中区域的数量对应于环型的复杂性；2)给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量；3)给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。 （包含条件的节点被称为判定节点，也叫谓词节点）,基本路径测试,84,基本路径测试 - 计算圈复杂度,对应图中的圈复杂度，计算如下：流图中有四个区域；V(G)=10条边-8结点+2=4;V(G)=3个判定结点+1=4。,基本路径测试,85,基本路径测试 - 导出测试用例,第三步：导出测试用例根据上面的计算方法，可得出四个独立的路径。路径1：
40、4-14路径2：4-6-7-14路径3：4-6-9-10-13-4-14路径4：4-6-9-12-13-4-14根据上面的独立路径，去设计输入数据，使程序分别执行到上面四条路径。,基本路径测试,86,基本路径测试 - 准备测试用例,第四步：准备测试用例 为确保基本路径集中的每一条路径的执行，根据判断结点给出的条件，选择适当的数据以保证某一条路径可以被测试到。满足上面例子基本路径集的测试用例是：,基本路径测试,87,基本路径测试 - 准备测试用例,路径1：4-14输入数据：iRecordNum=0，或取iRecordNum 0) if(0= =iType) x=y+2; break; else if(1= =iType) x=y+10; else x=y+20; ,基本路径测试,88,基本路径测试 - 准备测试用例,路径3：4-6-9-10-13-4-14输入数据：iRecordNum=1,iType=1预期结果：x10路径4：4-6-9-12-13-4-14输入数据：iRecordNum=1,iType=2预期结果：x20,
