软件验证测试技术

是从 长期 看 ， 都是 一条 最可 靠 、 益最 高 的质量 改进 之 效 路。 审 的方 法 有 ： 查 、 审 走查 、 技术 评 审等 。
１ 软 件 验 证 的作 用
在验 证 活动 中必 须 回答 以下 问题 ： 通 过 评 审到 ①
表 １ 验 证 方 法 的 基本 特 征
验 证 方 法 的基 本 特 征 审 查 走 查 同 行 检 查
和进 度 的 限制不 能 进行 某 些 验 证 活动 ， 省 去 验 证 活 那 动的顺 序与 上面 要验 证 的顺序 相反 。
缺 点 参 与 人 Байду номын сангаас
主持 人 非该 软 件 的 编 制 人 员
３ ６人 小 组 ～
任 何 人
多 一 些 人
没 有
１ ２人 小组 ～
准 备
数 据 收 集 输 出报 告
软 件 验 证 测 试 技 术
文苹 编 号 ：０ ３５ ５ （ ０ ０ ０—０ ８０ １０ －８ ０ ２ １ ）１０ ６－３
软 件 验 证 测 试 技 术
Ｓ ｆ ｗａ ｅ Ｖｅ ｉ ｉ ａ ｉ ｎ Ｔｅ ｔｎ ｃ ｏ ｔ ｒ ｒ ｆ ｃ ｔｏ ｓ ｉ ｇ Ｔｅ ｈｎｉ ｅ ｑｕ 李晓琴 王 祥
３ 软 件 验 证 活 动
软件 验证 在 开发模 型 中的活动 如 图 ｌ 。 示 验 证方 法 的核 心 就是 举行 一 次会 议 ， 会上 针对 受 审产 品 的缺 陷进行 讨论 和 确认 。 验证 的主要 因素 ：
那 时 再 纠正 缺 陷代 价 就要 高 多 了 ， 问题 转 移 到 了下游 阶段 。实 际上 ５ 以上 的 缺 陷都 是 在 需 求 阶段 引入 ０／ ９ ６
中 图 分 类 号 ：ＴＰ １ ３１ 文 献 标 识 码 ：Ａ
ＡＢＳ ＴＲＡＣＴ Ｓ ｆｗａ ｅ ｖ ｒｆ ａ ｉｎ ｔ ｃ ｎ ｑ ｅ ｉ ａ ｍｐ ｒ ａ ｔｗａ ｏ ｑ ａ ｉｙ ａ ｓ ｒ ｎ ｅ ｔ ａ ｉ ｄ ｄ ｆｃ ｓｉ ａ ｌ ｈ ｓ Ｔｅ ｔ ｅ ｍ ｏ ｔ ｒ ｅ ｉ ｃ ｔｏ ｅ ｈ ｉ ｕ ｎ ｉ ｏ ｔ ｎ ｙ ｔ ｕ ｌ ｓ ｕ ａ ｃ ．Ｉ ｃ ｎ ｆ ｅ ｅ ｔ ｅ ｒｙ ｐ ａ ｅ， ｓ ａ ｉ ｓ ｔ ｎ ｎ ｔ ｄ ｖ ｌ ｐ ｖ ｒｆ ａ ｉ ｎ ｂ ｅ ｉ ｗ ｎ ｒ ｈ ｏ ｇ ｅ ｅｏ ｅ ｉ ｃ ｔｏ ｙ ｒ ｖｅ ａ ｄ ｗｏ ｋ ｔ ｒ ｕ ｈ，ｄ ｖ ｌ ｐ ｔ ｓ ｒ ｉｃ ，ｆ ｒ ｃ ｍｍｏ ｈ ｃ ｌ ｔ ｉｈ ｗｉ ｅ ｃ ｍ ｐ ｎ ａ ｉ １ ｉ ｅ ｅ ｏ ｅ ｔｗｏ ｋ ｐ ｅ ｅ ｏ ｍ ｏ ｎ ｃ ｅ ｋ ｉ ｓｗｈ ｃ ｌ ｂ ｏ ａ ｙ ｃ ｐ ｔ ． ｓ ｌ ａ Ｉ ｓｍｏ ｅ ｉ ｏ ｔ ｎ ｈ ｎ ｖ ｌ ａ ｉ ｎ ｔ ｓ ，ｓ ｅ ｒ ａ ｅ ｃ ｓ ｆｍｏ ｉ ｃ ｔ ｎ ｄ ｆ ｃ ｓ ｔｉ ｒ ｍｐ ｒ ａ ｔｔ ａ ａ ｉ ｔ ｅ ｔ ｏ ｄ ｃ ｅ ｓ ｏ ｔｏ ｄ ｆ ａ ｉ ｅ ｅ ｔ ． ｄ ｏ ｉ ｏ ＫＥＹＷ ＯＲＤＳ ｖ ｒｆ ａ ｉ ｎ，ｔ ｓ ｉ ｇ，ｃ ｅ ｋ ｎ ｃ ｅ ｋ ｉ ｔ ｅ ｉｃ ｔ ｉ ｏ ｅ ｔｎ ｈ ｃ ｉ ｇ， ｈ ｃ ｌ ｓ
底 能发现 多 少缺 陷 ； 有 多少缺 陷 是在 评 审过 程 中发 ② 现 的， 又有 多少 是 在后 面 的确 认 测 试 中发现 的 ； 有 ③ 多 大 比例 的缺 陷 留到 了测试 结束 ， 由客户发 现 的 。
进行 验证 活动 的顺 序是 ： 作产 品规模 小 的在 先 ， 工 大 的在 后 ， 简要 的在 先 ， 细 的在 后 ， 证成 本 低 的在 详 验 先， 高的 在后 ， 在 收益 大 的在先 ， 的在后 。 果资 源 潜 小 如
有
有 有
只 有 主 持 人
不 要 求 不 要 求
无
无 口头评 论
优 点
有
效 能 使 更 多 人 熟悉 产 品
费
用 低
短 期 成本
查 出 的 缺 陷较 少 查 出 的缺 陷较 少
需 求验 证最 可 能为软 件 开发节 省成 本 。它 可 以检 测 出许 多缺 陷 ， 否则 这些缺 陷会 进入 开 发周期 的后期 ，
缺陷， 测试 可 以利 用 验证 进 一 步 改善 对 基 础 理论 的跨
学 科 交流 ， 同时普 遍 提 高 开 发环 境 的成熟 度 。实践 证 明 ， 展尽 可 能 多 、 可 能 深入 的验 证 ， 论 从 短期 还 开 尽 无
２ 软 件 验 证 基 本 方 法
验证 测 试是 对 工 作 产 品进 行 人 工 检查 或 评 审 ， 评
软件 验证 活 动是 测试 生命 周期 中 的一 个 阶段 ， 在
每 个验证 活 动 中测 试 的 目的都是 为 了发 现尽 可能 多 的
陷 。最 重要 的是 ， 用 验证 可 以尽 早发 现 和 检 测 出缺 利 陷 。在 大多 数组 织 当 中 ， 证／ 验 确认 的缺 陷分 配 为 ２ ／ ｏ ８ ０甚 至更 低 。作 为尽 早发 现 缺 陷 的原则 ， 加 大验 证 应 的 比例 ， 主要还 是 观念 的转 变 。
０ ００ ） ３ ０ ６
（ 北方 自动控 制技 术研 究所 太原
【 摘 要】软件 验 证技 术是 质量保 证 的 重要手 段 ，就 其 成就感 和 重要 性来 说 ，比确认 测试 有过 之 而无 不及 。测试
小 组通过 软件 审查 和 走查 开展验 证测 试 ，开发 验证 “ 测试 件” ，对各 阶段文档 形 成通 用 审查单 ，使 软件验 证 测试 技术 成为 组 织资产 。 它能够 在开 发早 期发 现缺 陷，从 而大 大 降低 缺 陷修 复成 本 。 【 关键 词】 验证 ，测 试 ，审查 ，审查 单