基于体系结构的软件可靠性指标分配方法研究
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ． ’
Ｋｅ ｙ ｗｏ ｒ ｄ ｓ ：ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ；ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ；ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ａ ｒ ｃ ｈ ｉ ｔ ｅ ｃ ｔ ｕ ｒ ｅ ；Ｍ ａ ｒ ｋ ｏ ｖ ；ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｍｏ ｄ ｅ ｌ
及Ｓ Ｒ ＧＭ 中均未涉及 软件体 系结 构 ，因此该 分配模 型 的约
Ａｂ ｓ ｔ ｒ ａ ｃ ｔ ：Ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｉ ｓ ａ ｎ ｉ ｍｐ ｏ ｒ ｔ ａ ｎ ｔ ｔ ａ ｓ ｋ ｉ ｎ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ｅ ｎ ｇ ｉ ｎ ｅ ｅ ｒ ｉ ｎ ｇ ．Ｂ ａ ｓ ｅ ｄ ｏ ｎ ｔ ｈ ｅ ａ ｎ ａ ｌ ｙ ｓ ｉ ｓ ｏ ｆ ｔ ｈ ｅ ｃ ｈ ａ － ｒ ａ ｃ ｔ ｅ ｒ ｉ ｓ ｔ ｉ ｃ ｓ ｏ ｆ ｔ ｈ ｅ ｅ ｘ ｉ ｓ ｔ ｉ ｎ ｇ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｍｅ ｔ ｈ ｏ ｄ ｓ ，ｔ ｈ ｅ ａ ｒ ｃ ｈ ｉ ｔ ｅ ｃ ｔ ｕ ｒ ｅ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｍｅ ｔ ｈ ｏ ｄ ｉ ｓ ｐ ｒ ｏ ｐ ｏ ｓ ｅ ｄ， ｗｈ ｉ ｃ ｈ ｅ ｘ ｐ ｒ ｅ ｓ ｓ ｅ ｓ ｔ ｈ ｅ ｒ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｂ ｅ ｔ ｗｅ ｅ ｎ ｔ ｈ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ｏ ｆ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｓ ｙ ｓ ｔ ｅ ｍｓ ａ ｎ ｄ ｃ ｏ ｍｐ ｏ ｎ ｅ ｎ ｔ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ｗｉ ｔ ｈ ｔ ｈ ｅ ｓ ｔ ａ ｔ ｅ ｄ ｉ ｓ ｃ ｒ ｅ ｔ ｅ Ｍａ ｒ ｋ ｏ ｖ ｃ ｈ ａ ｉ ｎ ｍｏ ｄ ｅ ｌ
２ ０ １ ３年 ９月 第 ３ ４卷 第 ９ 期
计算机 工程与设计
ＣＯＭ Ｐ ＵＴＥＲ ＥＮＧＩ ＮＥＥＲＩ ＮＧ ＡＮＤ ＤＥＳ Ｉ ＧＮ
Ｓ ｅ ｐ ｔ ．２ ０ １ ３
Ｖｏ １ ． ３ ４ Ｎｏ ． ９
基 于 体 系结 构 的 软 件 可靠 性 指 标 分 配方 法 研 究
０ 引 言
在各 种控 制 系统 中软件 日益 发 挥着 不 可 替代 的 作用 ， 软件作为 系统 的～ 部分 ，一旦失 效 ，将 导致 系统处 于危 险 状态 。所 以，软件 的可靠性 越来 越受到用户重视 。 软件可靠性指标 分 配作为 软件 可靠性 工程 中的一项 重
Ｋ。 Ｍａ ｌ ａ ｉ ｙ ห้องสมุดไป่ตู้ 在文 献 ［ ４ ］ 中分析总结 了系 统可靠 性指 标
封 二 强 ，刘 畅 ，郑 军 （ 中国航 空综合 技 术研 究所 ，北 京 １ ０ ０ ０ ２ ８ ）
摘 要 ：为提 高软件 可靠性分 配的合理 性和工程 实用性 ，对现 有的各 种软件 可靠性 分配技 术与 方法进行 深入分析 和 总结 ，
提 出了基 于体 系结构 的软件 可靠性 指标分配方法 。该方 法利 用 离散 马 尔科 夫链状 态模 型 （ Ｄ ＴＭＣ ）表 示软件 系统可 靠性与 各构件 可靠性之 间的 关系，从 而建 立 了考虑 体 系结构的软件可靠性分 配模 型 ；利 用灵敏 度分析各 构件对 系统可靠性 指标的 影响程度 。实验结果表 明了该 方法较传 统分配方法更有效 。
Ｆ ＥＮＧ Ｅｒ － ｑ ｉ ａ ｎ ｇ ，ＬＩ Ｕ Ｃｈ ａ ｎ ｇ，ＺＨ ＥＮＧ Ｊ ｕ ｎ
（ Ｃ ｈ ｉ ｎ ａ Ａｅ ｒ ｏ ～ Ｐ ｏ ｌ ｙ ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ ｇ ｙ Ｅ ｓ ｔ ａ ｂ ｌ ｉ ｓ ｈ ｍｅ ｎ ｔ ， Ｂ ｅ ｉ ｊ ｉ ｎ ｇ １ ０ ０ ０ ２ ８ ， Ｃ ｈ ｉ ｎ ａ ）
分配方法 的基础 上 ，提 出 了基于开 发费 用最 优 的软 件可 靠 性指标分 配方 法 ，该方法利用 Ｍｅ ｔ ｔ ａ ｓ的费用 函数 ，结合 软 件可靠性增长评估模 型 （ Ｓ Ｒ Ｇ Ｍｓ ）建立基 于 开发费 用最 优
的软件可靠性 指标 分配模型 。但是 由于 Ｍｅ ｔ ｔ ａ ｓ 费用 函数 以
关 键 词 ：指 标 分 配 ；软 件 可 靠 性 ；体 系 结构 ；马 尔科 夫 ；分 配模 型
中图法分类号 ：Ｔ Ｐ ３ １ １ 文献标识号 ：Ａ 文章编 号 ： １ ０ ０ ０ — ７ ０ ２ ４（ ２ ０ １ ３ ）０ ９ — ３ ０ ９ ９ — ０ ４
Ｓｔ ｕ ｄ ｙ ｏ ｎ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｂ ａ ｓ ｅ ｄ ｏ ｎ ａ ｒ ｃ ｈ ｉ ｔ ｅ ｃ ｔ ｕ ｒ ｅ ｍｅ ｔ ｈ ｏ ｄ
（ ＤＴＭ Ｃ） ．Ｔｈ ｅ ｓ ｉ ｍｕ ｌ ａ ｔ ｉ ｏ ｎ ｅ ｘ ｐ ｅ ｒ ｉ ｍｅ ｎ ｔ ｖ ｅ ｒ ｉ ｆ ｉ ｅ ｓ ｔ ｈ ｅ ａ ｒ ｃ ｈ ｉ ｔ ｅ ｃ ｔ ｕ ｒ ｅ ｍｅ ｔ ｈ ｏ ｄ ｈ ａ ｓ ｃ ｅ ｒ ｔ ａ ｉ ｎ ａ ｄ ｖ ａ ｎ ｔ ａ ｇ ｅ ｓ ｔ ｈ ａ ｎ ｏ ｒ ｄ ｉ ｎ ａ ｒ ｙ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ
Ｋｅ ｙ ｗｏ ｒ ｄ ｓ ：ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ；ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ；ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ａ ｒ ｃ ｈ ｉ ｔ ｅ ｃ ｔ ｕ ｒ ｅ ；Ｍ ａ ｒ ｋ ｏ ｖ ；ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｍｏ ｄ ｅ ｌ
及Ｓ Ｒ ＧＭ 中均未涉及 软件体 系结 构 ，因此该 分配模 型 的约
Ａｂ ｓ ｔ ｒ ａ ｃ ｔ ：Ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｉ ｓ ａ ｎ ｉ ｍｐ ｏ ｒ ｔ ａ ｎ ｔ ｔ ａ ｓ ｋ ｉ ｎ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ｅ ｎ ｇ ｉ ｎ ｅ ｅ ｒ ｉ ｎ ｇ ．Ｂ ａ ｓ ｅ ｄ ｏ ｎ ｔ ｈ ｅ ａ ｎ ａ ｌ ｙ ｓ ｉ ｓ ｏ ｆ ｔ ｈ ｅ ｃ ｈ ａ － ｒ ａ ｃ ｔ ｅ ｒ ｉ ｓ ｔ ｉ ｃ ｓ ｏ ｆ ｔ ｈ ｅ ｅ ｘ ｉ ｓ ｔ ｉ ｎ ｇ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｍｅ ｔ ｈ ｏ ｄ ｓ ，ｔ ｈ ｅ ａ ｒ ｃ ｈ ｉ ｔ ｅ ｃ ｔ ｕ ｒ ｅ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｍｅ ｔ ｈ ｏ ｄ ｉ ｓ ｐ ｒ ｏ ｐ ｏ ｓ ｅ ｄ， ｗｈ ｉ ｃ ｈ ｅ ｘ ｐ ｒ ｅ ｓ ｓ ｅ ｓ ｔ ｈ ｅ ｒ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｂ ｅ ｔ ｗｅ ｅ ｎ ｔ ｈ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ｏ ｆ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｓ ｙ ｓ ｔ ｅ ｍｓ ａ ｎ ｄ ｃ ｏ ｍｐ ｏ ｎ ｅ ｎ ｔ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ｗｉ ｔ ｈ ｔ ｈ ｅ ｓ ｔ ａ ｔ ｅ ｄ ｉ ｓ ｃ ｒ ｅ ｔ ｅ Ｍａ ｒ ｋ ｏ ｖ ｃ ｈ ａ ｉ ｎ ｍｏ ｄ ｅ ｌ
２ ０ １ ３年 ９月 第 ３ ４卷 第 ９ 期
计算机 工程与设计
ＣＯＭ Ｐ ＵＴＥＲ ＥＮＧＩ ＮＥＥＲＩ ＮＧ ＡＮＤ ＤＥＳ Ｉ ＧＮ
Ｓ ｅ ｐ ｔ ．２ ０ １ ３
Ｖｏ １ ． ３ ４ Ｎｏ ． ９
基 于 体 系结 构 的 软 件 可靠 性 指 标 分 配方 法 研 究
０ 引 言
在各 种控 制 系统 中软件 日益 发 挥着 不 可 替代 的 作用 ， 软件作为 系统 的～ 部分 ，一旦失 效 ，将 导致 系统处 于危 险 状态 。所 以，软件 的可靠性 越来 越受到用户重视 。 软件可靠性指标 分 配作为 软件 可靠性 工程 中的一项 重
Ｋ。 Ｍａ ｌ ａ ｉ ｙ ห้องสมุดไป่ตู้ 在文 献 ［ ４ ］ 中分析总结 了系 统可靠 性指 标
封 二 强 ，刘 畅 ，郑 军 （ 中国航 空综合 技 术研 究所 ，北 京 １ ０ ０ ０ ２ ８ ）
摘 要 ：为提 高软件 可靠性分 配的合理 性和工程 实用性 ，对现 有的各 种软件 可靠性 分配技 术与 方法进行 深入分析 和 总结 ，
提 出了基 于体 系结构 的软件 可靠性 指标分配方法 。该方 法利 用 离散 马 尔科 夫链状 态模 型 （ Ｄ ＴＭＣ ）表 示软件 系统可 靠性与 各构件 可靠性之 间的 关系，从 而建 立 了考虑 体 系结构的软件可靠性分 配模 型 ；利 用灵敏 度分析各 构件对 系统可靠性 指标的 影响程度 。实验结果表 明了该 方法较传 统分配方法更有效 。
Ｆ ＥＮＧ Ｅｒ － ｑ ｉ ａ ｎ ｇ ，ＬＩ Ｕ Ｃｈ ａ ｎ ｇ，ＺＨ ＥＮＧ Ｊ ｕ ｎ
（ Ｃ ｈ ｉ ｎ ａ Ａｅ ｒ ｏ ～ Ｐ ｏ ｌ ｙ ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ ｇ ｙ Ｅ ｓ ｔ ａ ｂ ｌ ｉ ｓ ｈ ｍｅ ｎ ｔ ， Ｂ ｅ ｉ ｊ ｉ ｎ ｇ １ ０ ０ ０ ２ ８ ， Ｃ ｈ ｉ ｎ ａ ）
分配方法 的基础 上 ，提 出 了基于开 发费 用最 优 的软 件可 靠 性指标分 配方 法 ，该方法利用 Ｍｅ ｔ ｔ ａ ｓ的费用 函数 ，结合 软 件可靠性增长评估模 型 （ Ｓ Ｒ Ｇ Ｍｓ ）建立基 于 开发费 用最 优
的软件可靠性 指标 分配模型 。但是 由于 Ｍｅ ｔ ｔ ａ ｓ 费用 函数 以
关 键 词 ：指 标 分 配 ；软 件 可 靠 性 ；体 系 结构 ；马 尔科 夫 ；分 配模 型
中图法分类号 ：Ｔ Ｐ ３ １ １ 文献标识号 ：Ａ 文章编 号 ： １ ０ ０ ０ — ７ ０ ２ ４（ ２ ０ １ ３ ）０ ９ — ３ ０ ９ ９ — ０ ４
Ｓｔ ｕ ｄ ｙ ｏ ｎ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｂ ａ ｓ ｅ ｄ ｏ ｎ ａ ｒ ｃ ｈ ｉ ｔ ｅ ｃ ｔ ｕ ｒ ｅ ｍｅ ｔ ｈ ｏ ｄ
（ ＤＴＭ Ｃ） ．Ｔｈ ｅ ｓ ｉ ｍｕ ｌ ａ ｔ ｉ ｏ ｎ ｅ ｘ ｐ ｅ ｒ ｉ ｍｅ ｎ ｔ ｖ ｅ ｒ ｉ ｆ ｉ ｅ ｓ ｔ ｈ ｅ ａ ｒ ｃ ｈ ｉ ｔ ｅ ｃ ｔ ｕ ｒ ｅ ｍｅ ｔ ｈ ｏ ｄ ｈ ａ ｓ ｃ ｅ ｒ ｔ ａ ｉ ｎ ａ ｄ ｖ ａ ｎ ｔ ａ ｇ ｅ ｓ ｔ ｈ ａ ｎ ｏ ｒ ｄ ｉ ｎ ａ ｒ ｙ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ