基于Z规格说明的可复用测试用例形式化描述
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
２ Ｊａ ｇ ｉ ． ｉｎ ｘ ｖｅ ｓｔ Ｆｉ ａ ｃ ｎ ｏ ｏ ｉｓ Ｎａ ｃ ａ ｇ ３ ０ １ ， ｉ ａ Ｕｎｉ ｒ ｉ ｏｆ ｎ ｎ ｅａ ｄ Ｅｃ ｎ ｍ ｃ ， ｎ ｈ ｎ ３ ０ ３ Ｃｈ ｎ ； ｙ
３ Ｓ ａ ｇ ａ Ｋ ｙＬ ｂ ｒｔｒ ｆ ｏ ｕ ｅ ｏ ｔ ｒ ｖ ｌａｉｇ＆ Ｔ ｓ ｎ ， ｈ ｎ ｈ ｉ ０ ２ ５ Ｃ ｉａ ． ｈ ｎ ｈ ｉ ｅ ａ ｏ ａｏｙｏ ｍｐ ｔｒ ｆ Ｃ Ｓ ｗａｅＥ ａｕ ｔ ｎ ｅｔ ｇ Ｓ ａ ｇ ａ ２ ０ ３ ， ｈ ｎ ） ｉ
的测试 用例 的相关 定义 ，根据粒 度从 小 到大 的顺 序 ， 次 依 为 测试项 、测试 用例 、测试 用例套 ，并给 出相应 概念 的形
式化 定义 。
测 试 文档 、测试 技术 均 有详 细的 定义和 解释 ， 是该标 准 但
没 有对 测试 用例 的规 范进 行说 明 ，只给 出 了测 试 用例 设 计 的指 导 意见 。
关健 诃 ：测试 用例库 ； 测试 用例套 ；测试项 ；形式化描述 ；ｚ规格说明 ；软件测试
Ｆｏｒ ａ ｉ ｅ ｓ ｒｐｔｏ ｆＲｅ ａ ｅＴｅ ｔＣａ ｅ ｍ ｌｚ ｄ Ｄｅ ｃ ｉ ｉ ｎ ０ ｕｓ ｂｌ ｓ ｓ Ｂａ ｅ ｎ Ｚ ｓ ｄ ０ Ｓｐｅ ｉ ｃ ｔｏ ｃｆ ａ ｉ ｎ ｉ
在 国 际软件 测试 标准 制定 的基础 上 ，国内相继制 定 了 许 多适合 中国特色 的软 件测 试标 准 。目前 和软件 测试 相关
的现 行标 准 如下 ： 计算机 软件 测 试规 范 Ｉ 计算 机软 ， 件测 试 文档 编 制 规 范 Ｊ 软件 工 程软 件 产 品质 量要 求 ，
第３ 卷 ８
第 １ 期 ６
张
娟 ，童维勤 ，蔡立志 ：基于 ｚ 规格说 明的可复 用测试 用例形 式化描述
４ ５
准也相 继 出 台。目前 ， 门 的关于软 件测 试 的国 际标准 草 专
案 已经 完成 ，将取 代现 行 的以下 ４个 国际标 准 ：美 国国
统一规范的描述和定义可 以为测试 用例库提供 良好
家标 准 国家 学会 （Ｎ Ｉ Ａ Ｓ） 和美 国电子 电气 工程 师 协会（ Ｅ ） Ｉ Ｅ Ｅ
制 定 的软件 测试文档标准 ｌ ５ 和软件单元测 试标 准 ，英 国标
准 学会 制 定 的 软件 测试术语 标准和 软件构 件测试 标准 。
ＩＯ ＩＣ ２ １９标 准对软 件测 试 的概念 和术 语、测试 过程 、 Ｓ ／Ｅ ９ １
ｔｅｔｓ ａｅ ｅ ｓ ｂｌｔ． ｈ ｔ ｓ ｓｒｕ ａ ｉ ｙ ｅ ｃ ｉ
［ ｙｗｏ ｄ ］ｔｓｃｓ ｂａ ；ｅｔ ａｅ ｕｔ；ｅｔｔ ｆｒ ｌ ｅ ｅｃｉｔ ｎ Ｚｓｅｉｃｔ ｎ ｓｆ ｒ ｓ Ｋｅ ｒ ｓ ｅｔ ａｅｌ ｒｒ ｔｓｃ ｓ ｉ ｔ ｅ ｏｍａｚ ｄｄｓｒ ｉ ； ｃｆ ａｉ ；ｏｔ ｅ ｅｔ ｉ ｙ ｓ ｅ ｓ ｉｍ； ｉ ｐｏ ｐ ｉ ｏ ｗａ ｔ ＤＯＩ １ ． ６ ／ｉ ｎ１０ —４ ８２ １．６Ｏ １ ： ０３ ９ｊｓ ． ０３ ２ ．０ ２１．１ ９ ．ｓ ０
１ 概述
测试 用例是 软件测 试过 程 中的核 心资产 ， 测试 用例 的 设 计 占有软 件 测试 的大部 分 成本 。文献 ［ 认 为测 试 用例 １ ］ 是软 件测 试 的灵魂 ，并给 出如下 定义 ： 一个 好 的测 试可 能 发现 至今 尚未 被发现 的故 障 。 试 用例 的优 劣往往 取决 于 测
经 过 多年 的软 件测试 实 践 ， 已经 积累 了许 多优秀 的测试 用 例 ， 效地组 织和 利 用这 些有 价值 的资源 ， 有 将极 大提 高设
计测试 用例 的效率 ，从 而降低 软件 测试 的成本 。
软件 测试 用例复 用的基 本前提 ： （） 有可 以复 用的测 试 用例 。 １ 必须 （） 用 的测试 用例必 须是 有用 的 。 ２所复 （） 用者 必须 知道如何 去使 用被 复用 的测试 用例 。 ３复
与评价（Ｑ ａ Ｅ商业现货（ Ｏ Ｓ软件产品的质量要求和 Ｓ ｕＲ ） Ｃ Ｔ）
测试 细则 Ｕ］ ｏ国内 的标 准是 在 国际标 准 的基 础 上制定 完 Ｏ 成 的 ，标 准主要 侧重 于测 试术 语 、测试 计划 、测试 过程 、
具有完整含义的测试执行步骤。比如单击一个按钮、打开
一
粒度划分 的原则 ，针对基于 ｚ规格 说明的软件测试 ，提 出测试项、测试 用例 、测试用例套、测试 用例库等概念 ，并给出这些概念的形式化 定义 。通过 ｚ规格 说明对 可复用测试用例库进行描述 ，保证该用例库的描述准确和无二义性 。应用结果证明 ，该 方法能提高测试 用例 的可
复 用性 。
３ 溯试项 ． １ 为了能使测试用例的粒度进行最细小的解析 ， 本文提
出测试 项 的概 念 。测试 项也 可 以称 为测 试步骤 ， 是测 试 用 例 中的最小 元素 ， 是一 个具 有独立 意义 的可识 别 的最小输 入 或者 最小操 作 。 测试项 是测 试过程 中某 一个 不可分 解 的
ｏ ｄ ｒｔ ｎ ｒ ａ ｅｔ ｅ ｒ ｕ ａ ｉ ｔ ｆ ｅ ｔｃ ｓ ｓ ｂ ｏ ｌ ｗｉ ｇ ｔ ｅ ｐ ｉ ｃｐ ｅｏ ｎ ｍ ｉ ｉ ｇ ｔ ｅ ｃ ｍｐ ｓ ｔ ｎ ｏ ｅ ｔｃ ｓ ， ｈ ｓｐ ｐ ｒｇ ｖ ｓｔ ｅ ｃ ｎｃ ｐ ｓａ ｄ ｒ ｅ ｉ ｃ ｅ ｓ ｅ ｓ ｂ ｌ ｙ ｏ ｔ ｓ ａ ｅ ， ｙ ｆ ｌｏ ｎ ｈ ｒ ｎ ｉ ｌ ｆｍｉ ｉ ｚ ｎ ｈ ｏ ｏ ｉｉ ｆｔ ｓ ａ ｅ ｔ ｉ ａ ｅ ｉ ｅ ｏ ｅ ｔ ｎ ｏ ｈ ｉ ｏ ｈ ｆ ｒ ａ ｉｅ ｅ ｎｉ ｏ ｓ ｏ ｓ ｔ ｍ， ｅ ｔｃ ｓ ， ｅ ｔ ａ ｅ ｓ ｔ ｎ ｅ ｔｃ ｓ ｉ ｒ ｒ ， ｔ ． ｅ ｆ ｒ ｌ ｅ ｅ ｃ ｉ ｔｏ ｏ ｔ ｓ ａ ｅ ｎ ｔ ｅ ｔ ｓ ａ ｅ ｌ ｒ ｒ ， ｏ ｍ ｌｚ ｄ ｄ ｆ ｔ ｎ ｆ ｅ ｔｉ ｉ ｉ ｔ ｅ ｔ ｓ ａ ｅ ｔ ｓ ｓ ｕｉ ａ ｄ ｔ ｓ ａ ｅ ｌ ａ ｙ ｅ ｃ Ｔｈ ｏ ｍａ ｉ ｄ ｄ ｓ ｒｐ ｉ ｎ ｔ ｅ ｔｃ ｓ ｓｉ ｈ ｅ ｔ ｓ ｉ ａ ｙ ｃ ｅ ｂ ｚ ｃ ｂ ｂ ｓｎ ｓ ｅ ｉ ｃ ｔｏ ， ｎｓ ｒ ｓｔ ｅ ａ ｃ ｒ ｔ ｎ ｎａ ｉ ｕｏ ｏ ｒ ｕ ａ ｅｔ ｓ ａ ｅ ｌｂ ａ ｙ． ｐ ｉ ａ ｉ ｎ ｒ ｓ ｌ ｓ ｏ ｈ ｔ ｅ ｍｅ ｈ ｄ ｃ ｎ ｉ ｒ ｖ ｙ ｕ ｉ ｇ Ｚ ｐ ｃ ｆ ａ ｉ ｎ ｅ ｕ ｅ ｈ ｃ ｕ ａ ｅ ａ ｄ ｕ ｍｂ ｇ ｕｓｔ ｅ ｓ ｂｌ ｅ ｔｃ ｓ ｉ ｒ ｒ Ａｐ ｌｃ ｔ ｅ ｕ ｔ ｈ ｗｓｔ ａ ｔ ｏ ａ ｍｐ ｏ ｅ ｉ ｏ ｈ ｔ
作者简介 ：张 ￣（９ ５ ，女 ，工程师 ，主研方 向：软件测试 ；童维勤 ，教授、博士生导师 ；蔡立志 ，博士 １ ７ 一）
收稿 日期 ：２ １— — 修 回日期 ：２ １－ —３ ０ １ ９１ ０ ４ ０１１ １ ２
Ｅｍａ ：ｚａｇ ＠￣ｘ ａ． ｍ － ｉ ｈｎ－ ｌ ｊ ｍ ｉｏ ｌ ｅ
第 ３ 卷 第 １ 期 ８ ６
Ｖ０ ３８ ｌ
・
计
算
机
工
程
２１ ０ ２年 ８月
Ａｕｇ ｓ ０１ ｕ ｔ２ ２
Ｎ Ｏ．６ １
Ｃｏ ｐｕ ｅ ｇｉ ｅ ｉｇ ｍ ｔｒＥｎ ｎｅ ｒｎ
软件 技 术与数 据 库 ・
文章编号： ００－２（ １１一ｌ４ 文献标识码： １ｏ—３ ８０２每 ０ — ５ ４ ２ ） ４ Ａ
中圈分类号： Ｐ１ Ｔ３１
基 于 Ｚ 规 格 说 明 的 可 复 用 测 试 用 例 形 式化 描 述
张 娟 ，童维勤 ，蔡立志 ，
（．上海大学计算机工程与科学学院 ，上海 ２ ０ ４ ；２ １ ０ ０ ７ ．江西财经大学 ，南昌 ３０ １ ； ３０ ３
３ 上海市计算机 软件评 测重 点实验室 ，上海 ２ ０ ３ ） ． ０２５ 摘 要 ：可复 用的、统一的描述规范是测试 用例复 用的前提条件 ，能够为测试用例的共享提供 良好的复用机制 。为此 ，遵循测试用例最小
因此 ，正 确地 刻 画、描述 和管 理可复 用 的测试 用例是 实现 测试 用例 复 用的 关键 。 Ｊ
由于 基于 规 格 说 明 的测 试 用例 具 有天 然 的可 复 用特
性， 因此本 文研 究的对象 将 只限于基 于规 格说 明 的测 试 用 例 。为 了提 高测 试用例 的可 复用性 ， 出可复 用 的测试 用 提
ＺＨ ＡＮ Ｇ Ｊｕａｎ１ ， ＴＯ ＮＧ ｅ ． ｎ ，３ ２ Ｗ ｉｑｉ ．ＣＡ ＩＬ ｉｚ ３ ． ｈｉ
，
（． ｃ ｏ ｌ ｆ ｍｐ ｔｒ ｎ ｉｅｒｎ ｎ ｃｅ ｃ， ｈ ｎ ｈｉ ｉｅｓｙ Ｓ ａ ｇａ ０ ０ ７ Ｃ ｉａ １Ｓ ｈ ｏ ｏ Ｃｏ ｕｅ ｇｎ ｅｉｇａｄＳ ｉｎｅ Ｓ ａ ｇ ａＵｎｖ ｒｉ ， ｈｎ ｈ ｉ ０ ４ ， ｈｎ ； Ｅ ｔ ２
例套概念 ， 并在此基础上给出了和可复用测试用例库有关
的一套 完
随着软件 测试 的不 断深 入 ， 多和测 试相 关 的行 业标 许
根 据测试 用例 的来 源 ， 件测 试可 以分为 基于 程序代 软
基金项 目：国家火炬计划基金资助项 目（ ０Ｇ ５０６） ２ ９ Ｈ １０８；上海 市科委科研计划基金资助项 目（０ Ｚ ２ １０） ０ １Ｄ ２９ ８０
基于 规格 说 明的测试 还为测 试用例 的 重用提供 了可能 。 它 改变 了现在 编程 ，以后测试 的工 作方 式 ， 使得 在整 个软件 生命 期 中都可 以并行 地进 行测试 工作 ， 从而极 大地 提 高了
软 件测 试 的效 率 。
测试工程师的经验和水平 ，将直接影响软件测试的效率 。
的复 用机 制 。多年 的测 试经 验表 明 ， 试用 例 的粒 度直接 测 影响 其可复 用性 。测试 用例 的粒度 越小 ， 潜在 的可复 用 其 性也会 越 高 。 是测试 用例 的粒度 越小 ， 但 将直 接影 响测试
的整体 复 用效 果 。因此 ，针对 不 同的测试粒 度 ，提 出不 同
［ ｓｒｃ］ Ｒ ｕａ ｌ ａ ｄｕ ｉｅ ｅｃｉｔ ｎｃｉｒ ｅｃ ｎ ｉｏ ｆｅｔ ａｅ ｅ ｓ． ｈｓｃｉ ｒ ｉｅ ｅｇ ｏ ｕｅｓｓ ｍ ｓ ｃｓｓＩ Ａｂｔａｔ ｅ ｓｂｅ ｎ ｎｆ ｄｄ ｓｒ ｉ ｒｅｉ ｉｔ ｏ ｄｔ ｎｏ ｓｃ ｓ ｕｅ Ｔ ｉ ｒｅｉ ｇｖ ｓｈ ｏ ｄｒ ｓ ｙｔ ｔ ｔ ｔ ａｅ．ｎ ｉ ｐｏ ｔ ａ ｓｈ ｉ ｔ ｒ ｔ ａ ｔ ｅ ｅ ｏｅ
码 的测 试和基于 规格 说 明的测试 ２ 。 类 基于 程序 代码 的测 试从源 程序 出发 产生测试 用例 ， 基于 规格 说 明的测试 从软
件 的规格说明推导测试用例。 基于规格说明的测试采用的 是黑盒测试的方法， 测试人员依据测试需求，设计测试用 例 ，可以用在单元测试、集成测试和系统测试中，同时 ｊ
个链接 、关 闭一 个窗 口、输入 一个数 据等 。 面给 出测 下
试项 的形 式化 定义 。
测试文档的标准制定 ，只是给出了测试用例的要素说明，
对测 试 用例 的表 示也 没有 给 出详细描 述 。 近年 来 ，国内外 学者进 行 了一些 关于软 件测 试复 用 的
３ Ｓ ａ ｇ ａ Ｋ ｙＬ ｂ ｒｔｒ ｆ ｏ ｕ ｅ ｏ ｔ ｒ ｖ ｌａｉｇ＆ Ｔ ｓ ｎ ， ｈ ｎ ｈ ｉ ０ ２ ５ Ｃ ｉａ ． ｈ ｎ ｈ ｉ ｅ ａ ｏ ａｏｙｏ ｍｐ ｔｒ ｆ Ｃ Ｓ ｗａｅＥ ａｕ ｔ ｎ ｅｔ ｇ Ｓ ａ ｇ ａ ２ ０ ３ ， ｈ ｎ ） ｉ
的测试 用例 的相关 定义 ，根据粒 度从 小 到大 的顺 序 ， 次 依 为 测试项 、测试 用例 、测试 用例套 ，并给 出相应 概念 的形
式化 定义 。
测 试 文档 、测试 技术 均 有详 细的 定义和 解释 ， 是该标 准 但
没 有对 测试 用例 的规 范进 行说 明 ，只给 出 了测 试 用例 设 计 的指 导 意见 。
关健 诃 ：测试 用例库 ； 测试 用例套 ；测试项 ；形式化描述 ；ｚ规格说明 ；软件测试
Ｆｏｒ ａ ｉ ｅ ｓ ｒｐｔｏ ｆＲｅ ａ ｅＴｅ ｔＣａ ｅ ｍ ｌｚ ｄ Ｄｅ ｃ ｉ ｉ ｎ ０ ｕｓ ｂｌ ｓ ｓ Ｂａ ｅ ｎ Ｚ ｓ ｄ ０ Ｓｐｅ ｉ ｃ ｔｏ ｃｆ ａ ｉ ｎ ｉ
在 国 际软件 测试 标准 制定 的基础 上 ，国内相继制 定 了 许 多适合 中国特色 的软 件测 试标 准 。目前 和软件 测试 相关
的现 行标 准 如下 ： 计算机 软件 测 试规 范 Ｉ 计算 机软 ， 件测 试 文档 编 制 规 范 Ｊ 软件 工 程软 件 产 品质 量要 求 ，
第３ 卷 ８
第 １ 期 ６
张
娟 ，童维勤 ，蔡立志 ：基于 ｚ 规格说 明的可复 用测试 用例形 式化描述
４ ５
准也相 继 出 台。目前 ， 门 的关于软 件测 试 的国 际标准 草 专
案 已经 完成 ，将取 代现 行 的以下 ４个 国际标 准 ：美 国国
统一规范的描述和定义可 以为测试 用例库提供 良好
家标 准 国家 学会 （Ｎ Ｉ Ａ Ｓ） 和美 国电子 电气 工程 师 协会（ Ｅ ） Ｉ Ｅ Ｅ
制 定 的软件 测试文档标准 ｌ ５ 和软件单元测 试标 准 ，英 国标
准 学会 制 定 的 软件 测试术语 标准和 软件构 件测试 标准 。
ＩＯ ＩＣ ２ １９标 准对软 件测 试 的概念 和术 语、测试 过程 、 Ｓ ／Ｅ ９ １
ｔｅｔｓ ａｅ ｅ ｓ ｂｌｔ． ｈ ｔ ｓ ｓｒｕ ａ ｉ ｙ ｅ ｃ ｉ
［ ｙｗｏ ｄ ］ｔｓｃｓ ｂａ ；ｅｔ ａｅ ｕｔ；ｅｔｔ ｆｒ ｌ ｅ ｅｃｉｔ ｎ Ｚｓｅｉｃｔ ｎ ｓｆ ｒ ｓ Ｋｅ ｒ ｓ ｅｔ ａｅｌ ｒｒ ｔｓｃ ｓ ｉ ｔ ｅ ｏｍａｚ ｄｄｓｒ ｉ ； ｃｆ ａｉ ；ｏｔ ｅ ｅｔ ｉ ｙ ｓ ｅ ｓ ｉｍ； ｉ ｐｏ ｐ ｉ ｏ ｗａ ｔ ＤＯＩ １ ． ６ ／ｉ ｎ１０ —４ ８２ １．６Ｏ １ ： ０３ ９ｊｓ ． ０３ ２ ．０ ２１．１ ９ ．ｓ ０
１ 概述
测试 用例是 软件测 试过 程 中的核 心资产 ， 测试 用例 的 设 计 占有软 件 测试 的大部 分 成本 。文献 ［ 认 为测 试 用例 １ ］ 是软 件测 试 的灵魂 ，并给 出如下 定义 ： 一个 好 的测 试可 能 发现 至今 尚未 被发现 的故 障 。 试 用例 的优 劣往往 取决 于 测
经 过 多年 的软 件测试 实 践 ， 已经 积累 了许 多优秀 的测试 用 例 ， 效地组 织和 利 用这 些有 价值 的资源 ， 有 将极 大提 高设
计测试 用例 的效率 ，从 而降低 软件 测试 的成本 。
软件 测试 用例复 用的基 本前提 ： （） 有可 以复 用的测 试 用例 。 １ 必须 （） 用 的测试 用例必 须是 有用 的 。 ２所复 （） 用者 必须 知道如何 去使 用被 复用 的测试 用例 。 ３复
与评价（Ｑ ａ Ｅ商业现货（ Ｏ Ｓ软件产品的质量要求和 Ｓ ｕＲ ） Ｃ Ｔ）
测试 细则 Ｕ］ ｏ国内 的标 准是 在 国际标 准 的基 础 上制定 完 Ｏ 成 的 ，标 准主要 侧重 于测 试术 语 、测试 计划 、测试 过程 、
具有完整含义的测试执行步骤。比如单击一个按钮、打开
一
粒度划分 的原则 ，针对基于 ｚ规格 说明的软件测试 ，提 出测试项、测试 用例 、测试用例套、测试 用例库等概念 ，并给出这些概念的形式化 定义 。通过 ｚ规格 说明对 可复用测试用例库进行描述 ，保证该用例库的描述准确和无二义性 。应用结果证明 ，该 方法能提高测试 用例 的可
复 用性 。
３ 溯试项 ． １ 为了能使测试用例的粒度进行最细小的解析 ， 本文提
出测试 项 的概 念 。测试 项也 可 以称 为测 试步骤 ， 是测 试 用 例 中的最小 元素 ， 是一 个具 有独立 意义 的可识 别 的最小输 入 或者 最小操 作 。 测试项 是测 试过程 中某 一个 不可分 解 的
ｏ ｄ ｒｔ ｎ ｒ ａ ｅｔ ｅ ｒ ｕ ａ ｉ ｔ ｆ ｅ ｔｃ ｓ ｓ ｂ ｏ ｌ ｗｉ ｇ ｔ ｅ ｐ ｉ ｃｐ ｅｏ ｎ ｍ ｉ ｉ ｇ ｔ ｅ ｃ ｍｐ ｓ ｔ ｎ ｏ ｅ ｔｃ ｓ ， ｈ ｓｐ ｐ ｒｇ ｖ ｓｔ ｅ ｃ ｎｃ ｐ ｓａ ｄ ｒ ｅ ｉ ｃ ｅ ｓ ｅ ｓ ｂ ｌ ｙ ｏ ｔ ｓ ａ ｅ ， ｙ ｆ ｌｏ ｎ ｈ ｒ ｎ ｉ ｌ ｆｍｉ ｉ ｚ ｎ ｈ ｏ ｏ ｉｉ ｆｔ ｓ ａ ｅ ｔ ｉ ａ ｅ ｉ ｅ ｏ ｅ ｔ ｎ ｏ ｈ ｉ ｏ ｈ ｆ ｒ ａ ｉｅ ｅ ｎｉ ｏ ｓ ｏ ｓ ｔ ｍ， ｅ ｔｃ ｓ ， ｅ ｔ ａ ｅ ｓ ｔ ｎ ｅ ｔｃ ｓ ｉ ｒ ｒ ， ｔ ． ｅ ｆ ｒ ｌ ｅ ｅ ｃ ｉ ｔｏ ｏ ｔ ｓ ａ ｅ ｎ ｔ ｅ ｔ ｓ ａ ｅ ｌ ｒ ｒ ， ｏ ｍ ｌｚ ｄ ｄ ｆ ｔ ｎ ｆ ｅ ｔｉ ｉ ｉ ｔ ｅ ｔ ｓ ａ ｅ ｔ ｓ ｓ ｕｉ ａ ｄ ｔ ｓ ａ ｅ ｌ ａ ｙ ｅ ｃ Ｔｈ ｏ ｍａ ｉ ｄ ｄ ｓ ｒｐ ｉ ｎ ｔ ｅ ｔｃ ｓ ｓｉ ｈ ｅ ｔ ｓ ｉ ａ ｙ ｃ ｅ ｂ ｚ ｃ ｂ ｂ ｓｎ ｓ ｅ ｉ ｃ ｔｏ ， ｎｓ ｒ ｓｔ ｅ ａ ｃ ｒ ｔ ｎ ｎａ ｉ ｕｏ ｏ ｒ ｕ ａ ｅｔ ｓ ａ ｅ ｌｂ ａ ｙ． ｐ ｉ ａ ｉ ｎ ｒ ｓ ｌ ｓ ｏ ｈ ｔ ｅ ｍｅ ｈ ｄ ｃ ｎ ｉ ｒ ｖ ｙ ｕ ｉ ｇ Ｚ ｐ ｃ ｆ ａ ｉ ｎ ｅ ｕ ｅ ｈ ｃ ｕ ａ ｅ ａ ｄ ｕ ｍｂ ｇ ｕｓｔ ｅ ｓ ｂｌ ｅ ｔｃ ｓ ｉ ｒ ｒ Ａｐ ｌｃ ｔ ｅ ｕ ｔ ｈ ｗｓｔ ａ ｔ ｏ ａ ｍｐ ｏ ｅ ｉ ｏ ｈ ｔ
作者简介 ：张 ￣（９ ５ ，女 ，工程师 ，主研方 向：软件测试 ；童维勤 ，教授、博士生导师 ；蔡立志 ，博士 １ ７ 一）
收稿 日期 ：２ １— — 修 回日期 ：２ １－ —３ ０ １ ９１ ０ ４ ０１１ １ ２
Ｅｍａ ：ｚａｇ ＠￣ｘ ａ． ｍ － ｉ ｈｎ－ ｌ ｊ ｍ ｉｏ ｌ ｅ
第 ３ 卷 第 １ 期 ８ ６
Ｖ０ ３８ ｌ
・
计
算
机
工
程
２１ ０ ２年 ８月
Ａｕｇ ｓ ０１ ｕ ｔ２ ２
Ｎ Ｏ．６ １
Ｃｏ ｐｕ ｅ ｇｉ ｅ ｉｇ ｍ ｔｒＥｎ ｎｅ ｒｎ
软件 技 术与数 据 库 ・
文章编号： ００－２（ １１一ｌ４ 文献标识码： １ｏ—３ ８０２每 ０ — ５ ４ ２ ） ４ Ａ
中圈分类号： Ｐ１ Ｔ３１
基 于 Ｚ 规 格 说 明 的 可 复 用 测 试 用 例 形 式化 描 述
张 娟 ，童维勤 ，蔡立志 ，
（．上海大学计算机工程与科学学院 ，上海 ２ ０ ４ ；２ １ ０ ０ ７ ．江西财经大学 ，南昌 ３０ １ ； ３０ ３
３ 上海市计算机 软件评 测重 点实验室 ，上海 ２ ０ ３ ） ． ０２５ 摘 要 ：可复 用的、统一的描述规范是测试 用例复 用的前提条件 ，能够为测试用例的共享提供 良好的复用机制 。为此 ，遵循测试用例最小
因此 ，正 确地 刻 画、描述 和管 理可复 用 的测试 用例是 实现 测试 用例 复 用的 关键 。 Ｊ
由于 基于 规 格 说 明 的测 试 用例 具 有天 然 的可 复 用特
性， 因此本 文研 究的对象 将 只限于基 于规 格说 明 的测 试 用 例 。为 了提 高测 试用例 的可 复用性 ， 出可复 用 的测试 用 提
ＺＨ ＡＮ Ｇ Ｊｕａｎ１ ， ＴＯ ＮＧ ｅ ． ｎ ，３ ２ Ｗ ｉｑｉ ．ＣＡ ＩＬ ｉｚ ３ ． ｈｉ
，
（． ｃ ｏ ｌ ｆ ｍｐ ｔｒ ｎ ｉｅｒｎ ｎ ｃｅ ｃ， ｈ ｎ ｈｉ ｉｅｓｙ Ｓ ａ ｇａ ０ ０ ７ Ｃ ｉａ １Ｓ ｈ ｏ ｏ Ｃｏ ｕｅ ｇｎ ｅｉｇａｄＳ ｉｎｅ Ｓ ａ ｇ ａＵｎｖ ｒｉ ， ｈｎ ｈ ｉ ０ ４ ， ｈｎ ； Ｅ ｔ ２
例套概念 ， 并在此基础上给出了和可复用测试用例库有关
的一套 完
随着软件 测试 的不 断深 入 ， 多和测 试相 关 的行 业标 许
根 据测试 用例 的来 源 ， 件测 试可 以分为 基于 程序代 软
基金项 目：国家火炬计划基金资助项 目（ ０Ｇ ５０６） ２ ９ Ｈ １０８；上海 市科委科研计划基金资助项 目（０ Ｚ ２ １０） ０ １Ｄ ２９ ８０
基于 规格 说 明的测试 还为测 试用例 的 重用提供 了可能 。 它 改变 了现在 编程 ，以后测试 的工 作方 式 ， 使得 在整 个软件 生命 期 中都可 以并行 地进 行测试 工作 ， 从而极 大地 提 高了
软 件测 试 的效 率 。
测试工程师的经验和水平 ，将直接影响软件测试的效率 。
的复 用机 制 。多年 的测 试经 验表 明 ， 试用 例 的粒 度直接 测 影响 其可复 用性 。测试 用例 的粒度 越小 ， 潜在 的可复 用 其 性也会 越 高 。 是测试 用例 的粒度 越小 ， 但 将直 接影 响测试
的整体 复 用效 果 。因此 ，针对 不 同的测试粒 度 ，提 出不 同
［ ｓｒｃ］ Ｒ ｕａ ｌ ａ ｄｕ ｉｅ ｅｃｉｔ ｎｃｉｒ ｅｃ ｎ ｉｏ ｆｅｔ ａｅ ｅ ｓ． ｈｓｃｉ ｒ ｉｅ ｅｇ ｏ ｕｅｓｓ ｍ ｓ ｃｓｓＩ Ａｂｔａｔ ｅ ｓｂｅ ｎ ｎｆ ｄｄ ｓｒ ｉ ｒｅｉ ｉｔ ｏ ｄｔ ｎｏ ｓｃ ｓ ｕｅ Ｔ ｉ ｒｅｉ ｇｖ ｓｈ ｏ ｄｒ ｓ ｙｔ ｔ ｔ ｔ ａｅ．ｎ ｉ ｐｏ ｔ ａ ｓｈ ｉ ｔ ｒ ｔ ａ ｔ ｅ ｅ ｏｅ
码 的测 试和基于 规格 说 明的测试 ２ 。 类 基于 程序 代码 的测 试从源 程序 出发 产生测试 用例 ， 基于 规格 说 明的测试 从软
件 的规格说明推导测试用例。 基于规格说明的测试采用的 是黑盒测试的方法， 测试人员依据测试需求，设计测试用 例 ，可以用在单元测试、集成测试和系统测试中，同时 ｊ
个链接 、关 闭一 个窗 口、输入 一个数 据等 。 面给 出测 下
试项 的形 式化 定义 。
测试文档的标准制定 ，只是给出了测试用例的要素说明，
对测 试 用例 的表 示也 没有 给 出详细描 述 。 近年 来 ，国内外 学者进 行 了一些 关于软 件测 试复 用 的