讲课 第4章 白盒(1)几种测试方法.ppt

1、白盒测试、9.2测试用例设计、白盒测试用例语句覆盖、决策覆盖、条件覆盖决策/条件覆盖、条件组合覆盖、路径覆盖、黑盒测试用例等价类划分、边界值分析、错误推测、白盒测试用例逻辑覆盖、逻辑覆盖是基于程序内部逻辑结构的测试用例设计技术，属于白盒测试。它要求测试人员非常清楚程序的逻辑结构，并考虑测试用例覆盖程序内部逻辑的程度。根据覆盖的目标，逻辑覆盖可以分为：语句覆盖：程序中的每个语句至少执行一次判断覆盖；程序中每一个判断取“真”和“假”分支至少执行一次条件覆盖；程序判断中的每一个条件都能得到各种可能的结果；判断中的每个条件得到各种可能的值条件组合覆盖；每个判断中的每个可能的条件组合至少出现一次，1)逻

2、辑覆盖，Test(int A，int B，int X) if (A 1)，1)逻辑覆盖，1语句覆盖1，目的：为了找出符合语句覆盖的路径，在左图中有四条路径：P1(ace)，P2(abd)，P3(abe)，P4(acd)。P1只是满足声明覆盖的条件。问题：其他路径是否满足语句覆盖条件？定义：语句覆盖是设计足够的调试案例，这样程序中的每个语句至少被执行一次。1、语句覆盖2、语句覆盖设计几个测试用例，以便程序中的每个可执行语句至少被执行一次；目的：为了找出覆盖ace路径的参数条件，程序执行时必须设计一个数据组合A B X通过ace路径。此时，A B X必须满足以下条件：A1和B=0 A=2或X1测试

3、用例：A=2，B=0，X=3，缺陷：如果第一个条件语句中的错误被写成| |，或者第二个条件，2决策覆盖1，定义：决策覆盖是设计足够多的测试用例，使得程序中每个决策采取的“真”分支和采取的“假”分支将至少被执行一次，并且决策覆盖也称为分支覆盖。2决策覆盖2，如果测试用例可以测试路径P1(ace)和P2(abd)，它就可以满足决策覆盖要求。可以设计以下两组输入数据：A2，B0，x4覆盖ace路径A1，B1，x1覆盖abd路径，2确定覆盖3，或测试用例测试路径P3(abe)和P4(acd)。对应的两组输入数据如下：A2、B1、x1覆盖abe路径A4，B0、x0覆盖acd路径，2确定覆盖4，覆盖4强于

4、语句覆盖，但仍不能保证判断条件的正确性。例如，如果第二判断条件中的x1被错误地写入x1，则不能通过使用上述输入数据A2、B1、x1 (abe路径)A4、B0、x4(acd路径)来检测该错误。3、条件覆盖1、条件覆盖是设计足够的测试用例，以便程序中的每个条件判断都能得到各种可能的结果。条件：A1，B0，A2，x1。有必要有足够的测试用例，以便满足和不满足上述四个条件。以下两组输入数据可以满足这些要求：A2、B0、x4 A1、B1和x1，它们不仅满足条件覆盖的要求，还满足决策覆盖(分支覆盖)的要求。2、不是所有满足条件覆盖要求的数据都满足判断覆盖(分支)的要求。以下两组数据满足条件覆盖的要求：A1

5、、B0、x3；A2、B1、x1，但这组数据不满足判断覆盖范围的要求。为了解决这个问题，可以使用以下决策条件来覆盖它。条件：A1，B0，A2，x1。4判断/条件覆盖1，判断/条件覆盖。使判断中每个条件的所有可能结果至少出现一次，并且判断本身的所有可能结果也至少出现一次；简单地说，就是覆盖能够同时满足决策覆盖和条件覆盖的要求。例如，一个判断包括如下两个条件：Y1和z=0。满足判断/条件覆盖的一组用例需要满足以下要求：1。做出正确的判断。做出错误的判断。将Y1设为4。让Y=1 5。使z=0 6。做z！=0，例如：y=2，z=0(1，3，5)，y=1，z=2(2，4，6)，如果A1B0为真，如果A1B

6、0为假，如果A2|x1为真，如果A2|x1为假，A1 B0 A2 x1 A=1 B！0 A！2 x=1，4确定条件覆盖2。对于上述示例，以下两组输入数据可以满足这些要求：A2、B0、x4(满足1、3、5、6、7、9) A1、B1、x1(满足2、4、9、10、11、12)确定条件覆盖2。有些错误可能无法检验。5条件组合覆盖1，条件组合覆盖简单地说，就是在每个判断中安排所有的条件。例如，判断包括如下两个条件：y1和z=0。合格组合涵盖的一组用例需要满足以下1。y1和z=0 2。y1和z！=0 3。y=1，z=0 4。y=1和z！=0，例如：y=2，z=0 y=2，z=1 y=1，z=0 y=1，z

7、=1，5。条件组合覆盖是设计足够多的测试用例，以便每个判断中所有可能的条件组合至少出现一次。可能的条件组合：(1)A1，B0(5)A2，x1 (2)A1，B0(6)A2，x1 (3)A1，B0(7)A2，x1 (4)A1，B0(8)A2，x1相应的输入数据：A2，B0和x4满足(1) X1满足(4)和(8)，5个条件组合覆盖3个合并“条件组合”，无，5个条件组合覆盖4个合并“条件组合”，无，5个条件组合覆盖5个缺点。显然，满足条件组合覆盖的测试数据也必须满足决策覆盖、条件覆盖和决策条件覆盖的标准。然而，满足条件组合覆盖标准的测试数据不一定覆盖程序中的每一条路径。例如，路径P4(acd)在上述四组测试中缺失。A2、B0、x4满足(1)和(5) A2、B1、x1满足(2)和(6) A1、B0、x2满足(3)和(7) A1、B1、x1满足(4)和(8)，并且该路径覆盖四个可能的路径：Abd、Ace和X1 X=1(沿着路径abd) A=2，B=1，X=1(沿着路径abe) A=3，B=0，X=1(沿着路径acd)，23。课堂练习：为如下流程图所示的程序段设计一组测试用例，分别要求语句覆盖、判断覆盖、条件覆盖和判断