软件工程基础(胡思康)第6章课件.pptx

《软件工程基础(胡思康)第6章课件.pptx》由会员分享，可在线阅读，更多相关《软件工程基础(胡思康)第6章课件.pptx（43页珍藏版）》请在三一办公上搜索。

1、高茜,软件质量测试,软件测试-白盒测试,CHAPTER 6,白盒测试（White Box Testing），按照程序内部的结构、逻辑驱动测试程序，通过测试来检测产品内部动作是否按照设计说明书的规定正常进行，检验程序中的每条路径是否都能按预定要求正确工作。,白盒测试,白盒测试的对象主要是源程序。是指用代码内部的分支、路径、条件，使程序设计的控制结构导出测试用例，是软件测试的主要方法之一。,白盒测试,白盒测试的方法,不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试。静态测试大约可以找出25%-60%的逻辑错误,白盒测试的方法,输入一组预先按照一定的测试准则设计的实例数

2、据驱动运行程序，检查程序功能是否符合设计要求，发现程序中的错误的过程。,检查程序的内部数据结构是否有效,3,2,原则,所有逻辑值都要测试真和假两种情况,白盒测试的原则,1,4,保证一个模块中的所有路径至少被测试一次,检查上、下边界及可操作范围内运行的所有循环,“语句覆盖”是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。如，例1：PROCEDUREM(VAR A，B，X：REAL)；BEGIN IF(A1)AND(B=0)THEN X:=X/A；IF(A=2)OR(X1)THEN X:=X+1；END.,逻辑覆盖-语句覆盖,为使程序中每个语句至少执行

3、一次，只需设计一个能通过路径ace的例子就可以了，例如选择输入数据为：A=2，B=0，X=3 就可达到“语句覆盖”标准。,语句覆盖,逻辑覆盖-语句覆盖,从上例可看出，语句覆盖实际上是很弱的，如果第一个条件语句中的AND错误地编写成OR，上面的测试用例是不能发现这个错误的；又如第三个条件语句中X1误写成X0，这个测试用例也不能暴露它，此外，沿着路径abd执行时，X的值应该保持不变，如果这一方面有错误，上述测试数据也不能发现它们。,逻辑覆盖分支覆盖,比“语句覆盖”稍强的覆盖标准是“分支覆盖”(或称判定覆盖)标准。含义是：执行足够的测试用例，使得程序中的每一个分支至少都通过一次。,A=2，B=1，X

4、=3,A=3，B=0，X=1,判定覆盖,判定覆盖,逻辑覆盖分支覆盖,程序中含有判定的语句包括IF-THEN-ELSE、DO-WHILE、REPEAT-UNTIL等，除了双值的判定语句外，还有多值的判定语句，所以“分支覆盖”更一般的含义是：使得每一个分支获得每一种可能的结果。“分支覆盖”比“语句覆盖”严格，因为如果每个分支都执行过了，则每个语句也就执行过了。但是，“分支覆盖”还是很不够的，例如例1两个测试用例未能检查沿着路径abd执行时，X的值是否保持不变。,逻辑覆盖条件覆盖,一个判定中往往包含了若干个条件，如例1的程序中，判定(A1)AND(B=0)包含了两个条件：A1以及 B=0，所以可引进

5、一个更强的覆盖标准“条件覆盖”。“条件覆盖”的含义是：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。,逻辑覆盖条件覆盖,例1的程序有四个条件：A1、B=0、A=2、X1 为了达到“条件覆盖”标准，需要执行足够的测试用例使得在a点有：A1、A1、B=0、B0 等各种结果出现，以及在b点有：A=2、A2、X1、X1 等各种结果出现。现在只需设计以下两个测试用例就可满足这一标准：A=2，B=0，X=4(沿路径ace执行)；A=1，B=1，X=1(沿路径abd执行)。,逻辑覆盖条件覆盖,条件覆盖,条件覆盖,A=2，B=0，X=4,A=1，B=1，X=1,逻辑覆盖条件覆盖,“条件覆盖”通常

6、比“分支覆盖”强，因为它使一个判定中的每一个条件都取到了两个不同的结果，而判定覆盖则不保证这一点。“条件覆盖”并不包含“分支覆盖”，如对语句IF(A AND B)THEN S 设计测试用例使其满足“条件覆盖”,即使A为真并使B为假,以及使A为假而且B为真,但是它们都未能使语句S得以执行。,逻辑覆盖分支/条件覆盖,针对上面的问题引出了另一种覆盖标准“分支 条件覆盖”，它的含义是：执行足够的测试用例，使得分支中每个条件取到各种可能的值，并使每个分支取到各种可能的结果。对例1的程序，前面的两个例子 A=2，B=0，X=4(沿ace路径)A=1，B=1，X=1(沿abd路径)是满足这一标准的。,逻辑覆

7、盖条件组合覆盖,针对上述问题又提出了另一种标准“条件组合覆盖”。它的含义是：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。显然，满足“条件组合覆盖”的测试用例是一定满足“分支覆盖”、“条件覆盖”和“分支/条件覆盖”的。,逻辑覆盖条件组合覆盖,再看例1的程序，我们需要选择适当的例子，使得下面 8种条件组合都能够出现：1）A1,B=0 2)A1,B0 3)A1,B=04)A1,B0 5)A=2,X1 6)A=2,X1 7)A2,X1 8)A2,X1 5)、6)、7)、8）四种情况是第二个 IF语句的条件组合，而X的值在该语句之前是要经过计算的，所以还必须根据程序的逻辑推算出在程序

8、的入口点X的输入值应是什么。,逻辑覆盖条件组合覆盖,下面设计的四个例子可以使上述 8种条件组合至少出现一次：A=2，B=0，X=4 使 1)、5)两种情况出现；A=2，B=1，X=1 使 2)、6)两种情况出现；A=1，B=0，X=2 使 3)、7)两种情况出现；A=1，B=1，X=1 使 4)、8)两种情况出现。,逻辑覆盖条件组合覆盖,上面四个例子虽然满足条件组合覆盖，但并不能覆盖程序中的每一条路径，例如路径acd就没有执行，因此，条件组合覆盖标准仍然是不彻底。,路径测试,路径测试就是设计足够多的测试用例，覆盖被测试对象中的所有可能路径。对于例1，下面的测试用例则可对程序进行全部的路径覆盖。

9、,基本路径测试,例1是很简单的程序函数，只有四条路径。但在实践中，一个不太复杂的程序，其路径都是一个庞大的数字，要在测试中覆盖所有的路径是不现实的。为了解决这一难题，只得把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行一次。,基本路径测试,基本路径测试就是这样一种测试方法，它在程序控制图的基础上，通过分析控制构造的环行复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。,基本路径测试,前提条件：测试进入的前提条件是在测试人员已经对被测试对象有了一定的了解，基本上明确了被测试软件的逻辑结构。测试过程：过程是通过针对程

10、序逻辑结构设计和加载测试用例，驱动程序执行，以对程序路径进行测试。测试结果是分析实际的测试结果与预期的结果是否一致。,基本路径测试,在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下4个步骤和一个工具方法：,基本路径测试,程序的控制流图：描述程序控制流的一种图示方法。程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。准备测试用例：确保基本路径集中的每一条路径的执行。

11、,基本路径测试,工具方法：图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。,基本路径测试,在介绍基本路径方法之前，必须先介绍一种简单的控制流表示方法，即流图。流图是对待测试程序过程处理的一种表示。流图使用下面的符号描述逻辑控制流，每一种结构化构成元素有一个相应的流图符号。,基本路径测试,基本路径测试控制流图,流图只有二种图形符号图中的每一个圆称为流图的结点，代表一条或多条语句。流图中的箭头称为边或连接，代表控制流。任何过程设计都要被翻译成控制流图。,基本路径测试控制流图,在将程序流程图简化成控制流图时，应注意：在选择或多分支结构中，分支的汇聚处应有一个

12、汇聚结点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。,基本路径测试控制流图,基本路径测试控制流图,如果判断中的条件表达式是由一个或多个逻辑运算符(OR,AND,NAND,NOR)连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。例如：1 if a or b 2 x 3 else 4 y,基本路径测试独立路径,独立路径：至少沿一条新的边移动的路径,基本路径测试,第一步：画出控制流图 流程图用来描述程序控制结构。可将流程图映射到一个相应的流图。在流图中，每一个圆，称为流图的结点，代表一个或多个语句。一个处理方框序列和一个菱形决测框可被映射为一个结点，流图

13、中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个结点，即使该结点并不代表任何语句(例如：if-else-then结构)。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。,基本路径测试,第一步：画出控制流图,基本路径测试,第二步：计算圈复杂度 圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。独立路径必须包含一条在定义之前不曾用到的边。,基本路径测试,第二步：计算圈复杂度，对应右图中的圈复杂度，计算如下：流图中有四个区域；V(G)=10条边-8结点+2=4;,基本路

14、径测试,第三步：导出测试用例 根据上面的计算方法，可得出四个独立的路径。(一条独立路径是指，和其他的独立路径相比，至少引入一个新处理语句或一个新判断的程序通路。V(G)值正好等于该程序的独立路径的条数。),路径1：4-14 路径2：4-6-7-14路径3：4-6-8-10-13-4-14 路径4：4-6-8-11-13-4-14根据上面的独立路径，去设计输入数据，使程序分别执行到上面四条路径。,基本路径测试,第四步：准备测试用例：为了确保基本路径集中的每一条路径的执行，根据判断结点给出的条件，选择适当的数据以保证某一条路径可以被测试到。,基本路径测试例2,下例程序流程图描述了最多输入50个值（以1作为输入结束标志），计算其中有效的学生分数的个数、总分数和平均值。,作业,课件P41 给出六个测试用例,THANK YOU!,