软件工程导论_12

控制结构测试
条件测试策略：
分支测试C中的每个简单条件，都应该至少执行一次。 域测试：对一个关系表达式执行三个或四个测试。

让关系算符分别取大于、等于、小于，并使位于关
系算符两侧的测试数据的差别尽可能小。

BRO（Branch and Relational Operator分支与关 系运算符）测试
软件工程导论
陈丹琪
灾害信息工程系
本节课内容

第七章 实现
7.1、编码 7.2、软件测试基础 7.3、单元测试 7.4、集成测试 7.5、确认测试 7.6、白盒测试技术 7.7、黑盒测试技术
7.8、调试
7.9、软件可靠性
白盒测试技术

白盒测试——按照程序内部预期应有的逻辑测试 程序，检验程序中的每条执行通路是否都能按预 定要求正确工作。又称结构测试，也叫做玻璃盒 测试。
如果把覆盖的路径数压缩到一定限度内，如程序中的 不曾用过的边。 循环体只执行零次和一次，就成为基本路径测试。
设计出的测试用例要保证程序的每一个可执行语句
4.设计出可强制执行基本集合中每条路径的测
试用例。 至少要执行一次，而且每个判定条件在执行时都分 别取真和假两种值。
条件测试 循环测试

控制结构测试
控制结构测试

条件测试——是检查程序模块中所包含逻辑条件 的测试案例设计方法。
条件成分的类型
布尔算符(OR、AND、NOT) 布尔变量 布尔括弧（括住简单条件或复合条件） 关系算符(＜、≤、=、≠、＞、≥) 算术表达式

条件测试的优点：
容易度量条件的测试覆盖率 程序中条件的测试覆盖率可以指导附加测试的设计
它要求测试人员对程序的结构和处理过程有完全的
了解，一般由开发工程师负责实施。

设计白盒测试用例的两种常用技术：
逻辑覆盖
控制结构测试
逻辑覆盖

逻辑覆盖——是以程序内部的逻辑结构为基础来 设计测试用例的技术。
从覆盖语句的详尽程度
T1 T2
分析，把逻辑覆盖分为：

语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖

控制结构测试
串接循环

串接循环的各个循环都彼此独立， 则使用测试简单循环的方法来测
试串接循环。

串接循环并不是独立（第一个循 环的循环计数器值是第二个循环
的初始值），则使用测试嵌套循 环的方法来测试串接循环。
总 结


白盒测试——按照程序内部预期应有的逻辑测试 程序，检验程序中的每条执行通路是否都能按预 定要求正确工作。又称结构测试，也叫做玻璃盒 1.依据过程设计的结果画出相应的流图。 测试。 2.计算流图的环形复杂度。 3.确定线性独立路径的基本集合。 设计白盒测试方案的两种常用技术：
逻辑覆盖

从程序路径的覆盖程度分析，把逻辑覆盖分为：
点覆盖

选择足够的测试用例，使得程序执行路径至少经过 流图的每个结点一次。点覆盖标准与语句覆盖标准 相同。 选择足够的测试用例，使得程序执行路径至少经过 流图的每条边一次。边覆盖与判定覆盖一致。 选择足够的测试用例，使得程序的每条可能路径至 少执行一次（如果程序图中有环，则要求每个环至 少经过一次）。
——｛(t,t)，(f,t)，(t,f)｝ C2∶B1＆(E3=E4) ——｛(t,=)，(f,=)，(t,＜)， (t,＞)｝ C3∶(E1＞E2)＆(E3=E4) —— ｛(＞,=)，(=,=)， (＜,=)，(＞,＞)，(＞,＜)｝
C1∶B1&B2
控制结构测试

循环测试——专注于测试循环结构的有效性。
常用技术有：

1.依据过程设计的结果画出相应的流图。 2.计算流图的环形复杂度。
基本路径测试
3.确定线性独立路径的基本集合。 它是在程序控制流图的基础上，通过分析控制构造 程序的环形复杂度 = 程序中独立路径的数量 的环路复杂性，导出基本可执行路径集合，从而设 计测试用例的方法。 独立路径是指至少包含一条在定义该路径之前
T3 T4
逻辑覆盖

语句覆盖——选择足够多的测试数据，使得每一 可执行语句至少执行一次。
语句覆盖是最弱的逻辑覆盖准则。

判定覆盖——选择足够多的测试数据，不仅使得 每个语句必须至少执行一次，而且每个判断的取 真分支和取假分支也至少执行一次。判定覆盖又 叫分支覆盖。
满足判定覆盖的测试用例数据只覆盖了程序全部路
有时判定/条件覆盖也并不比条件覆盖更强。
逻辑覆盖

条件组合覆盖——设计足够的测试用例，运行被 测程序，使得每个判断的所有可能的条件取值组 合至少执行一次。
满足条件组合覆盖标准的测试数据，也一定满足判
定覆盖、条件覆盖和判定/条件覆盖标准。因此， 条件组合覆盖是这几种覆盖标准中最强的。
逻辑覆盖
条件测试 循环测试

径的一半，覆盖程度仍然不高，只比语句覆盖强。
逻辑覆盖

条件覆盖——设计若干测试用例，运行被测程序， 使得程序中每个条件的可能取值至少执行一次。
条件覆盖使判定表达式中每个条件都取到了两个不
同的结果，通常比判定覆盖强。

判定/条件覆盖——设计足够的测试用例，使得判 断中每个条件的所有可能取值至少执行一次，同 时每个判断本身的所有可能判断结果至少执行一 次。
逻辑覆盖
语句覆盖 从覆盖语句的详尽程度分析 判定覆盖 不曾用过的边。 从程序路径的覆盖程度分析：点、边、路径 条件覆盖 4.设计出可强制执行基本集合中每条路径的测 控制结构测试 判定/条件覆盖 试用例。 基本路径测试 条件组合覆盖
程序的环形复杂度 = 程序中独立路径的数量
独立路径是指至少包含一条在定义该路径之前
边覆盖

路径覆盖

白盒测试

求数组中最大元素程序段流程图如下。
n为数组元素个数 k=0; j=1; while ( j < n) { if (A[j] > A[k]) k = j; j++; } return k;
R1 R2
R3
控制结构测试

控制结构测试——是根据程序的控制结构设计测 试用例的技术。
简单循环
跳过循环 只通过循环一次 通过循环两次 通过循环m次，其中m＜n－1 通过循环n－1，n，n＋1次

控制结构测试
嵌套循环
从最内层循环开始，将其他循环 设臵为最小值。 对最内层循环使用简单循环测试， 而使外层循环的迭代参数(即循 环计数)最小，并为范围外或排 除的值增加其他测试。 由内向外构造下一个循环的测试， 但其他的外层循环为最小值，并 使其他的嵌套循环为“典型”值。 继续直到测试完所有的循环。