一种基于混合覆盖矩阵的pairwise测试用例生成方法

的测 试 用例 生Hale Waihona Puke Baidu 方法 ． 实例 分析表 明 ， 该方 法具 有 生成 的 测试 用例较 少、 时 间消耗 小等特 点 ．
关键 词 ： 混合覆 盖 矩 阵 ； 对 偶组合 覆 盖 ； 测 试 用例 生成
中图分 类号 ： ＴＰ ３ １ １
文献标 志 码 ： Ａ
文章 编号 ： １ ０ ０ １ —２ ４ ４ ３ （ ２ ０ １ ３ ） ０ ２— ０ １ ２ ５—０ ５
了广 泛应用 ， 即每次均 选 择一条 “ 最优” 测 试 用例使 其 能最大 限度 地覆 盖 未覆 盖 ｔ 元组， 直到所 有 的 ｔ 元 组都
被 覆 盖Ｌ ８ Ｊ ． 提 出使用 正交 矩 阵 的方法 ， 该方 法要求 输 入参数 必须 来 自 Ｓ 个符 合 的有 限集 合 Ｓ ， 任何 Ｎ×ｓ 子矩 阵包 含每个 ｔ 元组 正好 同样 的 次数 ， 但 许 多实 际情况 并非 如此 ． 在许 多情 况下 ， 软件 又不止 一 个参 数 ， 每 个参 数 的取值集 合 都不 同 ． 混 合覆 盖取 值矩 阵就 是在 这种 情况 下 设计 测 试用 例 的有 效方 法 ． 基 于混 合覆 盖 矩 阵 ， 提 出 了一 种 ｐ ａ ｉ ｒ ｗｉ ｓ ｅ 覆 盖 的测试 用例 生成 方法 ． 该 文首先 介 绍组 合 测试 设计 过 程 ， 然后 提 出 ｐ ａ ｉ ｒ ｗｉ ｓ ｅ 覆 盖 的 测 试 用例生 成 方法 ， 并 进 行实 例分 析 ， 最 后 给 出总结 ．
是衡量组合测试是否有效 的关键 ５． Ｋ ｕ ｈ ｎ ［ ６ ］ 等研究 了组合测试 的可用性 ， 发现大约 ７ ０ ％的软件故 障是 由一个或两个 因素的相互作用引发
的， 因研 究两 两组合 覆 盖测 试具 有 重 要 的意 义 ． 提 出的 逐条 生 成测 试 用 例 （ ｏ ｎ ｅ — ｔ ｅ ｓ ｔ — ａ ｔ － ａ － ｔ ｉ ｍｅ ） 的策 略 ７ ＿ 得 到
一
种 基 于混 合 覆 盖 矩 阵 的 ｐ ａ ｉ ｒ ｗ ｉ ｓ ｅ测试 用 例 生成 方 法
方 冉 ， ２
（ １ ． 安徽２ ２ 商职业学院 电子信息 系， 安徽 合肥 ２ ３ ０ ０ ４ ０ ； ２ ． 合肥工业大学 电气与 自动化工程学院 ， 安徽 合肥 ２ ３ ０ ０ ４ １ ）
同的优缺 点 ．
其中 ， 组 合设计 ’ 狈 ０ 试技 术对 于那 些故 障来 源 于软 件 系统 中一 些参 数 和 参数 之 间 的相互 作 用 的系 统 ，这 种 方法 的效果 尤其 明显 ． 例如 ， 一个基 于 网络 的软 件含有 多个 参数 ， 如浏 览器 ， 操作 系统 ， 网络 的存取类 型 ， 图 像， 声音及 一 组用户 ． 每个参 数包 括很 多可 能 的值 ， 如操作 系统 有 ｕ ｎ ｉ ｘ ， ｗｉ ｎ ｄ ｏ ｗ等 ． 多个 参数 相互作 用可 能会
收 稿 日期 ： ２ ０ １ ２—１ ２～２ １
基 金项目 ： 芜湖市科技计划基金 （ 芜湖计字 ［ ２ ０ ０ ９ ］ １ ９ ０ ） ．
作者简介 ： 方冉（ １ ９ ８ ３一） ， 男， 安徽芜湖人 ， 讲师 ， 硕士 ， 主要研究方向为嵌入 式软件及测试研究 ．
产 生一些 错 误 ． 考 虑到 庞大 的组 合空 间 ， 组 合 所有 参 数 的完 全组 合 测 试 一 般来 说 是不 现 实 的 ］ ． 一般来说 ，
即使我们 拥 有足够 的资源 进行 完全 组合 测试 也是 没有 现实 意 义 的 ， 因为 多数 参数 的组 合也 不 会产 生 任何 失 效． 组合 测试 是在代 价 与效 率之 间进 行折 中 的一 种发 现参 数 组合 错 误 的现 实 方法 ｌ ＿ ４ Ｊ ． 它 的 主要 思想 是 在 所 有 参数 组合 空 间的大 样本 中抽 取小样 本 来覆 盖特 定关键 参数 值 的组合 ． 从而， 生成 的测试 用例 的生成样 本将
引 言
近年来 ， 随着计 算机 技术 的发 展 ， 计 算机 的应 用 已渗透 到各行 各 业 ． 软件 作 为信 息技 术 的核心 已成 为 影 响社 会和 经济 发展 的关 键 问题 ｎ ］ ． 然而 ， 随 着软 件规模 和 复 杂性 的不 断 增大 ， 软件 质量 问题 已成 为 制约 软 件 发展 的瓶 颈 ． 软件 测 试对 于保 证 和提高 软件 产品 的质量 起着 不可 替代 的重要 作用 ， 并在 近年来受 到人 们越
第３ ６卷 ２期 ２ ０１ ３年 ３月
安徽 师 范大 学学 报 （ 自然科学版 ） Ｊ ｏ ｕ ｎａ ｒ ｌ ｏ ｆ Ａｎ ｈ ｕ ｉ Ｎｏ ｒ ｍａ ｌ Ｕｎ ｉ ｖ ｅ ｒ ｓ ｉ ｔ ｙ（ Ｎａ ｔ ｕ ｒ ａ ｌ Ｓ ｃ ｉ ｅ ｎ ｃ ｅ ）
Ｖｏ １ ． ３ ６ Ｎｏ． ２ Ｍａ ｒ．２ ０ ｌ ３
摘
要： 测试 用例 集的 生成 是组合 测试 的 一个 关键 问题 ， 但 是使 用完全组合覆 盖 生成 测试 用例 集是
ＮＰ完全 问题 ． 对偶 覆盖要 求测试 用例 集 至少覆 盖输 入 参数 的每 一 个取 值 对 ． 该 类 方 法在 测试 代价
和效 率 方 面进 行 了很 好 的折 中， 一直 受 到 广泛 关 注． 基 于混 合覆 盖 矩 阵 ， 提 出了一 种 ｐ ａ ｉ ｒ ｗｉ ｓ ｅ 覆 盖
来越 多 的重视 ．
通常 来说 ， 软件 测试 就是 为 了发现 错误 而执 行程 序 的过 程 ． 其中， 测 试 用例 设计 是关 系测 试质 量 的关 键 过程． 常见 的测试用 例 生成 方法 主要有 基 于 图覆 盖 的软 件测 试 技术 、 有 穷状 态模 型 自动生 成 技术 、 基 于组 合 设 计 的测 试生 成技 术 、 基 于代 数 的测试 生成 技术 等方 法 ． 每 种测 试技 术适 用于不 同 的应 用场 景并各 自具有 不