SQL测试用例集的自动生成
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
收稿 日期 ：０ １—１ ２ ２１ ｌ一２ 。丁祥武， 副教授 ， 主研领域 ： 数据库 ， 数据
挖 掘 ， 业 Ｊｖ 。张 钦 ， 士 生 。 韩朱 忠 ， 士 。 企 ａａ 硕 硕
移植到另一个 不同品牌 的 Ｄ ＭＳ环境下进行工作而不需要做任 Ｂ
何重大 的修改 。 Ｓ Ｌ标 准符合性测试是测 试 Ｄ ＭＳ产品 的 Ｓ Ｌ功能 特征 ， Ｑ Ｂ Ｑ
ｅ ｅｔ ｅ ｅｕｅｔｅｗ ｒｌ ｄｏ ｔｅｔ ｔ ． ｈｒ ｉ ａ ｓ ｎ ｕｏ ｔ ｏ ｓｐ ｏｔ ｇｔｅｄ ｅｔ ｅｅａ ｏ ｆＳ Ｌｓｎｅｃｓａ ｐｅｅｔ ｆ ｃｖｌ ｒ ｃ ｏ ｏ ｆ ｈ ｓ ｒ Ｔ ｅｅ ｓ ｌ ｔ ｏａｔ ｉ ｔ ｌ ｕｐ ｒｎ ｉ ｃ ｇｎ ｒ ｉ ｏ Ｑ ｅｔｎｅ ｔ ｒｓ ． ｆ ｉ ｙ ｄ ｈ ｋ ａ ｅｅ ｍｏ ｍａ ｃ ｏ ｉ ｈ ｒ ｔｎ ｎ
１ 相 关 工 作
１ １ 背 景知识 ．
通常使用上下文无关文法来 描述语言 ， 相应 的文法 Ｇ定 义
为 四元 组 Ｇ ＝ （ ， Ｐ， ）： Ｖ， Ｓ
规 则 覆 盖 。
２ 基 于文 法 的测 试 用 例 自动 生 成
２ １ 模拟 分析树 的推 导过 程 ．
分析树 描述 了如何从 文法 的开始符开始推导 出它语言 中的
。 Ｓ ａ ｇ ａ ａ ｅｇＤ ｔｂ ｏ ，ｔ． Ｓａ ｇ ａ ０ ０ １ Ｃ ｉ ） （ｈ ｎ ｈ ｉ ｍ ｎ ａａｌｅＣ ．Ｌｄ ，ｈｎ ｈ ｉ ０ ５ ， ｈｎ Ｄ ２ ａ
Ａ ｓｒｃ ｂｔａ ｔ
Ｃ ｍｐ ｉｇＳ Ｌｓｎｅｃｓｉ ａ ｍ ｏｔ ａｔ ｏ ｔｓ ｄｔ ａｅｍａａｅ ｅｔ ｙｔ ｏ ｉｎ Ｑ ｔ ｅ ｎｉ ｐｒ ｐｒ ｆｒｅｔ ａ ｂ ｓ ｎｇｍ ｎ ｓｓ ｍ．Ａ ｔ ａｉ ｇｎｒｔ ｎｏ Ｓ Ｌｓｎｅｃｓｃｎ ｌ ｅ ｎ ｓ ａ ｅ ｕｏ ｔ ｅｅａｉ ｆ Ｑ ｅ ｔ ｅ ａ ｍ ｃ ｏ ｎ
有 直接 生 成 Ｓ Ｌ语 句 的 自动 化 工 具 。 通 过 模 拟 产 生 式 的直 接 推 导过 程 ， 据 Ｓ Ｌ文 法 ， 出生 成 符 合 该 文 法 的 Ｓ Ｌ语 句 ， 作 测 试 Ｑ 根 Ｑ 给 Ｑ 用 用 例 的 方 法 ； 究从 表 示 文 法 的 Ｂ Ｆ文件 生成 Ｓ Ｌ测 试 用 例 集 合 的 自动 化过 程 。这 个 过 程 包 括 几个 阶 段 ： Ｓ Ｌ文 法 的每 一个 非 研 Ｎ Ｑ 将 Ｑ
的可 移 植 性 ， 在 一 个 Ｄ ＭＳ 境 下 开 发 的 Ｓ Ｌ应 用 完 全 可 以 即 Ｂ 环 Ｑ
测试 ， 要求输入符合 Ｄ Ｍ语法 的 Ｓ Ｌ语句都 能够被 Ｄ ＭＳ合理 Ｑ Ｂ 地执行 。但是 由于 Ｓ Ｌ语法 的复杂性 ， 工手 写 Ｓ Ｌ语 句工作 Ｑ 人 Ｑ
量很 大 ， 目前又 没有 自动生成 Ｓ Ｌ语 句 的 自动化工 具 ， 以 而 Ｑ 所 本 文提 出一种根据 Ｓ Ｌ文 法 ， Ｑ 生成符 合该 文法 的 Ｓ Ｌ语句 ， Ｑ 用 作测试 Ｓ Ｌ的测试用例 的方法。 Ｑ
ｒ ｍｍａ ｓｃ ｎ ｅ ｅ ｏ ａ ｃ ｒｅ ｐ ｎ ｉｇ ｐ ｒ ｅ ｆｎ ｔ ｎ ａ ｄ ｔｅ ｓ ｔｏ ｌ ｔ ｅ ｅ ｐ ｒ ｅｆ ｎ ｔ ｎ ｒ ｓ ｔｅ ｒ ｌ ｓｌ ｒ ｒ ．Ｔ ｅ ｇ ｎ ｒ ｔ ｅｆ ｒ ａｓ ｇａ ｒｉ ｏ ｖ ｒ ｄ ｔ ｏｒ ｓ ｏ ｄ ｎ ａｓ ｕ ｃｉ ｎ ｈ ｅ ｆ ｌ ｈ ｓ ａｓ ｕ ｃｉ ｓｆｍ ｈ ｕ ｅ ｂ ａ ｙ ｈ ｅ ｅ ａ ｉ ｏ ｔ ｏ ａ ｏ ｏ ｉ ｖ ｍ ｌ
ｔｓ ｃｓｓ ｈｏｇ ｈ ｏ ｐｏ ｔ ｅｉｔ ｄ ｃｄ ｈ Ｑ ｓ ｃｓｓｉ ｃｎ ｒ ｉ ｉ Ｑ ｒｍ ｒｃｌｂ ｅｉｅ． ｅｔ ａｅ．Ｔ ｒｕ ｈｔｅｔ ｌ ｒｔ ｙ ｒ ｕ ｅ ，ｔ Ｓ Ｌｔ ｔ ａｅ ｏｆ ｍ ｔ ｗｔ Ｓ Ｌｇａ ｍａ ａ ｅｄｒ ｄ ｏ ｏｐ ｎｏ ｅ ｅ ｎ ｏ ｙ ｈ ｌ ｖ Ｋｅ ｗ ｒ ｓ ｙ ｏｄ Ｓ Ｌｔｓ ｃｓ ｅ Ａ ｔ ｔ ｓ ｃｓ ｅｅａ ｏ Ｗｅ ｈ ｒ ｙ Ｍａ ｏ ｍ ｓ Ｑ ｔ ａｅｓｔ ｕ ｍａ ｄｔ ｔ ａｅｇｎｒｔ ｎ ｅ ｏ ｅ ｅ ｉ ｉｔ ｒｓ ｇ ａａ ｘｌ ｐｔ ｅ ｏ ｉ
丁祥武 张 钦 韩朱忠
（ 东华大学计算机科学与技术学 院 （ 达梦数据库（ 上海 ） 限公 司 有 上海 ２ １２ ） ０ ６ ０ 上海 ２ ０ ５ ） ０ ０ １
摘 要
编 写 Ｓ Ｌ语 句 是 测 试 数 据 库 管 理 系统 的 一个 重 要 部分 。 自动 生 成 Ｓ Ｌ语 句 可 以有 效 减 少 测 试 人 员 的 工作 量 ， 目前 没 Ｑ Ｑ 而
Ｄｎ ｉ ｇ ｕ Ｚ ａｇＱｎ Ｈ ｎＺ ｕｈｎ ｉ Ｘａ ｗ ｈｎ ｉ ｇ ｎ ’ ａ ｈ ｚｏ ｇ
（ ｃｏ１ｆＣ ｍ ｕｅ ｃ ｌｅａ ｄＴｃｎ ｌ ｙＤ０ｇ ｕ ｎｖｒｉ ，ｈ ｎｈ 百度文库 ０６ ０ Ｃ ｉａ Ｓｈｏ ｏ ｏ ｐ ｔ Ｓｉｉ ｎ ｅｈ ｏｏ ， ｎ ｈ ａＵ ｉ ｓｙ Ｓ ａｇ ａ １２ ， ｈｎ ） ｒ ｅｃ ｇ ｅｔ ２
到 符 合 Ｓ Ｌ语 法 的 Ｓ Ｌ测 试 用 例 。 Ｑ Ｑ
关键词
中图分类号
Ｓ Ｌ测试用例集 Ｑ
Ｔ３９ Ｐ ９
测试用例 自动生成
文 献标 识 码 Ａ
权值 数组
最大循环次数
ＡＵ ＯＭＡＴ Ｃ ＧＥ ＥＲ Ｉ ＱＬ Ｔ Ｓ Ａ Ｅ Ｓ Ｔ Ｔ Ｉ Ｎ ＡＴ ＯＮ ＯＦ Ｓ Ｅ Ｔ Ｃ Ｓ Ｅ Ｓ
第２ ９卷 第 ８期
２１ ０ ２年 ８月
计 算机 应 用与软件
Ｃｏ ｕ ｅ ｐ ｉａ ｉｎ ｎ ｏｔ ｒ ｍｐ ｔ ｒＡｐ ｌｃ ｔｏ ｓ ａ ｄ Ｓ ｆｗａ ｅ
Ｖｏ ． ９ １２ Ｎｏ ８ ． Ａｕ ． ２ ２ ｇ ０１
Ｓ ＱＬ 测 试 用 例 集 的 自动 生 成
测试 Ｄ ＭＳ产 品对 Ｓ Ｌ标 准的符 合程度 ， Ｂ Ｑ 包括 ：Ｑ Ｓ Ｌ语言 的一致
性 （ 法上的一致性 ） Ｓ Ｌ实 现 的一 致性 （ 语 、Ｑ 语义 上的一 致性 ） 。
１６ ８
计算机 应 用与软件
２１ ０ ２丘
ｔｅ Ｔ ， 得 Ｆ ｔ 使 （）：Ｐ 本文所述测试集的充分性 是针对 Ｐ的 ｏ
Ｂ ｉ ｌ ｉｇｔｅｄｒ ｔ ｅｉ ｔ ｎｐｏｅｓ ｆ ｅｅａ ｖ ｒ ｌｔｅＳ Ｌｓｎｅｃｓ ｈｃ ｒ ｇｎｒｔ ｃｏ ａｃ ｉ ｅ ｒｍ ａ ａｅ ｙｓ ａ ｎ ｉ ｃ ｄｒ ａｉ ｒ ｓ ｏ ｎｒｔｅｆ ｍａ Ｑ ｔｎｅ ｉ ａｅ ｅ ｅ ｅ ｉ ａｃｒ ｎｅ ｔ ｔ ａ ｍ ｒ ｓｄ ｍｕ ｔ ｈ ｅ ｖ ｏ ｃ ｇ ｉ ｏ ｓｈ ｅ ｗ ｈ ａｄｎ ｄ ｗ ｈｈ ｇ ｂ
开 始 符 号 Ｓ至 少 必 须 在 某 个 产 生 式 的左 部 出 现 一 次 。 定 给
具体来说就是将非终结符 转换成解 析 函数 ， 推导 过程 即函
数调用过程 。给 出一个示例如下 ： 代码 １ 为文法的一个语法片段 ， 使用 Ｂ Ｆ表示 。 Ｎ
代 码 ２是 模 拟 推 导 过 程 的 函数 调 用 过 程 。 如 代 码 ２所 示 ：
ｏ Ｑ ａ ｍ ｒ ａ ｒｓｎｅ ，ｔｉ ｉ ｕｅ ｓ ｈ ｐ ｒａｈｆ ｓ ｃｓｓ ｎｔｅｐｐ ｒ ｅｓ ｄ ｎｔｅａｔ ａｉ ｐｏｒｓ ｆ ｍ Ｂ Ｆｆｅ ｎＳ Ｌｇ ｍ ａｓ ｒ ｐｅｅｔｄ ｈｓ ｓ ｓｄａ ｅａ ｐｏｃ ｒ ｅｔ ａｅ．Ｉ ａｅ ｔ ｙｏ ｕ ｍ ｔ ｒ ｅｓ ｒ Ｎ ｌ ｒ ｅ ｔ ｏ ｔ ｈ ｗ ｕ ｈ ｏ ｃ ｇ ｏ ｉｓ ｗ ｉｈａ ｅｒｐｅｅｔ ｉ ｆ ｈ ｒ ｍａ ｅ ｅａｎ Ｑ ｅｔ ａｅｓｔ ｈ ｒｃｓ ｈ ｓｓｖｒ ｔ ｅ ：Ｅ ｃ ｏ — ｒ ｉａ ｆＳ Ｌ ｈｃ ｒ ｔ ｒｓｎａｏ ｏ ｅｇ ｍ ｒｔ ｇｎｒｔ ｇＳ Ｌｔｓ ｃｓ ｅ ．Ｔ ｅｐｏｅｓ ａ ｅｅ ｌｓ ｇｓ ａｈｎｎｔ ｎｌ ｏ Ｑ ｅｈ ｅ ｔｎ ｔ ａ ｏ ｉ ｓ ａ ａ ｅ ｍ ｓ
ｏ ｅｇａ ａ ｅｔ ｖｒ ｄ ｔ ｇｎｒｔ Ｓ Ｌ ｔｓ ｃｓｓａｔ ｔ ａｌ．Ｔ ｅｕｅｏ ｅｇｔ ｒ ｙ ｎ ｃｎｕ ｃｏ ｉ ｔｃａｔ ｕ ｂｒ ｆ ｈ ｒｍｍ ｒａ ｒ ｅｓ ｏ ｅ ｅａ Ｑ ｅｔ ａｅ ｕｏ ｉ ｌ ｔ ｒ ａ ｅ ｅ ｍａｃ ｙ ｈ ｓ ｆｗ ｉ ｒ ｓｉ ｏｊｎ ｔｎ ｗｔ ｓ ｈｓ ｃｎ ｍ ｅ ｈ ａａ ｉ ｈ ｏ ｉ ｓ ｉ ｒａｅ ｔｅｆ ｘ ｉｔ ｏ ｓ ｃｓｓｇｎ ｒｔｎ ｎ ｅｓｓ ｈ ｅｉ ｌｙ ｆｅｔ ａｅ ｅｅａｏ ．Ｍａｉ ｍ ｃｌｎ ｍｅ ｆｈ ｏ — ｒ ｉａ ｒ ｅ ｐｏｅ ｒ ｉａ ｅ ｉ ｒｔ ｎｏ Ｑ ｃ ｌ ｂｉ ｔ ｉ ｘ ｍｕ ａ ｉｇｔ ｓ ｅｎｎｔ ｎ ｓａｅ ｍ ｌ ｄｔ ｔｍ ｎ ｔ ｔ ｍｅ ｉ ｆ Ｌ ｌ ｉ ｏｔ ｅ ｍ ｌ ｙ ｏｅ ｅｈ ｇ ａｏ Ｓ
符合性测试保证了产品的质量 ， 实现 了产品的兼容性。
０ 引 言
为 了 便 于 对 Ｓ Ｌ标 准 实 现 和对 标 准 符 合 性 进 行 测 试 ，Ｑ Ｑ ＳＬ
但是对于某个特定 的 Ｄ ＭＳ厂商来说 ， Ｂ 其支 持的语 法和语 义的范围会超出标准的要求 ， 支持一些 Ｓ Ｌ标 准没有 涉及 的功 Ｑ 能特性。对于超出标准 的那部 分功能 特性 ，Ｑ Ｓ Ｌ符 合性标 准测 试 就无 法发挥它的功效了。因此需要设计符合 某个特定 Ｄ Ｍ Ｂ Ｓ 厂商支持的所有功能特征的测试用例集 。 本 文来 源于对国产数 据库——达梦数据库 Ｄ Ｍ Ｂ Ｓ的稳定性
终 结符 转换 成一个对应 的解析 函数 ， 所有解析 函数 的集合构成规则库 ； 遍历文法的产生式 自动生成 Ｓ Ｌ测试用例 ； 用权值数 组结 Ｑ 使 合 随机 数， 加大 生成 测试 用例 的灵活性； 使用 非终结符 的最 大调 用次数来终止 Ｓ Ｌ测试用 例的生成。通过介 绍 的工具 原型， Ｑ 可以得
＝ ；
一
是一 个非 空有穷终结符号集合 ； 是一个非空有穷 的非终结符号集合 ， 且 ｎ
Ｓ∈ ， 为开始符号 ； 称
个句子 。推导的核心是将 Ｐ中产生式 的左部替换成产生式 的
‘ 右部 。右部是 由非终结符 或者终结符组成 的符号 串。左部是一 个非终结符 。推导过程就 是覆 盖一条又一条 的产生式 。 本文模拟分 析树 的推 导过 程 ， 解析 Ｓ Ｌ文 法 生成 Ｓ Ｌ语 Ｑ Ｑ 句 ， 作测试用 例。 用
标准化组 织定 义了 四个一致性等级 （ 中过渡 级是 由美 国国家 其 标准技术 研究 所 ＮＳ ＩＴ在 设计 Ｓ Ｌ标 准符合 性测 试 时定 义 的， Ｑ 其它三个 等级 是 由美 国国家标 准局 Ａ Ｓ 定义 的 ） 入 门级 、 ＮＩ ： 过 渡级 、 中间级 、 完全 级。 这些标准 的定 义是 为 了支 持基 于 Ｓ Ｌ的各 种数 据库 应用 Ｑ
Ｐ是一个产生式 的非空有 穷集合 ， 每个 产生 式 的形 式是 Ａ — Ｏ（ Ａ ＝＝ ）其 中 Ａ ∈ ， ∈ （ ｕ ） Ａ称 为产生 ｌ或 ， Ｏ Ｌ ， 式的左部 ， 称为产生式的右部。 Ｏ ｄ 表示 上的终结符集合 ； ｕ ） 表示非终结符 和 （ 终结符的 串集合 。
挖 掘 ， 业 Ｊｖ 。张 钦 ， 士 生 。 韩朱 忠 ， 士 。 企 ａａ 硕 硕
移植到另一个 不同品牌 的 Ｄ ＭＳ环境下进行工作而不需要做任 Ｂ
何重大 的修改 。 Ｓ Ｌ标 准符合性测试是测 试 Ｄ ＭＳ产品 的 Ｓ Ｌ功能 特征 ， Ｑ Ｂ Ｑ
ｅ ｅｔ ｅ ｅｕｅｔｅｗ ｒｌ ｄｏ ｔｅｔ ｔ ． ｈｒ ｉ ａ ｓ ｎ ｕｏ ｔ ｏ ｓｐ ｏｔ ｇｔｅｄ ｅｔ ｅｅａ ｏ ｆＳ Ｌｓｎｅｃｓａ ｐｅｅｔ ｆ ｃｖｌ ｒ ｃ ｏ ｏ ｆ ｈ ｓ ｒ Ｔ ｅｅ ｓ ｌ ｔ ｏａｔ ｉ ｔ ｌ ｕｐ ｒｎ ｉ ｃ ｇｎ ｒ ｉ ｏ Ｑ ｅｔｎｅ ｔ ｒｓ ． ｆ ｉ ｙ ｄ ｈ ｋ ａ ｅｅ ｍｏ ｍａ ｃ ｏ ｉ ｈ ｒ ｔｎ ｎ
１ 相 关 工 作
１ １ 背 景知识 ．
通常使用上下文无关文法来 描述语言 ， 相应 的文法 Ｇ定 义
为 四元 组 Ｇ ＝ （ ， Ｐ， ）： Ｖ， Ｓ
规 则 覆 盖 。
２ 基 于文 法 的测 试 用 例 自动 生 成
２ １ 模拟 分析树 的推 导过 程 ．
分析树 描述 了如何从 文法 的开始符开始推导 出它语言 中的
。 Ｓ ａ ｇ ａ ａ ｅｇＤ ｔｂ ｏ ，ｔ． Ｓａ ｇ ａ ０ ０ １ Ｃ ｉ ） （ｈ ｎ ｈ ｉ ｍ ｎ ａａｌｅＣ ．Ｌｄ ，ｈｎ ｈ ｉ ０ ５ ， ｈｎ Ｄ ２ ａ
Ａ ｓｒｃ ｂｔａ ｔ
Ｃ ｍｐ ｉｇＳ Ｌｓｎｅｃｓｉ ａ ｍ ｏｔ ａｔ ｏ ｔｓ ｄｔ ａｅｍａａｅ ｅｔ ｙｔ ｏ ｉｎ Ｑ ｔ ｅ ｎｉ ｐｒ ｐｒ ｆｒｅｔ ａ ｂ ｓ ｎｇｍ ｎ ｓｓ ｍ．Ａ ｔ ａｉ ｇｎｒｔ ｎｏ Ｓ Ｌｓｎｅｃｓｃｎ ｌ ｅ ｎ ｓ ａ ｅ ｕｏ ｔ ｅｅａｉ ｆ Ｑ ｅ ｔ ｅ ａ ｍ ｃ ｏ ｎ
有 直接 生 成 Ｓ Ｌ语 句 的 自动 化 工 具 。 通 过 模 拟 产 生 式 的直 接 推 导过 程 ， 据 Ｓ Ｌ文 法 ， 出生 成 符 合 该 文 法 的 Ｓ Ｌ语 句 ， 作 测 试 Ｑ 根 Ｑ 给 Ｑ 用 用 例 的 方 法 ； 究从 表 示 文 法 的 Ｂ Ｆ文件 生成 Ｓ Ｌ测 试 用 例 集 合 的 自动 化过 程 。这 个 过 程 包 括 几个 阶 段 ： Ｓ Ｌ文 法 的每 一个 非 研 Ｎ Ｑ 将 Ｑ
的可 移 植 性 ， 在 一 个 Ｄ ＭＳ 境 下 开 发 的 Ｓ Ｌ应 用 完 全 可 以 即 Ｂ 环 Ｑ
测试 ， 要求输入符合 Ｄ Ｍ语法 的 Ｓ Ｌ语句都 能够被 Ｄ ＭＳ合理 Ｑ Ｂ 地执行 。但是 由于 Ｓ Ｌ语法 的复杂性 ， 工手 写 Ｓ Ｌ语 句工作 Ｑ 人 Ｑ
量很 大 ， 目前又 没有 自动生成 Ｓ Ｌ语 句 的 自动化工 具 ， 以 而 Ｑ 所 本 文提 出一种根据 Ｓ Ｌ文 法 ， Ｑ 生成符 合该 文法 的 Ｓ Ｌ语句 ， Ｑ 用 作测试 Ｓ Ｌ的测试用例 的方法。 Ｑ
ｒ ｍｍａ ｓｃ ｎ ｅ ｅ ｏ ａ ｃ ｒｅ ｐ ｎ ｉｇ ｐ ｒ ｅ ｆｎ ｔ ｎ ａ ｄ ｔｅ ｓ ｔｏ ｌ ｔ ｅ ｅ ｐ ｒ ｅｆ ｎ ｔ ｎ ｒ ｓ ｔｅ ｒ ｌ ｓｌ ｒ ｒ ．Ｔ ｅ ｇ ｎ ｒ ｔ ｅｆ ｒ ａｓ ｇａ ｒｉ ｏ ｖ ｒ ｄ ｔ ｏｒ ｓ ｏ ｄ ｎ ａｓ ｕ ｃｉ ｎ ｈ ｅ ｆ ｌ ｈ ｓ ａｓ ｕ ｃｉ ｓｆｍ ｈ ｕ ｅ ｂ ａ ｙ ｈ ｅ ｅ ａ ｉ ｏ ｔ ｏ ａ ｏ ｏ ｉ ｖ ｍ ｌ
ｔｓ ｃｓｓ ｈｏｇ ｈ ｏ ｐｏ ｔ ｅｉｔ ｄ ｃｄ ｈ Ｑ ｓ ｃｓｓｉ ｃｎ ｒ ｉ ｉ Ｑ ｒｍ ｒｃｌｂ ｅｉｅ． ｅｔ ａｅ．Ｔ ｒｕ ｈｔｅｔ ｌ ｒｔ ｙ ｒ ｕ ｅ ，ｔ Ｓ Ｌｔ ｔ ａｅ ｏｆ ｍ ｔ ｗｔ Ｓ Ｌｇａ ｍａ ａ ｅｄｒ ｄ ｏ ｏｐ ｎｏ ｅ ｅ ｎ ｏ ｙ ｈ ｌ ｖ Ｋｅ ｗ ｒ ｓ ｙ ｏｄ Ｓ Ｌｔｓ ｃｓ ｅ Ａ ｔ ｔ ｓ ｃｓ ｅｅａ ｏ Ｗｅ ｈ ｒ ｙ Ｍａ ｏ ｍ ｓ Ｑ ｔ ａｅｓｔ ｕ ｍａ ｄｔ ｔ ａｅｇｎｒｔ ｎ ｅ ｏ ｅ ｅ ｉ ｉｔ ｒｓ ｇ ａａ ｘｌ ｐｔ ｅ ｏ ｉ
丁祥武 张 钦 韩朱忠
（ 东华大学计算机科学与技术学 院 （ 达梦数据库（ 上海 ） 限公 司 有 上海 ２ １２ ） ０ ６ ０ 上海 ２ ０ ５ ） ０ ０ １
摘 要
编 写 Ｓ Ｌ语 句 是 测 试 数 据 库 管 理 系统 的 一个 重 要 部分 。 自动 生 成 Ｓ Ｌ语 句 可 以有 效 减 少 测 试 人 员 的 工作 量 ， 目前 没 Ｑ Ｑ 而
Ｄｎ ｉ ｇ ｕ Ｚ ａｇＱｎ Ｈ ｎＺ ｕｈｎ ｉ Ｘａ ｗ ｈｎ ｉ ｇ ｎ ’ ａ ｈ ｚｏ ｇ
（ ｃｏ１ｆＣ ｍ ｕｅ ｃ ｌｅａ ｄＴｃｎ ｌ ｙＤ０ｇ ｕ ｎｖｒｉ ，ｈ ｎｈ 百度文库 ０６ ０ Ｃ ｉａ Ｓｈｏ ｏ ｏ ｐ ｔ Ｓｉｉ ｎ ｅｈ ｏｏ ， ｎ ｈ ａＵ ｉ ｓｙ Ｓ ａｇ ａ １２ ， ｈｎ ） ｒ ｅｃ ｇ ｅｔ ２
到 符 合 Ｓ Ｌ语 法 的 Ｓ Ｌ测 试 用 例 。 Ｑ Ｑ
关键词
中图分类号
Ｓ Ｌ测试用例集 Ｑ
Ｔ３９ Ｐ ９
测试用例 自动生成
文 献标 识 码 Ａ
权值 数组
最大循环次数
ＡＵ ＯＭＡＴ Ｃ ＧＥ ＥＲ Ｉ ＱＬ Ｔ Ｓ Ａ Ｅ Ｓ Ｔ Ｔ Ｉ Ｎ ＡＴ ＯＮ ＯＦ Ｓ Ｅ Ｔ Ｃ Ｓ Ｅ Ｓ
第２ ９卷 第 ８期
２１ ０ ２年 ８月
计 算机 应 用与软件
Ｃｏ ｕ ｅ ｐ ｉａ ｉｎ ｎ ｏｔ ｒ ｍｐ ｔ ｒＡｐ ｌｃ ｔｏ ｓ ａ ｄ Ｓ ｆｗａ ｅ
Ｖｏ ． ９ １２ Ｎｏ ８ ． Ａｕ ． ２ ２ ｇ ０１
Ｓ ＱＬ 测 试 用 例 集 的 自动 生 成
测试 Ｄ ＭＳ产 品对 Ｓ Ｌ标 准的符 合程度 ， Ｂ Ｑ 包括 ：Ｑ Ｓ Ｌ语言 的一致
性 （ 法上的一致性 ） Ｓ Ｌ实 现 的一 致性 （ 语 、Ｑ 语义 上的一 致性 ） 。
１６ ８
计算机 应 用与软件
２１ ０ ２丘
ｔｅ Ｔ ， 得 Ｆ ｔ 使 （）：Ｐ 本文所述测试集的充分性 是针对 Ｐ的 ｏ
Ｂ ｉ ｌ ｉｇｔｅｄｒ ｔ ｅｉ ｔ ｎｐｏｅｓ ｆ ｅｅａ ｖ ｒ ｌｔｅＳ Ｌｓｎｅｃｓ ｈｃ ｒ ｇｎｒｔ ｃｏ ａｃ ｉ ｅ ｒｍ ａ ａｅ ｙｓ ａ ｎ ｉ ｃ ｄｒ ａｉ ｒ ｓ ｏ ｎｒｔｅｆ ｍａ Ｑ ｔｎｅ ｉ ａｅ ｅ ｅ ｅ ｉ ａｃｒ ｎｅ ｔ ｔ ａ ｍ ｒ ｓｄ ｍｕ ｔ ｈ ｅ ｖ ｏ ｃ ｇ ｉ ｏ ｓｈ ｅ ｗ ｈ ａｄｎ ｄ ｗ ｈｈ ｇ ｂ
开 始 符 号 Ｓ至 少 必 须 在 某 个 产 生 式 的左 部 出 现 一 次 。 定 给
具体来说就是将非终结符 转换成解 析 函数 ， 推导 过程 即函
数调用过程 。给 出一个示例如下 ： 代码 １ 为文法的一个语法片段 ， 使用 Ｂ Ｆ表示 。 Ｎ
代 码 ２是 模 拟 推 导 过 程 的 函数 调 用 过 程 。 如 代 码 ２所 示 ：
ｏ Ｑ ａ ｍ ｒ ａ ｒｓｎｅ ，ｔｉ ｉ ｕｅ ｓ ｈ ｐ ｒａｈｆ ｓ ｃｓｓ ｎｔｅｐｐ ｒ ｅｓ ｄ ｎｔｅａｔ ａｉ ｐｏｒｓ ｆ ｍ Ｂ Ｆｆｅ ｎＳ Ｌｇ ｍ ａｓ ｒ ｐｅｅｔｄ ｈｓ ｓ ｓｄａ ｅａ ｐｏｃ ｒ ｅｔ ａｅ．Ｉ ａｅ ｔ ｙｏ ｕ ｍ ｔ ｒ ｅｓ ｒ Ｎ ｌ ｒ ｅ ｔ ｏ ｔ ｈ ｗ ｕ ｈ ｏ ｃ ｇ ｏ ｉｓ ｗ ｉｈａ ｅｒｐｅｅｔ ｉ ｆ ｈ ｒ ｍａ ｅ ｅａｎ Ｑ ｅｔ ａｅｓｔ ｈ ｒｃｓ ｈ ｓｓｖｒ ｔ ｅ ：Ｅ ｃ ｏ — ｒ ｉａ ｆＳ Ｌ ｈｃ ｒ ｔ ｒｓｎａｏ ｏ ｅｇ ｍ ｒｔ ｇｎｒｔ ｇＳ Ｌｔｓ ｃｓ ｅ ．Ｔ ｅｐｏｅｓ ａ ｅｅ ｌｓ ｇｓ ａｈｎｎｔ ｎｌ ｏ Ｑ ｅｈ ｅ ｔｎ ｔ ａ ｏ ｉ ｓ ａ ａ ｅ ｍ ｓ
ｏ ｅｇａ ａ ｅｔ ｖｒ ｄ ｔ ｇｎｒｔ Ｓ Ｌ ｔｓ ｃｓｓａｔ ｔ ａｌ．Ｔ ｅｕｅｏ ｅｇｔ ｒ ｙ ｎ ｃｎｕ ｃｏ ｉ ｔｃａｔ ｕ ｂｒ ｆ ｈ ｒｍｍ ｒａ ｒ ｅｓ ｏ ｅ ｅａ Ｑ ｅｔ ａｅ ｕｏ ｉ ｌ ｔ ｒ ａ ｅ ｅ ｍａｃ ｙ ｈ ｓ ｆｗ ｉ ｒ ｓｉ ｏｊｎ ｔｎ ｗｔ ｓ ｈｓ ｃｎ ｍ ｅ ｈ ａａ ｉ ｈ ｏ ｉ ｓ ｉ ｒａｅ ｔｅｆ ｘ ｉｔ ｏ ｓ ｃｓｓｇｎ ｒｔｎ ｎ ｅｓｓ ｈ ｅｉ ｌｙ ｆｅｔ ａｅ ｅｅａｏ ．Ｍａｉ ｍ ｃｌｎ ｍｅ ｆｈ ｏ — ｒ ｉａ ｒ ｅ ｐｏｅ ｒ ｉａ ｅ ｉ ｒｔ ｎｏ Ｑ ｃ ｌ ｂｉ ｔ ｉ ｘ ｍｕ ａ ｉｇｔ ｓ ｅｎｎｔ ｎ ｓａｅ ｍ ｌ ｄｔ ｔｍ ｎ ｔ ｔ ｍｅ ｉ ｆ Ｌ ｌ ｉ ｏｔ ｅ ｍ ｌ ｙ ｏｅ ｅｈ ｇ ａｏ Ｓ
符合性测试保证了产品的质量 ， 实现 了产品的兼容性。
０ 引 言
为 了 便 于 对 Ｓ Ｌ标 准 实 现 和对 标 准 符 合 性 进 行 测 试 ，Ｑ Ｑ ＳＬ
但是对于某个特定 的 Ｄ ＭＳ厂商来说 ， Ｂ 其支 持的语 法和语 义的范围会超出标准的要求 ， 支持一些 Ｓ Ｌ标 准没有 涉及 的功 Ｑ 能特性。对于超出标准 的那部 分功能 特性 ，Ｑ Ｓ Ｌ符 合性标 准测 试 就无 法发挥它的功效了。因此需要设计符合 某个特定 Ｄ Ｍ Ｂ Ｓ 厂商支持的所有功能特征的测试用例集 。 本 文来 源于对国产数 据库——达梦数据库 Ｄ Ｍ Ｂ Ｓ的稳定性
终 结符 转换 成一个对应 的解析 函数 ， 所有解析 函数 的集合构成规则库 ； 遍历文法的产生式 自动生成 Ｓ Ｌ测试用例 ； 用权值数 组结 Ｑ 使 合 随机 数， 加大 生成 测试 用例 的灵活性； 使用 非终结符 的最 大调 用次数来终止 Ｓ Ｌ测试用 例的生成。通过介 绍 的工具 原型， Ｑ 可以得
＝ ；
一
是一 个非 空有穷终结符号集合 ； 是一个非空有穷 的非终结符号集合 ， 且 ｎ
Ｓ∈ ， 为开始符号 ； 称
个句子 。推导的核心是将 Ｐ中产生式 的左部替换成产生式 的
‘ 右部 。右部是 由非终结符 或者终结符组成 的符号 串。左部是一 个非终结符 。推导过程就 是覆 盖一条又一条 的产生式 。 本文模拟分 析树 的推 导过 程 ， 解析 Ｓ Ｌ文 法 生成 Ｓ Ｌ语 Ｑ Ｑ 句 ， 作测试用 例。 用
标准化组 织定 义了 四个一致性等级 （ 中过渡 级是 由美 国国家 其 标准技术 研究 所 ＮＳ ＩＴ在 设计 Ｓ Ｌ标 准符合 性测 试 时定 义 的， Ｑ 其它三个 等级 是 由美 国国家标 准局 Ａ Ｓ 定义 的 ） 入 门级 、 ＮＩ ： 过 渡级 、 中间级 、 完全 级。 这些标准 的定 义是 为 了支 持基 于 Ｓ Ｌ的各 种数 据库 应用 Ｑ
Ｐ是一个产生式 的非空有 穷集合 ， 每个 产生 式 的形 式是 Ａ — Ｏ（ Ａ ＝＝ ）其 中 Ａ ∈ ， ∈ （ ｕ ） Ａ称 为产生 ｌ或 ， Ｏ Ｌ ， 式的左部 ， 称为产生式的右部。 Ｏ ｄ 表示 上的终结符集合 ； ｕ ） 表示非终结符 和 （ 终结符的 串集合 。