软件工程白盒测试.docxVIP

白盒测试 白盒测试以程序的结构为依据，所有又称为结构测试。早期的白盒测试把着重力放在流程图的各个判定框，使用不同的逻辑覆盖标准来表达对程序进行测试的详尽程度。随着测试技术的进展，人们越来越重视对程序执行路径的考察，并且用程序图代替流程图来设计测试用例。为了区分这两种白盒测试技术，以下把前者称为逻辑覆盖测试，后者称为路径测试。 一、逻辑覆盖测试 逻辑覆盖测试法（Logic Coverage Testing）考察的重点是图中的判定框（菱形框）。由于这些判定若不是与选择结构有关，就是与循环结构有关，是决定程序结构的关键成分。 依据对被测程序所作测试的有效程度，逻辑覆盖测试可由弱到强区分为 5 种覆盖标准： 发 语句覆盖 每条语句至少执行一次 现 弱 判定覆盖 每一判定的每个分支至少执行一次 错误的 条件覆盖 判定/条件覆盖 每一判定中的每个条件，分别按“真”、“假”至少各执行一次 同时满足判定覆盖和条件覆盖的要求 能力 能 力 条件组合覆盖 强 求出判定中所有条件的各种可能组合值，每一可能 的条件组合至少执行一次 有一个程序段如下： aF a F (A1) (B=0) T c x=x/a F (A=2) (x1) T e x=x+1 d 语句覆盖：设计若干个测试用例，运行被测程序，使得每一个可执行语句至 少执行一次。例如在上图所给出的例子中，正好所有的可执行语句都在路径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 【(2，1，1)，(2，1，2)】 或 abe(L3) T1 T2 T3 T4 b,e 测试用例 经过路径 条件取值 覆盖分支 【(1，0，3)，(1，0，4)】 abe(L3) T1 T2 T3 T4 c,e 【(2，1，1)，(2，1，2)】 abe(L3) T1 T2 T3 T4 b,d 着重，前一组测试用例不但覆盖了所有推断得取真