基于形式化描述可复用测试用例库的研究与实现
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ｅ ｓ ｅ ｔｅ ｓ ｆｗａｅ ｑｕ ｌｔ ｅｔ ｒ ｎ ｕｒ ｈ ｏｔ ｒ ａｉｙ ｂ ｔｅ ．
Ｋｅ ｗｏ ｄ ｙ ｒｓ
Ｆ ｒ ｌ ｅ ａ ｇ ａ ｅ Ｚ ｓ ｅ ｉ ｃ ｔ ｎ Ｓ ｆ ｒ ｅ ｔ Ｒ ｕ ａ ｌ ｅ ｔｃ ｓ Ｔ ｓ ｃ ｓ ｉ ｒｒ ｏ ｍａｉ ｄ ｌ ｎ ｕ ｇ ｐ ｃｆ ａ ｉ ｏ ｗａｅ ｔ ｓ ｚ ｉ ｏ ｔ ｅ ｓ ｂ ｅ ｔｓ ａ ｅ ｅ ｔ ａ ｅ ｌ ａｙ ｂ
Ｚｈ ｎ ｎ ｙ ｎ ａ ｇ Ｈｏ ｇ ａ
Ｙａ ｇ Ｇｅ ｘ ｎ ’ ｎ ｎ ｉｇ －
Ｃａ ｉｈ ｉＬ ｚ ｉ
（ ｐ ｒ ｎ ｏ ｏ ｐｔｒ ｃ ｎｅａ ｄＥ ｇｎｅｎ ，Ｅ ｓ Ｃ ｉａ Ｕ ｉ ｒｔ ｏ ｉ ｃ ｎ ｅｈ ｏ ｇ ，ｈ ｎｈ ｉ ０ ２ ７ Ｃ ｉ Ｄｅａｔ ｔｆＣ ｍ ｕｅ Ｓｉ ｃ ｎ ｎ ｉ ｒ ｇ ａｔ ｈｎ ｎｖ ｓｙ ｆＳ ｅ ｅａｄ Ｔｃｎｌ ｙ Ｓ ａｇ ａ ０ ３ ， ｈｎ ｍｅ ｅ ｅｉ ｅ ｉ ｃ ｎ ｏ ２ ａ） （ ｈ ｎｈ ｉ ｅ ａｏａｏｙｏ Ｃ ｍ ｕｅ Ｓｆ ａｅＥ ａｕｔ ｇａ ｄＴｓｎ Ｓ ａｇ ａ ０ １ ２ ｈｎ ） Ｓａ ｇ ａ Ｋ ｙＬ ｂｒｔｒ ｆ ｏ ｐｔ ｏｗ ｒ ｖｌａｉ ｎ ｅｉｇ， ｈ ｎｈ ｉ １ １ ，Ｃ ｉａ ｒ ｔ ｎ ｔ ２
张红燕 杨根兴 蔡立志
（ 华东理工大学计算机科学与工程系 上海 ２０ ３ ） ０ ２ ７
。 上 海 市 计算 机软 件 评 测 重 点 实 验 室 上海 ２ １ ） （ ０ １ １２
摘
要
软 件测 试 作 为保 证 软 件 质 量 的 重 要 手 段 ， 软 件 开 发 过 程 中 的 重 要 环 节 。 软 件 测 试 过 程 中产 生 的大 量 测试 用 例 对 保 证 是
软 件 的质 量起 到 了关 键 作 用 。 为 了共 享 和 复用 测试 用 例 ， 出 了基 于 形 式 化语 言描 述 的 可 复用 测 试 用 例 库 的构 建 方 法 ， 提 收集 大 量 测
试用例 ， 并进 行合理的分 类和管理 ， 测试人 员可以从库 中选择合适 的测试用例直 接使 用或 稍作修 改来使用 ， 从而大 幅度 降低 了测试
ｌｒ ｅ ｎ ｍｂ ｒｏ ｓ ａ ｅ ｒ ｄ ｃ ｄ ｉ ｏｔ ａ ｅｔ ｓｉｇ ｐ ｏ ｅ ｓｐ ａ ｈ ｅ ｏｅ ｏ ｏｔ ａ ｅ ｑ ａｉ ｓｕ ａ ｃ ．Ｉ ｒ ｅ ｈ ｒ ｎ ｅ ｓ ｓ ａｇ ｕ ｅ ｆｔ ｔｃ ｓ ｓｐ ｏ ｕ ｅ ｎ ｓ ｆ ｒ ｅ ｔ ｒ ｃ ｓ ｌｙ ｔ ｅ ｋ ｙ ｒ ｌ ｎ ｓ ｆ ｒ ｕ ｌ ｙ ａ ｓ ｒ ｎ ｅ ｎｏ ｄ ｒｔ ｓ ａｅ ａ ｄ ｒ ｕ ｅｔ ｔ ｅ ｗ ｎ ｗ ｔ ｏ ｅ ｃ ｓ ｓ ｎ ｔ ｉ ｐ ｐ ｒｗ ｎｒ ｄ ｃ ａ ｆｂ ｉ ｉｇ ｔｅ ｆｒ ｌｌｎ ｕ ｇ ｅ ｃ ｉ ｔ ｎ ｂ ｓ ｄ ｒ ｕ ａ ｌ ｅ ｔｃ ｓ ｉ ｒｒ ａ ｅ ，ｉ ｈ ｓ ａ ｅ ｅ ｉ ｔ ｕ ｅ ａ ｗ ｙ ｏ ｕ ｌ ｎ ｈ ｏ ｍａ ａ ｇ ａ ｅ ｄ ｓ ｒ ｉ — ａ ｅ ｅ ｓ ｂ ｅ ｔｓ ａ ｅ ｌ ａｙ，ｗ ｌ ｏｌｃ ａｇ ｏ ｄ ｐ ｏ ｂ ｅ ａｓ ｃ ｌ ｔａ ｌｒ ｅ ｏ ｅ ｎ ｍｂ ｒｏ ｓ ａ ｅ ｎ ａｒ ｕ ｅ ｓ ｎ ｂ ｅ ｃａ ｓｆ ａ ｉｎ ａ ｄ ｍａ ａ ｅ ｎ ， ｈ ｏｔ ａ ｅ ｔｓｅ ｓｃ ｎ ｓ ｌｃ ｐ ｒｐ ｉｔ ｓ ｃ ｓ ｓｄ ｒ ｃｌ ｒ ｕ ｅ ｆ ｅ ｔｃ ｓ ｓａ ｄ ｃ ｒ ｏ ｔａｒ ａ ｏ ａ ｌ ｌ ｓｉ ｃ ｔ ｎ ｎ ｇ ｍｅ ｔ ｔ ｅ ｓ ｆ ｒ ｅ ｔｒ ａ ｅｅ ｔ ｐ ｏ ｒａｅ ｔ ｔ ａ ｅ ｉ ｔ ｏ ｔ ｙ ｉ ｏ ｗ ａ ｅ ｅ ｙ ｗ ｔ ｌ ｈ ｄｆ ａｉｎ，ｔ ｅ ｅｏ ｅ ｔｅ ｗｏ ｋｏ ｄ ｏ ｓｅ ｓｉ ｓｇ ｉ ｃ ｎ ｌ ｅ ｕ ｅ ｉ ｓｇｔ ｈ ｉ ｍｏ ｉ ｃ ｔ ｉ ｏ ｈ ｒｆ ｒ ｈ ｒ ｌａ ｆｔ ｔｒ ｓ ｉｎ ｆ ａ ｔ ｒ ｄ ｃ ｄ，ｔ ｅｔ ｓｉｇ ｅ ｃｅ ｃ ｓｇ ｅ ｔ ｍｐ ｏ ｅ ｅ ｉ ｙ ｈ ｅ ｔ ｆ ｉｎ ｙｉ ｒａ ｌ ｉ ｒ ｖ ｄ，ａ ｄ ｔ ｅ ｅ ｆｒｈ ｒ ｎ ｉ ｙ ｎ ｈ ｓ ｔ ｅ ｕ
人 员 的工 作 量 ， 大地 提 高 了测 试 工 作 效 率 ， 而更 好 地 保 证 软 件 质 量 。 极 进 关 键 词 形式化语言 Ｚ规 格 软 件 测试 可 复用 测试 用 例 测 试 用 例 库
ｏＮ ＦｏＲＭ ＡＬ ＤＥＳＣＲＩ ＰＴＩ ｏＮ． ＢＡＳ ＥＤ ＲＥＵＳ ＡＢＬＥ ＴＥＳＴ ＣＡＳＥ ＢＲＡＲＹ ＬＩ ＡＮＤ ＴＳ ＲＥＡＬＩ Ｉ ＳＡＴＩ ｏＮ
Ａ ｂ ｔａｃ ｓｒ ｔ Ａｓ ａ ｍｐｏｔ ｎ ａ ｓ ｔ ｎ ｕ ｅ ｓ ｆｗａ ｅ ｑ ｌｔ ｎ ｉ ｒａ ｔｍｅ ｎ ｏ ｅ ｓ ｒ ｏｔ ｒ ｕａｉ ｙ，ｓ ｆｗａ ｅ ｔ ｓ ｓ ａ ｎ ｖｔ ｂｅ ｐ ｏ ｅ ｒ ｎ ｓ ｆｗａｅ ｄ ｖ ｌ ｐ ｎ ｒ ｃ ｓ ． Ａ ｏｔ ｒ ｅ ｔｉ ｎ ｉｅ ｉａ ｌ ｒ ｃ ｄｕ ｅ ｉ ｏ ｔ ｒ ｅ ｅｏ ｍｅ ｔｐ ｏ ７月
计算机 应 用与软 件
Ｃｏ ｕ ｅ ｍｐ ｔｒ Ａｐｐ ｉａｉ ｎ ｎ ｏｔ ｒ ｌ ｔｏ ｓａ ｄ Ｓ ｆｗａ ｅ ｃ
Ｖｏ ． ． １２７ Ｎｏ ７
Ｊ１ ０ ０ ｕ ．２ １
基 于形 式 化 描 述 可 复 用测 试 用 例 库 的研 究 与 实 现
Ｋｅ ｗｏ ｄ ｙ ｒｓ
Ｆ ｒ ｌ ｅ ａ ｇ ａ ｅ Ｚ ｓ ｅ ｉ ｃ ｔ ｎ Ｓ ｆ ｒ ｅ ｔ Ｒ ｕ ａ ｌ ｅ ｔｃ ｓ Ｔ ｓ ｃ ｓ ｉ ｒｒ ｏ ｍａｉ ｄ ｌ ｎ ｕ ｇ ｐ ｃｆ ａ ｉ ｏ ｗａｅ ｔ ｓ ｚ ｉ ｏ ｔ ｅ ｓ ｂ ｅ ｔｓ ａ ｅ ｅ ｔ ａ ｅ ｌ ａｙ ｂ
Ｚｈ ｎ ｎ ｙ ｎ ａ ｇ Ｈｏ ｇ ａ
Ｙａ ｇ Ｇｅ ｘ ｎ ’ ｎ ｎ ｉｇ －
Ｃａ ｉｈ ｉＬ ｚ ｉ
（ ｐ ｒ ｎ ｏ ｏ ｐｔｒ ｃ ｎｅａ ｄＥ ｇｎｅｎ ，Ｅ ｓ Ｃ ｉａ Ｕ ｉ ｒｔ ｏ ｉ ｃ ｎ ｅｈ ｏ ｇ ，ｈ ｎｈ ｉ ０ ２ ７ Ｃ ｉ Ｄｅａｔ ｔｆＣ ｍ ｕｅ Ｓｉ ｃ ｎ ｎ ｉ ｒ ｇ ａｔ ｈｎ ｎｖ ｓｙ ｆＳ ｅ ｅａｄ Ｔｃｎｌ ｙ Ｓ ａｇ ａ ０ ３ ， ｈｎ ｍｅ ｅ ｅｉ ｅ ｉ ｃ ｎ ｏ ２ ａ） （ ｈ ｎｈ ｉ ｅ ａｏａｏｙｏ Ｃ ｍ ｕｅ Ｓｆ ａｅＥ ａｕｔ ｇａ ｄＴｓｎ Ｓ ａｇ ａ ０ １ ２ ｈｎ ） Ｓａ ｇ ａ Ｋ ｙＬ ｂｒｔｒ ｆ ｏ ｐｔ ｏｗ ｒ ｖｌａｉ ｎ ｅｉｇ， ｈ ｎｈ ｉ １ １ ，Ｃ ｉａ ｒ ｔ ｎ ｔ ２
张红燕 杨根兴 蔡立志
（ 华东理工大学计算机科学与工程系 上海 ２０ ３ ） ０ ２ ７
。 上 海 市 计算 机软 件 评 测 重 点 实 验 室 上海 ２ １ ） （ ０ １ １２
摘
要
软 件测 试 作 为保 证 软 件 质 量 的 重 要 手 段 ， 软 件 开 发 过 程 中 的 重 要 环 节 。 软 件 测 试 过 程 中产 生 的大 量 测试 用 例 对 保 证 是
软 件 的质 量起 到 了关 键 作 用 。 为 了共 享 和 复用 测试 用 例 ， 出 了基 于 形 式 化语 言描 述 的 可 复用 测 试 用 例 库 的构 建 方 法 ， 提 收集 大 量 测
试用例 ， 并进 行合理的分 类和管理 ， 测试人 员可以从库 中选择合适 的测试用例直 接使 用或 稍作修 改来使用 ， 从而大 幅度 降低 了测试
ｌｒ ｅ ｎ ｍｂ ｒｏ ｓ ａ ｅ ｒ ｄ ｃ ｄ ｉ ｏｔ ａ ｅｔ ｓｉｇ ｐ ｏ ｅ ｓｐ ａ ｈ ｅ ｏｅ ｏ ｏｔ ａ ｅ ｑ ａｉ ｓｕ ａ ｃ ．Ｉ ｒ ｅ ｈ ｒ ｎ ｅ ｓ ｓ ａｇ ｕ ｅ ｆｔ ｔｃ ｓ ｓｐ ｏ ｕ ｅ ｎ ｓ ｆ ｒ ｅ ｔ ｒ ｃ ｓ ｌｙ ｔ ｅ ｋ ｙ ｒ ｌ ｎ ｓ ｆ ｒ ｕ ｌ ｙ ａ ｓ ｒ ｎ ｅ ｎｏ ｄ ｒｔ ｓ ａｅ ａ ｄ ｒ ｕ ｅｔ ｔ ｅ ｗ ｎ ｗ ｔ ｏ ｅ ｃ ｓ ｓ ｎ ｔ ｉ ｐ ｐ ｒｗ ｎｒ ｄ ｃ ａ ｆｂ ｉ ｉｇ ｔｅ ｆｒ ｌｌｎ ｕ ｇ ｅ ｃ ｉ ｔ ｎ ｂ ｓ ｄ ｒ ｕ ａ ｌ ｅ ｔｃ ｓ ｉ ｒｒ ａ ｅ ，ｉ ｈ ｓ ａ ｅ ｅ ｉ ｔ ｕ ｅ ａ ｗ ｙ ｏ ｕ ｌ ｎ ｈ ｏ ｍａ ａ ｇ ａ ｅ ｄ ｓ ｒ ｉ — ａ ｅ ｅ ｓ ｂ ｅ ｔｓ ａ ｅ ｌ ａｙ，ｗ ｌ ｏｌｃ ａｇ ｏ ｄ ｐ ｏ ｂ ｅ ａｓ ｃ ｌ ｔａ ｌｒ ｅ ｏ ｅ ｎ ｍｂ ｒｏ ｓ ａ ｅ ｎ ａｒ ｕ ｅ ｓ ｎ ｂ ｅ ｃａ ｓｆ ａ ｉｎ ａ ｄ ｍａ ａ ｅ ｎ ， ｈ ｏｔ ａ ｅ ｔｓｅ ｓｃ ｎ ｓ ｌｃ ｐ ｒｐ ｉｔ ｓ ｃ ｓ ｓｄ ｒ ｃｌ ｒ ｕ ｅ ｆ ｅ ｔｃ ｓ ｓａ ｄ ｃ ｒ ｏ ｔａｒ ａ ｏ ａ ｌ ｌ ｓｉ ｃ ｔ ｎ ｎ ｇ ｍｅ ｔ ｔ ｅ ｓ ｆ ｒ ｅ ｔｒ ａ ｅｅ ｔ ｐ ｏ ｒａｅ ｔ ｔ ａ ｅ ｉ ｔ ｏ ｔ ｙ ｉ ｏ ｗ ａ ｅ ｅ ｙ ｗ ｔ ｌ ｈ ｄｆ ａｉｎ，ｔ ｅ ｅｏ ｅ ｔｅ ｗｏ ｋｏ ｄ ｏ ｓｅ ｓｉ ｓｇ ｉ ｃ ｎ ｌ ｅ ｕ ｅ ｉ ｓｇｔ ｈ ｉ ｍｏ ｉ ｃ ｔ ｉ ｏ ｈ ｒｆ ｒ ｈ ｒ ｌａ ｆｔ ｔｒ ｓ ｉｎ ｆ ａ ｔ ｒ ｄ ｃ ｄ，ｔ ｅｔ ｓｉｇ ｅ ｃｅ ｃ ｓｇ ｅ ｔ ｍｐ ｏ ｅ ｅ ｉ ｙ ｈ ｅ ｔ ｆ ｉｎ ｙｉ ｒａ ｌ ｉ ｒ ｖ ｄ，ａ ｄ ｔ ｅ ｅ ｆｒｈ ｒ ｎ ｉ ｙ ｎ ｈ ｓ ｔ ｅ ｕ
人 员 的工 作 量 ， 大地 提 高 了测 试 工 作 效 率 ， 而更 好 地 保 证 软 件 质 量 。 极 进 关 键 词 形式化语言 Ｚ规 格 软 件 测试 可 复用 测试 用 例 测 试 用 例 库
ｏＮ ＦｏＲＭ ＡＬ ＤＥＳＣＲＩ ＰＴＩ ｏＮ． ＢＡＳ ＥＤ ＲＥＵＳ ＡＢＬＥ ＴＥＳＴ ＣＡＳＥ ＢＲＡＲＹ ＬＩ ＡＮＤ ＴＳ ＲＥＡＬＩ Ｉ ＳＡＴＩ ｏＮ
Ａ ｂ ｔａｃ ｓｒ ｔ Ａｓ ａ ｍｐｏｔ ｎ ａ ｓ ｔ ｎ ｕ ｅ ｓ ｆｗａ ｅ ｑ ｌｔ ｎ ｉ ｒａ ｔｍｅ ｎ ｏ ｅ ｓ ｒ ｏｔ ｒ ｕａｉ ｙ，ｓ ｆｗａ ｅ ｔ ｓ ｓ ａ ｎ ｖｔ ｂｅ ｐ ｏ ｅ ｒ ｎ ｓ ｆｗａｅ ｄ ｖ ｌ ｐ ｎ ｒ ｃ ｓ ． Ａ ｏｔ ｒ ｅ ｔｉ ｎ ｉｅ ｉａ ｌ ｒ ｃ ｄｕ ｅ ｉ ｏ ｔ ｒ ｅ ｅｏ ｍｅ ｔｐ ｏ ７月
计算机 应 用与软 件
Ｃｏ ｕ ｅ ｍｐ ｔｒ Ａｐｐ ｉａｉ ｎ ｎ ｏｔ ｒ ｌ ｔｏ ｓａ ｄ Ｓ ｆｗａ ｅ ｃ
Ｖｏ ． ． １２７ Ｎｏ ７
Ｊ１ ０ ０ ｕ ．２ １
基 于形 式 化 描 述 可 复 用测 试 用 例 库 的研 究 与 实 现