故障树分析测试用例生成技术研究与应用
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ａ ｃ ａ ｙ ａ ｒ ｄ ｃａ ｉｉｙｏ ｙ ｔｍ ｓｅ ｇ ｎ ｅ ｎｇｍｅｈ ｄ ｏｓｕ ｙ ｓ ｆｗａ ｅ ｔｓｉ ｇ ｃ ｕｒ ｃ ｎｄｐ ｅ ｉｔ ｂ ｌｔ ｆｓ ｓｅ ｎ ｉ ｅ ｒ ｔ ｏ ｓｔ ｔ ｄ ｏ ｔ ｒ ｅ ｔｎ ． ｉ Ｋｅ ｒ ｓ Ｆ ｕ ｔ ｅ ａｙ ｉ ； ｔ ｅ ｍｉ ｉ ｍ ｕ ｅ ｓ ｓ ｃ ｒｔ ｏ ｓｒ ｉｔｃ ｎｄｔｏ ｙｗｏ ｄ ： ａ ｌ ｅＡｎ ｌ ｓｓ ｈ ｎ ｍｕ ｃ ｔｓ ｔ ； ｅ ｕ ｙｃ ｎ ｔａ ｎ ｏ ｉｉｎ； ｔ ｓｉ ｇｃ ｓ Ｔｒ ｉ ｅ ｔｎ ａ ｅ
第 ８ 卷
ຫໍສະໝຸດ Baidu
第５ 期
信 息 与 电 子 工 程
Ｉ ＯＲＭＡＴ ＯＮ ＡＮＤ ＥＬ ＴＲＯＮＩ ＮＦ Ｉ ＥＣ Ｃ ＥＮＧＩ ＮＥＥＲＩ ＮＧ
Ｖｏ１ ８， ． ． Ｎｏ ５ Ｏｃ ． ２ ０ ｔ ． ０１
２１ ０ ０年 ｌ ０月
文 章 编 号 ： １ ７ －８ ２２ １）５０ ９ 。４ ６ ２２ ９ （０ ００ ．５ ４０
故 障 树 分 析 测 试 用 例 生 成 技 术 研 究 与 应 用
漆莲 芝 ，张 军 ，谢 敏
（ 中国工 程 物理 研 究 院 电子 工程 研 究 所 ，四川 绵 阳 ６ １ ０ ） ２ ９ ０
摘 要 ： 文 章 对 采 用 故 障 树 分 析 技 术 造 成 系 统 失效 的各 种 软 件 因 素 进 行 分 析 ，确 定 造 成 系 统 失 效 的 各 种 原 因 组 合 。 通 过 构 造 软 件 系 统 故 障 树 ，生 成 故 障 树 的 最 小 割 集 ， 分 析 各 个 割 集 的 安 全 性 约 束 条 件 ， 由安 全 性 约 束 条 件 分 析 测 试 数 据 ， 最 后 生 成 测 试 用 例 的 算 法 。 将 故 障 树 分 析 技 术 用 于指 导软件测 试设计 ，体 现 了以系统工程 方法研 究软 件测试 的系统性 、准 确性和预 测性 。 关 键 词 ： 故 障树 分 析 ；故 障树 最 小 割 集 ；安 全 性 约 束 条 件 ；测 试 用 例 中 图 分 类 号 ：Ｔ １ Ｐ ｌ． Ｎ９ ；Ｔ ３ １ ５ 文 献 标 识 码 ：Ａ
ｔｅ ｎ ｌ ｓｓ ｅ ｈ ｉ ｕ ａ ｅ ｕ ｅ ｏ ｇ ｉ ｅ ｔ ｅ ｄ ｓｇ ｆ ｓ ｆｗａ ｅ ｔ ｓｉ ｇ ｅ ｅ ｔｎｇ ｔ ｅ ｓ ｓｅ ｔｃ ｒ ｅ ａ ａｙ ｉ ｔｃ ｎ ｑ ｅ ｃ ｎ ｂ ｓ ｄ ｔ ｕ ｄ ｈ ｅ ｉｎ ｏ ｏｔ ｒ ｅ ｔｎ ，ｒ ｆ ｃｉ ｈ ｙ ｔ ｍａ ｉ， ｌ
Ｒｅ ｅ ｒ ｈ ａ ｄ ａ ｐ ｉａｉ ｎ ｏ ＴＡ ｅ ｔｎ ａ ｅｇ ｎ ｒ ｔｎ ｅ ｈ ｏｏ ｙ ｓ ａ ｃ ｎ ｐ ｌｃ ｔｏ ｎ Ｆ ｔ ｓｉ ｇｃ ｓ ｅ ｅ ａ ｉ ｇｔ ｃ ｎ ｌ ｇ
Ｑ ｉｎ ｚ ｉ ＨＡＮＧ Ｊ ｎ，ＸＩ ｎ Ｉ ａ －ｈ ，Ｚ Ｌ ｕ Ｅ Ｍｉ
软件 测试是 一项批 判性 的工 作【，随着 当今软 件规模和复 杂性 以及软 件在整个 系统 中的重要性 日益增加 ，进 ｌ 】 行专业 化 、高效 的软件测 试的要求越 来越迫切 。测试用例设计 是软件 测试 的核 心 ，是软件测 试过程 必须遵守 的准
则 ， 是 软 件 测 试 活 动 中 最 重 要 的 部 分 之 一 。只有 采 用 合 适 的 测 试 用 例 设 计 方 法 ，才 能 设 计 出高 效 和 测 试 充 分 的 也
（ ｓｉ ｔ ｆ ｌｃｒｎｃＥｎ ｉｅｒｎ Ｉ ｔ ｕｅｏ ｅ ｔ ｉ ｇｎ ｅｉｇ，Ｃ ｉａＡ ａ ｅ ｆ ｇｎ ｅ ｎ ｈ ｓｃ ， Ｍｉｎ ａ ｇＳｃ ｕ ｎ６ ９ ０ Ｃ ｉａ ｎ ｔ Ｅ ｏ ｈｎ ｃ ｄ ｍｙｏ ｉｅ ｒ ｇＰ ｙｉｓ Ｅｎ ｉ ａ ｙ ｎ ｉｈ ａ ２１ ０ ， ｈｎ ）
Ａｂ ｔａ ｔ Ｔ ｉ ａ ｅ ｉｃ ｓｅ ａ ｌ Ｔ ｅ ｎ ｌｓｓＦ Ａ ｔｃ ｎ ｌｇ ， ｓｓＦ Ａ ｔ ｎ ｌｚ ａｉｔ ｆ ｓｒｃ ： ｈｓｐ ｐ ｒ ｓｕ ｓ ｓ ｕｔ ｒｅＡ ａｙｉ（ Ｔ ） ｅ ｈ ｏｏｙ ｕ ｅ Ｔ ａ ａｙ ｅａｖ ｒ ｙｏ ｄ Ｆ ｏ ｅ
ｓ ｆｗａ ｅ ｌ ｍｅ ｔ ｃ ｕ ｉ ｇ ｏｔ ｒ ｓ ｓｅ ｏｔ ｒ ｅ ｅ ｎ ｓ ａ ｓｎ ｓ ｆｗａ ｅ ｙ ｔｍ ｆ ｉ ｅ ａ ｄ ｏ ｔｕ ｔ ｓ ｆｗａ ｅ ｙ ｔ ｍ ｆ ｕ ｔ ｒ ｅ ｈ ｏ ｇ ａｌ ， ｎ ｃ ｎｓｒ ｃ ｓ ｏｔ ｒ ｓ ｓｅ ｕｒ ａｌ ｔｅ ｔ ｒ ｕ ｈ ｄ ｔ ｒ ｉ ｉ ｇａ ｌｓ ｆｗａ ｅｆ ｉｕ ｅｃ ｍｂ ｎａｉ ｎ ｏ ｅ ｓ ｎ ． ｅ ｅ ｅ ａｅ ｈｅｍｉ ｉ ｅｅ ｍ ｎ ｎ ｌ ｏｔ ｒ ａｌ ｒ ｏ ｉ ｔｏ ｆｒ ａ ｏ ｓ Ｔｈ ｎ ｇ ｎ ｒ ｔ ｓｔ ｎ ｍｕｍ ｕ ｅ ｓｏ ａ ｌ ｒ ｅ， ｃ ｔｓ ｔ ｆｆｕ ｔｔｅ ａ ｌ ｓ ｓ ｔ ｅ ｓ ｃ ｒｔ ｏ ｓｒ ｉ ｔｃ ｎ ｔｏ ｓ ｆ ｃ ｔ ｓ ｔ ａ ｄ ａ ａｙ ｅ ｈ ｅ ｔｎ ａ ａ ａ ｃ ｒ ｎ ｏ ｔ ｅ ｎａｙ ｅ ｈ ｅ ｕ ｙ ｃ ｎ ｔａｎ ｏ ｄｉ ｎ ｏ ｕ ｅ ｓ， ｎ ｎ ｌ ｚ ｓ ｔ ｅ ｔ ｓｉ ｇ ｄ ｔ ｃ ｏ ｄｉｇ ｔ ｈ ｉ ｉ ｓ ｃ ｒｔ ｏ ｓｒ ｉ ｔｃ ｎ ｉｉｎ ． ｈ ｒ ａｔ ｒ ｔ ｅｔ ｓｉ ｇｃ ｓ ｌ ｏ ｉｈ ｉ ｅ ｒ ｔ ｄ． Ｐｒ ｃｉ ｅｓ ｏ ｈ ａ ｌ ｅ ｕ ｙｃ ｎ ｔａｎ ｏ ｄｔｏ ｓ Ｔ ｅ ｅ ｆｅ ， ｈ ｅ ｔｎ ａ ｅ ａｇ ｒｔ ｍ ｓｇ ｎｅ ａｅ ｉ ａ ｔｃ ｈ ｗｓｔ ｅｆ ｕ ｔ
第 ８ 卷
ຫໍສະໝຸດ Baidu
第５ 期
信 息 与 电 子 工 程
Ｉ ＯＲＭＡＴ ＯＮ ＡＮＤ ＥＬ ＴＲＯＮＩ ＮＦ Ｉ ＥＣ Ｃ ＥＮＧＩ ＮＥＥＲＩ ＮＧ
Ｖｏ１ ８， ． ． Ｎｏ ５ Ｏｃ ． ２ ０ ｔ ． ０１
２１ ０ ０年 ｌ ０月
文 章 编 号 ： １ ７ －８ ２２ １）５０ ９ 。４ ６ ２２ ９ （０ ００ ．５ ４０
故 障 树 分 析 测 试 用 例 生 成 技 术 研 究 与 应 用
漆莲 芝 ，张 军 ，谢 敏
（ 中国工 程 物理 研 究 院 电子 工程 研 究 所 ，四川 绵 阳 ６ １ ０ ） ２ ９ ０
摘 要 ： 文 章 对 采 用 故 障 树 分 析 技 术 造 成 系 统 失效 的各 种 软 件 因 素 进 行 分 析 ，确 定 造 成 系 统 失 效 的 各 种 原 因 组 合 。 通 过 构 造 软 件 系 统 故 障 树 ，生 成 故 障 树 的 最 小 割 集 ， 分 析 各 个 割 集 的 安 全 性 约 束 条 件 ， 由安 全 性 约 束 条 件 分 析 测 试 数 据 ， 最 后 生 成 测 试 用 例 的 算 法 。 将 故 障 树 分 析 技 术 用 于指 导软件测 试设计 ，体 现 了以系统工程 方法研 究软 件测试 的系统性 、准 确性和预 测性 。 关 键 词 ： 故 障树 分 析 ；故 障树 最 小 割 集 ；安 全 性 约 束 条 件 ；测 试 用 例 中 图 分 类 号 ：Ｔ １ Ｐ ｌ． Ｎ９ ；Ｔ ３ １ ５ 文 献 标 识 码 ：Ａ
ｔｅ ｎ ｌ ｓｓ ｅ ｈ ｉ ｕ ａ ｅ ｕ ｅ ｏ ｇ ｉ ｅ ｔ ｅ ｄ ｓｇ ｆ ｓ ｆｗａ ｅ ｔ ｓｉ ｇ ｅ ｅ ｔｎｇ ｔ ｅ ｓ ｓｅ ｔｃ ｒ ｅ ａ ａｙ ｉ ｔｃ ｎ ｑ ｅ ｃ ｎ ｂ ｓ ｄ ｔ ｕ ｄ ｈ ｅ ｉｎ ｏ ｏｔ ｒ ｅ ｔｎ ，ｒ ｆ ｃｉ ｈ ｙ ｔ ｍａ ｉ， ｌ
Ｒｅ ｅ ｒ ｈ ａ ｄ ａ ｐ ｉａｉ ｎ ｏ ＴＡ ｅ ｔｎ ａ ｅｇ ｎ ｒ ｔｎ ｅ ｈ ｏｏ ｙ ｓ ａ ｃ ｎ ｐ ｌｃ ｔｏ ｎ Ｆ ｔ ｓｉ ｇｃ ｓ ｅ ｅ ａ ｉ ｇｔ ｃ ｎ ｌ ｇ
Ｑ ｉｎ ｚ ｉ ＨＡＮＧ Ｊ ｎ，ＸＩ ｎ Ｉ ａ －ｈ ，Ｚ Ｌ ｕ Ｅ Ｍｉ
软件 测试是 一项批 判性 的工 作【，随着 当今软 件规模和复 杂性 以及软 件在整个 系统 中的重要性 日益增加 ，进 ｌ 】 行专业 化 、高效 的软件测 试的要求越 来越迫切 。测试用例设计 是软件 测试 的核 心 ，是软件测 试过程 必须遵守 的准
则 ， 是 软 件 测 试 活 动 中 最 重 要 的 部 分 之 一 。只有 采 用 合 适 的 测 试 用 例 设 计 方 法 ，才 能 设 计 出高 效 和 测 试 充 分 的 也
（ ｓｉ ｔ ｆ ｌｃｒｎｃＥｎ ｉｅｒｎ Ｉ ｔ ｕｅｏ ｅ ｔ ｉ ｇｎ ｅｉｇ，Ｃ ｉａＡ ａ ｅ ｆ ｇｎ ｅ ｎ ｈ ｓｃ ， Ｍｉｎ ａ ｇＳｃ ｕ ｎ６ ９ ０ Ｃ ｉａ ｎ ｔ Ｅ ｏ ｈｎ ｃ ｄ ｍｙｏ ｉｅ ｒ ｇＰ ｙｉｓ Ｅｎ ｉ ａ ｙ ｎ ｉｈ ａ ２１ ０ ， ｈｎ ）
Ａｂ ｔａ ｔ Ｔ ｉ ａ ｅ ｉｃ ｓｅ ａ ｌ Ｔ ｅ ｎ ｌｓｓＦ Ａ ｔｃ ｎ ｌｇ ， ｓｓＦ Ａ ｔ ｎ ｌｚ ａｉｔ ｆ ｓｒｃ ： ｈｓｐ ｐ ｒ ｓｕ ｓ ｓ ｕｔ ｒｅＡ ａｙｉ（ Ｔ ） ｅ ｈ ｏｏｙ ｕ ｅ Ｔ ａ ａｙ ｅａｖ ｒ ｙｏ ｄ Ｆ ｏ ｅ
ｓ ｆｗａ ｅ ｌ ｍｅ ｔ ｃ ｕ ｉ ｇ ｏｔ ｒ ｓ ｓｅ ｏｔ ｒ ｅ ｅ ｎ ｓ ａ ｓｎ ｓ ｆｗａ ｅ ｙ ｔｍ ｆ ｉ ｅ ａ ｄ ｏ ｔｕ ｔ ｓ ｆｗａ ｅ ｙ ｔ ｍ ｆ ｕ ｔ ｒ ｅ ｈ ｏ ｇ ａｌ ， ｎ ｃ ｎｓｒ ｃ ｓ ｏｔ ｒ ｓ ｓｅ ｕｒ ａｌ ｔｅ ｔ ｒ ｕ ｈ ｄ ｔ ｒ ｉ ｉ ｇａ ｌｓ ｆｗａ ｅｆ ｉｕ ｅｃ ｍｂ ｎａｉ ｎ ｏ ｅ ｓ ｎ ． ｅ ｅ ｅ ａｅ ｈｅｍｉ ｉ ｅｅ ｍ ｎ ｎ ｌ ｏｔ ｒ ａｌ ｒ ｏ ｉ ｔｏ ｆｒ ａ ｏ ｓ Ｔｈ ｎ ｇ ｎ ｒ ｔ ｓｔ ｎ ｍｕｍ ｕ ｅ ｓｏ ａ ｌ ｒ ｅ， ｃ ｔｓ ｔ ｆｆｕ ｔｔｅ ａ ｌ ｓ ｓ ｔ ｅ ｓ ｃ ｒｔ ｏ ｓｒ ｉ ｔｃ ｎ ｔｏ ｓ ｆ ｃ ｔ ｓ ｔ ａ ｄ ａ ａｙ ｅ ｈ ｅ ｔｎ ａ ａ ａ ｃ ｒ ｎ ｏ ｔ ｅ ｎａｙ ｅ ｈ ｅ ｕ ｙ ｃ ｎ ｔａｎ ｏ ｄｉ ｎ ｏ ｕ ｅ ｓ， ｎ ｎ ｌ ｚ ｓ ｔ ｅ ｔ ｓｉ ｇ ｄ ｔ ｃ ｏ ｄｉｇ ｔ ｈ ｉ ｉ ｓ ｃ ｒｔ ｏ ｓｒ ｉ ｔｃ ｎ ｉｉｎ ． ｈ ｒ ａｔ ｒ ｔ ｅｔ ｓｉ ｇｃ ｓ ｌ ｏ ｉｈ ｉ ｅ ｒ ｔ ｄ． Ｐｒ ｃｉ ｅｓ ｏ ｈ ａ ｌ ｅ ｕ ｙｃ ｎ ｔａｎ ｏ ｄｔｏ ｓ Ｔ ｅ ｅ ｆｅ ， ｈ ｅ ｔｎ ａ ｅ ａｇ ｒｔ ｍ ｓｇ ｎｅ ａｅ ｉ ａ ｔｃ ｈ ｗｓｔ ｅｆ ｕ ｔ