软件质量保证与测试课内实验指导书白盒测试黑盒测试

《软件质量保证与测试课内实验指导书白盒测试黑盒测试》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、软件质量保证与测试课内实验指导书白盒测试1.1白盒测试背景知识结构性测试是知道产品内部工作过程，检测产品内部动作是否按照规格说明书的规定正常进行。结构性测试允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。1.1.2逻辑覆盖结构性测试力求提高测试覆盖率。逻辑覆盖是一系列测试过程的总称，它是在使用白盒测试法时，选用测试用例执行程序逻辑路径的方法。逻辑覆盖按覆盖程度由低到高大致分为以下几类：①.语句覆盖：设计若干测试用例，使程序中每一可执

2、行语句至少执行一次；②.判断覆盖：设计用例，使程序中的每个逻辑判断的取真取假分支至少经历一次；③.条件覆盖：设计用例，使判断中的每个条件的可能取值至少满足一次；④.判断/条件覆盖：设计用例，使得判断中的每个条件的所有可能结果至少出现一次，而且判断本身所有可能结果也至少出现一次；⑤.条件组合覆盖：设计用例，使得每个判断表达式中条件的各种可能组合都至少出现一次；显然，满足⑤的测试用例也一定是满足②、③、④的测试用例。⑥.路径覆盖。设计足够的测试用例，使程序的每条可能路径都至少执行一次。如果把路径覆盖和条件组合覆盖结合起来，可以设计出检错能力更强

3、的测试数据用例。1.1.2基本路径测试如果把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行零次和一次，就成为基本路径测试。它是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中，程序的每一个可执行语句至少要执行一次。①程序的控制流图控制流图是描述程序控制流的一种图示方法。符号○称为控制流图的一个结点，一组顺序处理框可以映射为一个单一的结点。控制流图中的箭头称为边，它表示了控制流的方向，在选择或多分支结构中分支的汇聚处，即使没有执行语句也应该有一个汇聚

4、结点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。②计算程序环路复杂性进行程序的基本路径测试时，程序的环路复杂性给出了程序基本路径集合中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。所谓独立路径，是指包括一组以前没有处理的语句或条件的一条路径。只要设计出的测试用例能够确保这些基本路径的执行，就可以使得程序中的每个可执行语句至少执行一次，每个条件的取真分支和取假分支也能得到测试。基本路径集不是唯一的，对于给定的控制流图，可以得到不同的基本路径集。通常环路复杂性可用以下三种方法

5、求得。*将环路复杂性定义为控制流图中的区域数。*设E为控制流图的边数，N为图的结点数，则定义环路复杂性为V(G)＝E－N＋2。*若设P为控制流图中的简单判定结点数，则有V(G)＝P＋1。③导出测试用例利用逻辑覆盖方法生成测试用例，确保基本路径集中每条路径的执行1.2测试题目1.2.1三角形问题1.2.1.1三角形问题的描述三角新问题接受三个整数a,b和c作为输入，用作三角形的边。程序的输入是由这三条边确定的三角形类型：等边三角形、等腰三角形、不等边三角形或非三角形。1.2.1.2三角形问题描述的细化Ø三角形问题接受三个整数a,b和c作为输入

6、，用作三角形的边。整数a,b,c必须满足以下条件：üc1.1≤a≤200üc2.1≤b≤200üc3.1≤c≤200üc4.a

7、不等边三角形。Ø如果c4,c5和c6中有一个条件不满足，则程序输出的是非三角形。1.2.1.3主要代码见附件中Project1.2.1.4要求1.根据以上的C++代码画出该程序的流程图；2.根据流程图，用白盒测试的用例设计方法设计测试用例实现：语句覆盖、判定覆盖、条件覆盖、条件判定覆盖以及条件组合覆盖；3.根据代码画出程序的流图，根据流图计算图的复杂度，计算出基本路径的条数，并给出基本路径；4.根据基本路径覆盖法设计测试用例，覆盖3中得到的基本路径；1.2.2NextDate问题1.2.2.1NextDate问题的描述ØNextDate是一

8、个有三个变量(月份、日期和年)的函数。函数返回输入日期后面的那个日期。变量月份、日期和年都具有整型值，则满足一下条件：üc1.1月份12üc2.1日期31üc3.1812年201