基于SRMET的软件可靠性测试研究

靠性 评 估 指标 。 关键词
中图分类号
Ｔ ３ １５ Ｐ １ ．
Ｒｅ ｅ ｒ ｈ ｏ Ｒ Ｍ ＥＴ ０ ｏ ｈ ｅ ｂ ｌｔ ｆ Ｓ ｆ ｗａ ｅ Ｔｅ ｔ ｓａ ｃ ｎ Ｓ ３． ｆ ｔ ｅ Ｃｒ ｄｉ ｉｉｙ ｏ ｏ ｔ ｒ ｓ
Ｌｉ ｎ ｆｎ Ｈｕ Ｑｉ ｘａ Ｃｕ ａ ｙ ｕ Ｑｉｇ ｅ ｇ ｎ ｉ ｉ Ｔｉｎ ｉ （ ．９ ４ ３Ｔｒｏ ｓｏ ＬＡ ，Ｑｉｈ ａ ｇ ａ ０ ６ ０ ） Ｎｏ １ １ ｏ ｐ ｆＰ ｎ ｕ ｎ ｄｏ ６ ０ １
的 ；３ 障一旦 发 生 ， 立 即 投入 查错 ， 及 时得 ）故 则 并
用例构造水平的最高体现。软件可靠性测试技术包 到改正 ； ）改错不 会 引入 新 的错误 。同时 ， 于试 ４ 对 括测试平 台建 立 、 务剖 面分 析 、 试用 例 生成 、 任 测 测 验数 据有 以下要求 ： 只考 虑故 障发生 时 间的数 据形
Ａｂ ｔ ａ ｔ Ｓ ｓ ｒ ｃ ＲＭ ＥＴ ． ｓ ｒ ａ ｅ ｒ ｈ ｄ Ｉ ｘ ａ ｉｔ ｄ ｏ ｈ ｈ ｏ ｙ ｏ ｈ ｒ ｄ ｂ ｌ ｙ ｏ ｏ ｔ ｒ ｅ Ｌ ＲＭ Ｅ ３ ０ ｉ ３ ０ ｉ ｅ ｓ ａ ｃ ｅ ． ｔｉ ｅ ｐ ｔ ｅ ｎ ｔ ｅｔ ｅ ｒ ｆｔ ｅｃ ｅ ｉ ｉ ｔ ｆｓ ｆｗａ ｅ ｔ ｓ Ｓ ｓ ａ ｉ Ｔ ． ｓ ｕ ｅ Ｏ ｅ ａｕ ｔ ｆｔ ｅ ｃ ｅ ｉｉ ｔ ｆｓ ｆｗａ ｅ ｓ ｄ ｔ ｖ ｌ ａ ｅｏ ｈ ｒ ｄ ｂ ｌ ｙ ｏ ｏ ｔ ｒ ．Ａｎ ｔｉ ｔ ｅ ｆｇ ｉ ｅ ｌ ｅｏ ｒ ｄ ｂ ｌ ｙ ｏ ｏ ｔ ｒ ｉ ｄ ｉ ｓ ｏ ｇ ｔ ｕｄ ｉ ｆｃ ｅ ｉｉ ｔ ｆｓ ｆｗａ ￣ ｏ ｎ ｉ Ｋ ｙＷ ｏ ｄ Ｓ ｅ ｒｓ ＲＭ Ｅ ，ｃ ｅ ｉ ｉ ｔ Ｔ ｒ ｄ ｂ ｌ ｙ，ｔ ｓ ，ｍｏ ｅ ｉ ｅｔ ｄｌ
进 的模型 和技术 ， 软件 可靠 性 的评估 指标 进行 分 好 的用户界 面 ， 有评 估模 型 的解算 都依 据严 格 的 对 所 好， 同时对软 件可 靠性 模 型具有 最适 合模 型 的推荐
功能 。
２ Ｓ ＲＭＥ 简述 Ｔ
Ｓ ＭＥ ３ ０ 用来评估 软件可 靠性及维 修性 Ｒ Ｔ ． 是
总第 ２ ６ ４ 期 ２１ 第 ４ ００年 期
计 算 机与 数 字 工 程
Ｃｏ ｕｅ ｍｐ ｔｒ＆ Ｄｉｉ ｌ ｇｎ ｅｉｇ ｇｔ ｉｅ ｒ ａ Ｅｎ ｎ
Ｖ０． ８ ＮＯ ４ １３ ．
３ ６
基于 Ｓ ＲＭＥ Ｔ的 软 件 可 靠 性 测 试 研 究
刘庆 峰 胡 勤霞
秦皇岛
崔 天意
行 软件 的可靠性 和维修性 评估［ 。 Ｓ ＲＭＥ ． Ｔ ３ ０工具 进行 可靠性 、 维修性评估 ， 基
于 以下 假设 ：１ ）软 件 的每 一次 故 障都 是 由程序 中 的一个 错误 引起 的 ； ）故 障发 生 时 间是 相互 独立 ２
软件 测试平 台只是软 件测 试 的基础 ， 测试 用例 的构 造才是测试 的核 心Ｌ ， ３ 而软 件 可靠性 测 试则 是测 试 ］
０６０） ６ ０ １
（１１ 部 队 ９４３
摘
要
Ｓ ＲＭＥ Ｔ测 试 工 具 作 为 研 究 对 象 ， 阐述 了软 件 可 靠 性 测 试 理 论 ， 用 Ｓ ＭＥ ． 行 可 靠 性 评 估 ， 到 了可 采 Ｒ Ｔ ３ ０进 得 Ｓ ＭＥ 软 件 可 靠 性 ； 试 ； 型 Ｒ Ｔ； 测 模
作 者简 介 ： 庆 峰 ， ， 士 ， 级工 程 师 ， 究 方 向 ： 件 工 程 、 件 可 靠性 测 试 。 刘 男 硕 高 研 软 软
２１ ０ ０年第 ４ 期
计 算 机 与 数 字 工 程
３ ７
件下 ， 件 不 引 起 系统 失 效 的能 力［ ， 概 率 度 量 软 ４其 ］
的工具 ， 着 眼 于 软件 故 障 的 发 生 时 间 和 发 生 次 其 数， 通过计 时模 型和 计 数模 型 的分 析 ， 把测 试 是 指 “ 规 定 的 时 间 内 ， 在 规定 的条
・
收 稿 日期 ：０ ９ １ 月 １ ２０ 年 ２ ６日， 回 日期 ：００年 １ １ 修 ２１ 月 ５日
（ ＝ １ ２， ， 。 ＝ ， … ） ＝
评估模 型研究 已有 丰富成果可 以借 鉴 。利用 比较先
析能够得 出效率高 、 精度好 的可靠性评估指标 。
Ｓ ＭＥ ． 具 有 图形 、 Ｒ Ｔ３０ 表格 、 中文 显示 等 良 全 理论分 析 给 出 了优 化 算法 ， 算 效率 最 高 、 度 最 计 精
ＣＩｓ ｎ＇ ｅ ＴＰ３ ． ａ ｓ ＮＩ ｂ ｒ １ ５ １
１ 引 言
软件 可 靠 性 测 试 是 软 件 测 试 的 未 来 发 展 方
向Ｌ ， ２ 国内外 已进入工程 探索 阶段 。在软 件测试 中 ， ］
中的软件 可靠性 数据进行 整合 处理 后 ， 可有效 地进
称 为软 件可靠 度 ” 。软 件 的“ 规定 的条件 ” 主要 包 括 相对不 变 的条件 和相对 变 化 的条件 ， 对 不变 的条 相
或 可靠性 仿真 测试 环境 中 ， 按 照运 行剖 面生 成 的 用
测试 用 例对软 件进 行测试 。 ５ ）数据 收 集 ： 收集 的数 据 包 括 软 件 的 输 人 数
试结果记 录 、 评估 模 型 选 择 、 量 指标 评 估 这 几 方 定 面 。测试 平台的建立在几年前是软件 可靠性 测试 的
最大障碍［ ， ６ 目前工程难点 在任务 剖面分 析 ， 论界 ］ 理
式 ， 里把被 测软件 的故 障暴露 时 间序 列 作为有 效 这
的试验 数据 ， 变量 ｔ表示 第 ｉ 故 障发生 的 时间 用 个