软件说明书可以进行百合测试吗,软件工程白盒测试.doc.doc

软件工程白盒测试.doc

白盒测试

白盒测试以程序的结构为依据，所有又称为结构测试。早期的白盒测试把注意力放在流程图的各个判定框，使用不同的逻辑覆盖标准来表达对程序进行测试的详尽程度。随着测试技术的发展，人们越来越重视对程序执行路径的考察，并且用程序图代替流程图来设计测试用例。为了区分这两种白盒测试技术，以下把前者称为逻辑覆盖测试，后者称为路径测试。

一、逻辑覆盖测试

逻辑覆盖测试法(Logic Coverage Testing)考察的重点是图中的判定框(菱形框)。因为这些判定若不是与选择结构有关，就是与循环结构有关，是决定程序结构的关键成分。

按照对被测程序所作测试的有效程度，逻辑覆盖测试可由弱到强区分为5种覆盖标准：

发现错误的能力

弱

强语句覆盖每条语句至少执行一次判定覆盖每一判定的每个分支至少执行一次条件覆盖每一判定中的每个条件，分别按“真”、“假”至少各执行一次判定/条件覆盖同时满足判定覆盖和条件覆盖的要求条件组合覆盖求出判定中所有条件的各种可能组合值，每一可能的条件组合至少执行一次

举例说明：

有一个程序段如下：

a

b F T c

d F T e

语句覆盖：设计若干个测试用例，运行被测程序，使得每一个可执行语句至少执行一次。例如在上图所给出的例子中，正好所有的可执行语句都在路径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】

从程序中每个可执行语句都得到执行这一点来看，语句覆盖的方法似乎能够比较全面的检验每一个可执行语句。但与后面介绍的其它覆盖相比，语句覆盖是最弱的逻辑覆盖准则。

判定覆盖

所谓判定覆盖就是设计若干个测试用例，运行被测试程序，使得程序中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。如上例如果选择路径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 (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】

所有测试用例得取法不唯一。注意有例外情况，例如，如果把上例中第二个判定中的条件x>1错写成x<1，那么利用上面两组测试用例，仍能得到同样的结果。这表明，只是判定覆盖，还不能保证一定能查出在判断得条件中存在得错误。因此还需要更强的逻辑覆盖准则检验判断内部条件。

条件覆盖

所谓条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。上例中，我们事先可对所有条件得取值加以标记。例如：

对于第一个判断：条件A>1取真值为T1，取假值为T1

条件B=1取真值为T2，取假值为T2

对于第二个判断：条件A=2取真值为T3，取假值为T3

条件x>1取真值为T4，取假值为T4

则可选取测试用例如下：

测试用例 通过路径 条件取值 覆盖分支【(2，0，4)，(2，0，3)】 ace(L1) T1 T2 T3 T4 c,e

【(1，0，1)，(1，0，1)】

相关资源：PHP寄生虫繁殖劫持程序V3.0_寄生虫程序-PHP代码类资源-CSDN文库