第4章基于组合设计的测试生成技术.pptVIP

第四章 基于组合设计的测试生成技术 第四章基于组合设计的测试生成技术 4.1组合设计 4.2组合测试设计过程 4.3故障模型 4.4拉丁方阵 4.5相互正交的拉丁方阵 4.6对偶设计：二值参数 4.7对偶设计：多值参数 4.8正交矩阵 4.9覆盖矩阵与混合取值覆 4.1组合设计 大多数软件往往设计成能在多种环境下工作。多种参数（比如操作系统、网络连接及硬件平台）的组合导致了环境的多样化。在每种环境中，各参数各自对应一个特定的值，这些特定值的集合就被称为测试配置。 例如： 操作系统——Windows XP 网络连接——拨号连接 硬件平台——内存为512MB的PC 为保证在预定环境下的高可靠性，必须在尽可能多的测试配置或者环境下对软件进行测试。 本章描述了几种在可能的测试配置、输入域以及划分的子域数目庞大且复杂的情况下，生成较小测试配置和测试集的技术。这些技术主要有： ①试验设计 ②组合设计 ③正交设计 ④交互测试 ⑤对偶测试 …… 4.1.1测试配置和测试集 在本章中，交替地使用测试配置和测试集这两个术语，但这两个术语在软件测试中实际上是有不同含义的。本章描述的技术同时适用于测试配置和测试集的生成。 测试配置通常是对相关参数的静态选择，例如：硬件平台或操作系统，这样的选择通常在测试开始前完成。 测试集是在测试过程中用作输入的测试用例的集合。 4.1.2输入空间与配置空间建模 程序P的输入空间由在程序执行过程中可作为P的输入值的k元组组成。P的配置空间由P的环境变量的所有可能的取值组成，P可在这些环境变量下使用。 我们称这样一组值为一个参数组合，其中每个值对应一个参数。例如： 假设程序P有两个输入变量x及y。在P的执行过程中，x、y可以分别从{a,b,c}，{d,e,f}中取值。这样就有两个参数，且每个参数有3个值，共有 =9种参数组合。即(a,d),(a,e),(a,f),(b,d),(b,e),(b,f),(c,d),(c,e)及(c,f) 若有k个参数，且每个参数有n个可能的取值，参数组合总数即为 。 有一些特殊的组合设计技术允许从参数组合的完全集中选择一个较小的子集。这种采样技术旨在发现因参数组合而引起的故障。我们来看一个说明其有效性的例子。 例4.1 以一个在线比萨外卖服务（PDS）系统的输入空间为例。该系统在线接受订单，核对其有效性并安排比萨送货。在线订单要求用户指明以下4项内容：比萨饼的尺寸、比萨配料、投送地址及家庭电话号码。分别用S、T、A及P表示这4个参数。 假设尺寸有大、中、小3种选择。配料方案有6种可供选择，此外顾客还可以自定义配料。投送地址由顾客姓名、住址、城市及邮政编码组成。电话号码是一个可能包含短划线“-”的数字串。 4.2组合测试设计过程 步骤一：如果需要生成测试用例，该过程由输入空间开始；如果要生成测试配置，则由软件环境建模开始。无论哪种情况，模型都由一组参数及其对应的值组成。输入空间或环境的建模并不是互斥的，根据被测程序，可同时对两者或其中之一进行建模。 步骤二：该模型被输入到一个组合设计规程中，以产生一个N×k的由参数和值的矩阵构成的组合对象，其中N行中的每一行对应至少一次测试运行，k列中的每一列对应一个参数。 步骤三：生成的组合对象用来设计测试集或测试配置。组合对象是参数组合的一个矩阵。每个参数组合可以产生一个或多个测试用例，每个测试用例由输入变量的值及其预期的输出组成。 下面来看个例子说明参数组合是如何产生测试用例的(包括可行和不可行的测试用例) 例4.2 4.3故障模型 组合设计过程的目的在于，其生成的测试输入和测试配置能暴露被测程序中某些类型故障。我们称这种故障为组合错误。当某些包含 个输入值的输入组合引起蕴藏故障的程序进入无效状态时，就称该输入组合触发了组合错误。 由某一个输入变量的值触发的故障称之为简单故障，即t = 1时，不管其他输入变量的值是多少都会触发故障。对于t = 2时触发的故障，称之为二元组合错误。以此类推，当t为任意自然数时，称之为t元组合错误/t元参数故障。 下面举例说明组合错误——二元组合错误 例4.3