软件工程白盒测试.doc.docVIP

白盒测试 白盒测试以程序的结构为依据，所有又称为结构测试。早期的白盒测试把注意力放在流程图的各个判定框，使用不同的逻辑覆盖标准来表达对程序进行测试的详尽程度。随着测试技术的发展，人们越来越重视对程序执行路径的考察，并且用程序图代替流程图来设计测试用例。为了区分这两种白盒测试技术，以下把前者称为逻辑覆盖测试，后者称为路径测试。 一、逻辑覆盖测试 逻辑覆盖测试法（Logic Coverage Testing）考察的重点是图中的判定框（菱形框）。因为这些判定若不是与选择结构有关，就是与循环结构有关，是决定程序结构的关键成分。 按照对被测程序所作测试的有效程度，逻辑覆盖测试可由弱到强区分为5种覆盖标准： 发现错误的能力 弱 强 语句覆盖 每条语句至少执行一次 判定覆盖 每一判定的每个分支至少执行一次 条件覆盖 每一判定中的每个条件，分别按“真”、“假”至少各执行一次 判定/条件覆盖 同时满足判定覆盖和条件覆盖的要求 条件组合覆盖 求出判定中所有条件的各种可能组合值，每一可能的条件组合至少执行一次 举例说明： 有一个程序段如下： a b F T c d F T e 语句覆盖：设计若干个测试用例，运行被测程序，使得每一个可执行语句至少执行一次。例如在上图所给出的例子中，正好所有的可执行语句都在路径L1（a－c－e）上，所以选择路径L1设计测试用例，就可以覆盖所有的可执行语句。 L1（a－c－e） ＝{(A1) and (B=0) } and {(A=2) or (x/A1)} =(A=2) and (B=0) or {(A1) and (B=0) and (x/A1)} 测试用例可以设计为：【（2，0，4），（2，0，3）】覆盖ace【L1】 从程序中每个可执行语句都得到执行这一点来看，语句覆盖的方法似乎能够比较全面的检验每一个可执行语句。但与后面介绍的其它覆盖相比，语句覆盖是最弱的逻辑覆盖准则。 判定覆盖 所谓判定覆盖就是设计若干个测试用例，运行被测试程序，使得程序中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。如上例如果选择路径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】 如果选取路径L3（a－b－e）和L4（a－c－d） L3（a－b－e） ＝{(A=1) or (B≠0) } and {(A＝2) or (x1)} ={( A=1) and (x1)} or {( B≠0) and (A=2) } or {( B≠0) and (x1)} L4（a－c－d） ＝{(A1) 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】 所有测试用例得取法不唯一。注意有例外情况，例如，如果把上例中第二个判定中的条件x1错写成x1，那么利用上面两组测试用例，仍能得到同样的结果。这表明，只是判定覆盖，还不能保证一定能查出在判断得条件中存在得错误。因此还需要更强的逻辑覆盖准则检验判断内部条件。 条件覆盖 所谓条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。上例中，我们事先可对所有条件得取值加以标记。例如： 对于第一个判断：条件A1取真值为T1，取假值为T1 条件B=1取真值为T2，取假值为T2 对于第二个判断：条件A=2取真值为T3，取假值为T3 条件x1取真值为T4，取假值为T4 则可选取测试用例如下： 测试用例 通过路径 条件取值 覆盖分支 【(2，0，4)，(2，0，3)】 ace(L1) T1 T2 T3 T4 c,e 【(1，0，1)，(1，0，1)】 abd(L2) T1 T2 T3 T4 b,d 【