软件工程白盒测试

《软件工程白盒测试》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、白盒测试白盒测试以程序的结构为依据，所有又称为结构测试。早期的白盒测试把注意力放在流程图的各个判定框，使用不同的逻辑覆盖标准来表达对程序进行测试的详尽程度。随着测试技术的发展，人们越来越重视对程序执行路径的考察，并且用程序图代替流程图来设计测试用例。为了区分这两种白盒测试技术，以下把前者称为逻辑覆盖测试，后者称为路径测试。一、逻辑覆盖测试逻辑覆盖测试法（LogicCoverageTesting）考察的重点是图中的判定框（菱形框）。因为这些判定若不是与选择结构有关，就是与循环结构有关，是决定程序结构的关键成分。按照对被测程序所作

2、测试的有效程度，逻辑覆盖测试可由弱到强区分为5种覆盖标准：发现错误的能力弱强语句覆盖每条语句至少执行一次判定覆盖每一判定的每个分支至少执行一次条件覆盖每一判定中的每个条件，分别按“真”、“假”至少各执行一次判定/条件覆盖同时满足判定覆盖和条件覆盖的要求条件组合覆盖求出判定中所有条件的各种可能组合值，每一可能的条件组合至少执行一次举例说明：有一个程序段如下：(A>1)(B=0)(A=2)(x>1)x=x/ax=x+1abFTcdFTe(a)语句覆盖：设计若干个测试用例，运行被测程序，使得每一个可执行语句至少执行一次。例如在上图所

3、给出的例子中，正好所有的可执行语句都在路径L1（a－>c－>e）上，所以选择路径L1设计测试用例，就可以覆盖所有的可执行语句。L1（a－>c－>e）＝{(A>1)and(B=0)}and{(A=2)or(x/A>1)}=(A=2)and(B=0)or{(A>1)and(B=0)and(x/A>1)}测试用例可以设计为：【（2，0，4），（2，0，3）】覆盖ace【L1】从程序中每个可执行语句都得到执行这一点来看，语句覆盖的方法似乎能够比较全面的检验每一个可执行语句。但与后面介绍的其它覆盖相比，语句覆盖是最弱的逻辑覆盖准则。(b

4、)判定覆盖所谓判定覆盖就是设计若干个测试用例，运行被测试程序，使得程序中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。如上例如果选择路径L1（a－>c－>e）和L2（a－>b－>d），可得满足要求得测试用例：L2（a－>b－>d）＝{(A<=1)or(B≠0)}and{(A≠2)and(x<=1)}=(A<=1)and(x<=1)or{(B≠0)and(A≠2)and(x<=1)}测试用例可以设计为：【（2，0，4），（2，0，3）】覆盖ace【L1】【（1，1，1），（1，1，1）】覆盖abd【L2】如果

5、选取路径L3（a－>b－>e）和L4（a－>c－>d）L3（a－>b－>e）＝{(A<=1)or(B≠0)}and{(A＝2)or(x>1)}={(A<=1)and(x>1)}or{(B≠0)and(A=2)}or{(B≠0)and(x>1)}L4（a－>c－>d）＝{(A>1)and(B=0)}and{(A≠2)and(x/A<=1)}还可以得到另一组可用得测试用例：【（2，1，1），（2，1，2）】覆盖abe【L3】【（3，0，3），（3，1，1）】覆盖acd【L4】所有测试用例得取法不唯一。注意有例外情况，例如，如果把上

6、例中第二个判定中的条件x>1错写成x<1，那么利用上面两组测试用例，仍能得到同样的结果。这表明，只是判定覆盖，还不能保证一定能查出在判断得条件中存在得错误。因此还需要更强的逻辑覆盖准则检验判断内部条件。(c)条件覆盖所谓条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。上例中，我们事先可对所有条件得取值加以标记。例如：对于第一个判断：条件A>1取真值为T1，取假值为T1条件B=1取真值为T2，取假值为T2对于第二个判断：条件A=2取真值为T3，取假值为T3条件x>1取真值为T4，

7、取假值为T4则可选取测试用例如下：测试用例通过路径条件取值覆盖分支【(2，0，4)，(2，0，3)】ace(L1)T1T2T3T4c,e【(1，0，1)，(1，0，1)】abd(L2)T1T2T3T4b,d【(2，1，1)，(2，1，2)】abe(L3)T1T2T3T4b,e或测试用例通过路径条件取值覆盖分支【(1，0，3)，(1，0，4)】abe(L3)T1T2T3T4c,e【(2，1，1)，(2，1，2)】abe(L3)T1T2T3T4b,d注意，前一组测试用例不但覆盖了所有判断得取真分支和取假分支，而且覆盖了判断中所有条

8、件得可能取值。但是后一组测试用例虽满足了条件覆盖，但只覆盖了第一个判断得取假分支和第二个判断得取真分支，不满足判定覆盖得要求。为了解决这一矛盾，需要对条件和分支兼顾，有必要考虑以下得判定－条件覆盖。(a)判定－条件覆盖所谓判定－条件覆盖就是设计足够的测试用例，使得判断中每个条