维普资讯 http://www.cqvip.com 计算机科学２００７Ｖｏ１．３４Ｎｏ．５ 基于构件的软件可靠性分析 ） 樊林波 。吴智 赵明 （贵州大学贵州省可靠性工程研究中心 贵阳５５０００１） （遵义师范学院计算机科学系 遵义５６３００２）。 摘要现代软件工程的一个重要目标是实现聚合性和重用性，构件技术就是以此为目标的。随着该技术的快速发 展，以构件设计复杂软件系统的软件开发方法日趋成熟。但是基于该技术的软件可靠性分析却比较落后。目前，在这 领域的研究中，多数是使用软件可靠性增长模型（ＳＧＲＭ），对于软件系统的可靠性预测研究较少。在已有的文献中， 给出了基于组件的具有层次结构的系统可靠性预测分析，但没有考虑模块之间循环调用的可靠性问题。循环调用在 软件中是经常发生的事件，对软件系统的可靠性具有举足轻重的作用。本文在对已有模型的不足进行分析后，增加了 循环调用的可靠性预测分析，建立了一个较为全面的系统可靠性预测分析模型。 关键词构件，软件可靠性，依赖关系，可靠性预测，循环调用 Ｓｏｆｔｗａｒｅ Ｒｅｌｉａｂｉｌｉｔｙ Ａｎａｌｙｓｉｓ ｏｆ Ｃｏｍｐｏｎｅｎｔ Ｂａｓｅｄ Ｓｏｆｔｗａｒｅ ＦＡＮ Ｌｉｎ－Ｂｏ ＇ ＷＵ Ｚｈｉ ＺＨＡＯ Ｍｉｎｇ （Ｒｅｌｉａｂｉｌｉｔｙ Ｅｎｇｉｎｅｅｒｉｎｇ Ｃｅｎｔｅｒ ｏｆ Ｇｕｉｚｈｏｕ Ｐｒｏｖｉｎｃｅ，Ｇｕｉｚｈｏｕ Ｕｎｉｖｅｒｓｉｔｙ，Ｇｕｉｙａｎｇ ５５０００１） （Ｄｅｐａｒｔｍｅｎｔ ｏｆ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ，Ｚｈｕｎｙ／Ｎｏｒｍａｌ Ｃｏｌｌｅｇｅ，Ｚｈｕｎｙｉ ５６３００２） Ａｂｓｔｒａｃｔ Ｏｎｅ ｏｆ ｔｈｅ ｍｏｓｔ ｉｍｐｏｒｔａｎｔ ｇｏａｌｓ ｏｆ ｍｏｄｅｒｎ ｓｏｆｔｗａｒｅ ｅｎｇｉｎｅｅｒｉｎｇ ｉｓ ｔｏ ｒｅａｌｉｚｅ ｉｔｓ ａｇｇｒｅｇａｔｉｏｎ ａｎｄ ｒｅｕｓａｂｉｌｉｔｙ． Ｃｏｍｐｏｎｅｎｔ－ｂａｓｅｄ ｔｅｃｈｎｏｌｏｇｙ ｉｓ ｏｎｅ ｗａｙ ｔＯ ａｃｈｉｅｖｅ ｔｈｉｓ．Ｗｉｔｈ ｔｈｅ ｒａｐｉｄ ｄｅｖｅｌｏｐｍｅｎｔ ｏｆ ｔｈｉｓ ｔｅｃｈｎｏｌｏｇｙ，ｔｈｅ ｃｏｍｐｏ－ ｎｅｎｔ－ｂａｓｅｄ ｔｅｃｈｎｏｌｏｇｙ ｂｅｃｏｍｅｓ ｑｕｉｔｅ ｍａｔｕｒｅ．Ｈｏｗｅｖｅｒ，ｉｔｓ ｒｅｌｉａｂｉｌｉｔｙ ａｎａｌｙｚｉｎｇ ｔｅｃｈｎｏｌｏｇｙ ｄｒｏｐｓ ｆａｒ ｂｅｈｉｎｄ．Ａｔ ｐｒｅｓ— ｅｎｔ，ｉｎ ｔｈｉｓ ｒｅｓｅａｒｃｈ ｆｉｅｌｄ，ｔｈｅ ｗｉｄｅｌｙ ｕｓｅｄ ａｐｐｒｏａｃｈ ｉＳ ＳＧＲ＾，Ｌ Ｌｉｔｔｌｅ ａｔｔｅｎｔｉｏｎ ｉＳ ｏｎ ｔｈｅ ｓｔｕｄｙ ｏｆ ｓｏｆｔｗａｒｅ ｒｅｌｉａｂｉｌｉｔｙ ｐｒｅｄｉｃｔｉｏｎ．Ｌｉｔｅｒａｔｕｒｅ ｐｒｅｓｅｎｔｓ ｏｎｅ ｃｏｍｐｏｎｅｎｔ－ｂａｓｅｄ ｗｉｔｈ ｈｉｅｒａｒｃｈｉｃａｌ ｓｔｒｕｃｔｕｒｅ ｍｅｔｈｏｄ ｆｏｒ ｓｙｓｔｅｍ ｒｅｌｉａｂｉｌｉｔｙ ｐｒｅｄｉｃａ－ ｔｉｏｎ ａｎａｌｙｚｉｎｇ．Ｂｕｔ ｉｔ ｄｏａｓ ｎｏｔ ｃｏｎｓｉｄｅｒ ｔｈｅ ｒｅｌｉａｂｉｌｉｔｙ ｏｆ ｃｙｃｌｅ ｃａｌｌｓ ａｍｏｎｇ ｍｏｄｕｌｅｓ．Ａｓ ｗｅ ｋｎｏｗ，ｃｙｃｌｅ ｃａｌｌｓ ａｒｅ ｐｒｅｖａ－ ｌｅｎｔ ｉｎ ｓｏｆｔｗａｒｅ．ａｎｄ ｉｔ ｐｌａｙｓ ａ ｃｒｉｔｉｃａｌ ｒｏｌｅ ｆｏｒ ｔｈｅ ｒｅｌｉａｂｉｌｉｔｙ ｏｆ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍ．Ｉｎ ｔｈｉｓ ｐａｐｅｒ，ｗｅ ａｎａｌｙｚｅ ｔｈｅ ｅｘｉｓｔｅｎｔ ｍｏｄｅｌｓ，ａｕｇｍｅｎｔ ｒｅｌｉａｂｉｌｉｔｙ ｐｒｅｄｉｃｔｉｏｎ ａｎａｌｙｚｉｇｎ ｆｏｒ ｃｙｃｌｅ ｃａｌｌ ａｎｄ ｂｕｉｌｄ ｕｐ ｏｎｅ ｆｕｌｂｓｃａｌｅ ｓｙｓｔｅｍａｔｉｃ ｒｅｌｉａｂｉｌｉｔｙ ｐｒｅｄｉｃｔｉｏｎ ａｎａｌｙｚｉｎｇ ｍｏｄｅ１． Ｋｅｙｗｏｒｄｓ Ｃｏｍｐｏｎｅｎｔ－ｂａｓｅｄ ｔｅｃｈｎｏｌｏｇｙ，Ｓｏｆｔｗａｒｅ ｒｅｌｉａｂｉｌｉｔｙ，Ｒｅｌｉａｂｉｌｉｔｙ ｐｒｅｄｉｃｔｉｏｎ，Ｄｅｐｅｎｄｅｎｔ ｒｅｌａｔｉｏｎ １ 引言 长情况；其中包括文［５］给出的根据测试覆盖度来评估软件可 靠性增长；文［５，６］给出的通过程序中数据流的正则性进行测 随着软件构件技术的快速发展，以构件设计大型复杂软件 试，并使用该正则性准则来评估软件可靠性。 系统的软件开发方法日趋成熟。但是，目前的工作更多地集中 第二类，有文［４］给出的ＲＢＤ模型以及其扩展的ＲＢＤ和 在构件的开发和构件的复用技术等方面，对利用构件组成的软 Ｃｒｉｔｉｃａｌｉｔｙ模型，该模型研究了层次型软件模块之间的依赖关 件系统的可靠性和质量方面则关注较少ｌ３］。在当前，对软件系 系；文［７］给出的层次型软件系统的可靠性评估模型；文［８］给 统的可靠性评估模型中，要么没有考虑预测，通过测试后进行 出的构件概率迁移图模型，该模型使用了概率转移状态机来 可靠性增长评估；要么是对预测模型约束条件苛刻，与实际工 对软件可靠性进行评估，主要是动态分析；文［３］在文［４，７］的 程技术相差较大。本文在对已有模型的不足进行分析后，增加 基础上进行了改进，定义了一个依赖关系函数，用来对层次结 了循环调用的可靠性预测分析，建立了一个较为全面的系统可 构模型的可靠性进行评估。 靠性预测分析模型。这模型更符合实际工程应用。 ２．２ ＲＢＤ和Ｃｒｉｔｉｃａｌｉｔｙ模型Ｌ４］及其不足 ２对已有模型的分析 ＲＢＤ ａｎｄ Ｃｒｉｔｉｃａｌｉｔｙ模型定义了一个函数ＵＴＩＬＩＺＥＳ （ ，ｍｊ， 一 ），该函数定义为如果鸺调用％时，如果帕 ２．１评估模型概述 失效，则ｍ／，以ｘ加一耐的概率失效。该函数描述了一个模块 在已有的软件系统评估模型中，一类是在系统开发完成、 调用另一个模块后，其可靠性预测。该模型是对原有的ＲＢＤ 经过测试和实际运行之后才进行可靠性评估的模型，称为软 模型的改进，在原有的ＲＢＤ模型中，定义了ＵＳＥＳ函数，形 件可靠性增长模型（ＳＧＲＭ）Ｃ ；另一类是在软件开发阶段， 如： 或者说是在软件未测试前对软件可靠性的预测，称为软件可 ＵＳＥＳ（Ｍｏｄｕｌｅｓ Ｌ１，Ｍｏｄｕｌｅｓ Ｌｏ１） 靠性预测模型＿４Ｊ。 ＵＳＥＳ（Ｍｏｄｕｌｅｓ Ｌ１，Ｍｏｄｕｌｅｓ Ｌｏ２） 第一类，也是目前使用得较多的软件可靠性增长模型 （ＳＧＲＭ），它是以软件运行和测试期间得到的失效数据为输 ＵＳＥＳ（Ｍｏｄｕｌｅｓ Ｌ１，Ｍｏｄｕｌｅｓ Ｌｏ ）。 入，应用统计和随机过程的理论和方法，对软件中剩余的缺陷 其中Ｌ 为父模块，Ｌｏ ，Ｌｏｚ，…，Ｌ 为Ｌ 的子模块。该 数目进行评估，并且预测软件在未来一段时间内的可靠性增 模型是以如下假设为前提： ＊）国家自然科学基金项目（６０４７３０５４）。樊林波博士生，讲师，研究方向：软件工程。吴智硕士，研究方向：软件可靠性。赵明教授， 博士生导师，研究方向：软件工程、可靠性工程。 ・２６６・ 维普资讯 http://www.cqvip.com １）同层模块是ｓ－ｉｎｄｅｐｅｎｄｅｎｔ的，任何模块的失效概率不 受其他模块失效概率影响。即有｛Ｖ（ｉ， ）∈Ｍ，Ｐ（ｉ ｌ ）一Ｐ （ ）｝，其中，Ｍ为系统所有模块的集合；ｉ和Ｊ为系统的２个不 同的模块。 本文中，作者排除了循环调用问题，但在实际软件工程 中，循环调用问题经常出现，本文增加了循环调用的可靠性预 测分析，建立了一个较为全面的系统可靠性预测分析模型。 这样模型更符合实际工程应用。 ２）失效（ｆａｉｌｕｒｅ）只限于１个模块内部，即当１个模块的子 模块失效时，它不会把失效传给父模块。 ３）如果１个父模块不存在ｆａｕｌｔ，那么它调用的所有子模 ３基于构件软件的可靠性 构件是指封装了数据和功能、在运行时能够通过参数进 块也都不存在ｆａｕｌ。 图１层次型软件结构 但是改进后的ＲＢＤ和Ｃｒｉｔｉｃａｌｉｔｙ模型，仍然基于这一假 设，即同层模块是ｓ—ｉｎｄｅｐｅｎｄｅｍ的，任何模块的失效概率不 受其他模块失效概率影响，表示为｛Ｖ（ ， ）∈Ｍ，Ｐ（ｉ ｌ ）一Ｐ （ ）｝，其中，Ｍ为系统所有模块的集合，ｉ和Ｊ为系统的２个不 同的模块，结构如图１，这不符合实际的软件系统。 ２．３ ＩＩＢＤ和Ｃｒｉｔｉｃａｌｉｔｙ模型的改进及其不足 文Ｉ－８在文Ｉ－４］的基础上进行了改进，改进后不要求文 ［４］的假设。定义了Ｄｅｐｅｎｄｓ函数，用以约束层次内部模块之 间的依赖关系。Ｄｅｐｅｎｄｓ（ｒｒ￣，ｒｎ／，Ｐ 一 ）表示模块ｒｎｌ以概率 Ｐ 一 依赖于模块ｍ 。Ｄｅｐｅｎｄｓ函数定义在同一层次的模块 之间，当 一 一。时，ｒｎｉ和ｍ 相互独立，即ｒｎｉ不依赖于ｍ，； 当 一蚵一１时，ｒｎｌ完全依赖于ｍｊ，即当且仅当巩正确时， ∞正确；当Ｏ＜ 一 ＜１时， 一 给出了ｍ 和ｍ 之间的 依赖程度。该模型描述了在同一层次的单向依赖，并在保证 不存在循环依赖的情况下，给出了系统可靠性的计算公式。 该模型如图２，计算公式如下： 假设模块的依赖关系如下， ｅＤｐ（Ｌｏ１）一｛Ｌ０２，…，Ｌ０ ｝，蠡≤７２ ｅＤｐ（Ｌ０ ）一｛Ｌ０斗ｌ，…，Ｌｏｋ｝，五≤７２ ｅＤｐ（ ）一 图２带有依赖的层次图 根据上述依赖关系，有： Ｒ（Ｓ）一Ｐ（Ｌ１）［－Ｒ（Ｌ０１）＋Ｒ（～Ｌ０１）・Ｐ（Ｌ１ ｌ～工帕１）］…・ ・［－Ｒ（Ｌｏ ）＋Ｒ（～Ｌｏ ）・Ｐ（Ｌ ｌ～ ）］ Ｒ（Ｌｏ ）一Ｐ（Ｌｏ ）・［－Ｒ（Ｌｏ２）＋Ｐ（Ｌ０ ｌ～工帕２）］…・・ ［Ｒ（工帕 ）＋Ｐ（Ｌｏ ｌ～工帕 ）］ Ｒ（Ｌ０ ）一Ｐ（Ｌｏｆ）・ＥＲ（Ｌ０ｆ＋１）＋Ｐ（Ｌ０ ｌ～Ｌ蚪１）］…・・ ［Ｒ（Ｌ傩）＋Ｐ（Ｌ。 ｌ～Ｌ傩）］ Ｒ（Ｌ ）一Ｐ（Ｌｏ，１） 通过循环迭代解这个概率等式方程组，可计算出系统的 可靠性。 行配置的模块。软件可靠性指的是在一段特定的自然单元或 者时间间隔内，系统无失效运行的概率。 ３．１问题的说明 （１）本文是对基于构件的软件系统可靠性预测研究，不是 对组件和模块组成的系统研究，原因有以下几点：１）构件技术 发展较快，开发方法日趋成熟，符合现代软件工程思想。２）本 文的目标是对系统开发完成或者开发中对系统的可靠性预 测，预测的根据是基于该软件所用的基础部件，和部件的组织 结构，要求部件的可靠性是已知的。３）构件通常是由第三方 开发，除具有清晰的接口描述和常见的功能描述外，还应有表 明该构件使用的场合和可靠性等性能指标。这符合２）的部 件选择。同时也是组件和模块一般不具有的。 （２）基于构件的软件系统，选择构件时一般要分析使用构 件的中间件功能和构件使用的环境，本文对系统可靠性的研 究，是基于中间件和使用环境都完全可靠的情况下进行的。 在实际应用中应考虑它们的可靠度。 ３．２基本定义 定义１（依赖关系）设Ａ一｛Ｃｌ，Ｃ２，…， ｝是一个软件 系统中所有构件的集合，Ｃ ，Ｃ２，…， 是构件。Ｄ ＡＸＡ是 该软件系统中所有具有依赖关系的构件组成的集合，Ａ×Ａ 为Ａ上的笛卡儿积。依赖是指处理事件一构件要完成它的 功能或功能的一部分，必须依靠另一构件的功能或部分功能。 例如，Ｄ一｛＜Ｃ１，Ｃ２＞｝表示系统中只有构件Ｃ１依赖于Ｃ２，注 意，关系｛＜Ｃ ，Ｃ２＞｝和｛＜Ｃ２，Ｃ１＞｝表示不同的依赖。 定义２（依赖程度）如果构件Ｇ依赖于构件 ，假设Ｃ， 失效，就导致Ｇ以Ｐ 的概率失效，则我们称Ｐ 为构件Ｃ 依 赖构件ＣＪ的依赖程度。 定义３（循环依赖） 如果构件Ｇ完成其功能，需要借助 构件ＣＪ的功能，而构件Ｃｊ的该功能又要依赖于Ｃ 的功能， 则称这种依赖为循环依赖。注意：循环不是无限次的，因为构 件功能的完成是基于有限次的循环，否则，系统进入死循环。 符号规定Ｒ（Ｓ）表示系统可靠性，Ｒ表示Ｃ 构件的可靠 性， 表示构件Ｃ 调用构件ＣＪ后的可靠性，Ｒ［｛Ｉ ］表示Ｇ调 用ＣＪ，ＣＪ又调用Ｃ 的一次循环调用后的可靠性。 ３．３可靠性计算公式 （１）“叶结点，，调用计算，“叶结点”是指它不调用其他构件的 构件或构件的组合。如Ｇ调用Ｇ，而Ｇ不再调其他构件，或它 对其他构件的调用结束。则调用后结点的可靠性计算如下： Ｒｄ—Ｒ ・（Ｒ，＋（１一Ｒｉ）（１一Ｐ｜ ））。 （２）“带依赖的层次型构件”的调用计算，“带依赖的层次 型构件”是指一个构件调用它“下层”的几个构件，“下层”构件 中又存在调用关系，但不存在循环调用，如图２的情形。 假设Ｇ调用Ｃｊ，Ｇ又调用Ｃ ，而ＣＪ又调用Ｃ 。 Ｒ啦一Ｒ ・（Ｒ ＋（１一Ｒ ）（１一Ｐ ））・（Ｒｋ＋（１一Ｒ）（１ Ｐ ））， 其中，Ｒ —Ｒ ・（Ｒｋ＋（１一Ｒ）（１一Ｐ ）） （３）带循环的型调用计算，带循环调用的可靠性计算是将 一次循环的可靠性计算出来， 次循环调用的可靠性是一次 循环的可靠性的 次幂。在一个不可靠的系统里循环调用多 ・２６７・ 维普资讯 http://www.cqvip.com 次，结论的可靠性将越来越低。 为了计算多次循环调用的可靠性，必须将一次循环调用 的可靠性计算出来。一次循环调用的可靠性可将环撤为线性 处理。如图３，可将图３化为图４处理。 系统的可靠性Ｒ（ｓ）是可以计算的，可根据系统中构件组成结 构，运用以上三种运算的组合从“叶结点”一步一步向上计算。 该方法适合静态分析。下面用一个简单例子来说明该方法的 应用。 … 图４将图３转化为线形结构 图３循环调用图 Ｇ调用Ｃｊ，Ｇ调用Ｃ ，…， 又调用Ｃ 。一次调用后的 可靠性为： Ｒ［ｉ， ．， ＝Ｒｉ・（Ｒ［『，…． ］＋（１一ＲＤ，…， ）（１一Ｐ ）） 图５综合调用图例 Ｒｕ。…， ＝Ｒ，・（ＲＥｋ．…， ＋（１－－ＲＥｋ，…， ）（１一 ）） Ｒ —Ｒ ・（Ｒ ＋（１－－Ｒｆ）（１－－Ｐ坩））。 ４举例 假设图５是一个基于构件的软件结构图，该图中包含了 循环和层次调用，我们假设调用Ｃ３，则Ｃ３必调用ｃ４，同时 Ｃ４必调用Ｃ３。并且，每次调用都产生２次循环。这样我们 可按如下顺序计算Ｒ（ｓ）。先计算Ｒ 。，再计算ＲＥａ＿４．３］＇再计 算ＲＥ３，４ ３１的平方，这时就变成层次模型了。数据假设如表１。 如果是ｎ次循环，可靠性是Ｒ［ｉｊ，ｉ］的ｎ次幂。对于单个 构件的自身调用和超过二个模块的循环调用，可是用该方法 的推广。 （４）一个基于构件组成的软件系统，可把它分解为以上三 种“部件”的组合，每种“部件”的可靠性是可计算的，则组合后 表１基本数据假设表 Ｒ３＝Ｒ・（Ｒｏ＋（１一Ｒｏ）（１一Ｐ４３）） 一Ｏ．９９８０・（０．９９８５＋（１～０．９９８５）（１—０．３５００）） ：０．９９７９ ２００３ ２ 柯尧，赵保华．基于组件系统的可靠性分析Ｄ］．北京邮电大学学 报，２００５，２８（６）：１１６～１１７ ３ Ｇｏｓｅｖａ－Ｐｏｐｓｔ￣ａｎｏｖａ Ｋ，Ｔｒｉｖｅｄｉ Ｋ，Ｍａｔｈｕｒ Ａ Ｐ．Ｈｏｗ ｄｉｆｆｅｒｅｎｔ ａｒｃｈｉｔｅｃｔｕｒｅ ｂａｓｅｄ ｓｏｆｔｗａｒｅ ｒｅｌｉａｂｉｌｉｔｙ ｍｏｄｅｌｓ ａｒｅ ｒｅｌａｔｅｄ？Ｉｎ： Ｐｒｏｃ．ｏｆ ｔｈｅ Ｆａｓｔ Ａｂｓｔｒａｃｔｓ ｌｌｔｈ ＩＥＥＥ Ｉｎｔ’１．Ｓｙｍｐ．ｏｎ Ｓｏｆｔｗａｒｅ ３，４，３１一 ・（Ｒ３＋（１一Ｒ３）（１一Ｐ３４）） 一Ｏ．９９８５・（Ｏ．９９７９＋（１一Ｏ．９９７９）（１一Ｏ．５０００）） 一０．９９７４ Ｒｅｌｉａｂｉｌｉｔｙ Ｅｎｇｉｎｅｅｒｉｎｇ（ＩＳＳＲＥ ２０００）．Ｓａｎ Ｊｏｓｅ，Ｃａｌｌｆｏｒｎｉａ， ２０００．ｈｔｔｐ ．ｃｈｉｌｌａｒｅｇｅ．ｃｏｍ／ｆａｓｔａｂｓｔｒａｃｔｓ／ｉｓｓｒｅ２０００／ （ＰＣ３，４，３］）。一０．９９７４・０．９９７４＝０．９９４８ ２０００１０３．ｐｄｆ ４ Ｌｅｂｌａｎｃ Ｓ Ｐ，Ｒｏｍａｎ Ｐ Ａ．Ｒｅｌｉａｂｉｌｉｔｙ ｅｓｔｉａｔｉｍｏｎ ｏｆ ｈｉｅｒ．ａｒｃｈｉｃａ１ Ｒｚ３：Ｒ２・（（Ｒ［３，４，３］）。＋（１一（ＲＥ３，４，３１）。）（１一Ｐ２３）） 一０．９９７５・（０．９９４８＋（１—０．９９４８）（１—０．１５００）） ：０．９９６７ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍ［Ａ］．Ｉｎ：Ｐｒｏｃｅｅｄｉｎｇｓ ａｎｎｕａｌ Ｒｅｌｉａ．ｂｉｌｉｔｙ ａｎｄ ＩＶｌａ— ｉｎｔａｉｎａｂｉｌｉｔｙ Ｓｙｍｐｏｓｉｕｍ ｌ Ｃ】，２００２ ５ Ｙａｓｈｗａｎｔ Ｋ Ｍ，Ｍｉｃｈａｅｌ Ｎ Ｌ，ＪａｍｅｓＭ １３．Ｓｏｆｔｗａｒｅ ｒｅｌｉａｂｉｌｉｔｙ ｇｒｏｗｔｈ ｗｉｔｈ ｔｅｓｔ ｃｏｖｅｒａｇｅ口］．ＩＥＥＥ Ｔｒａｎｓａｃｔｉｏｎｓ ｏｎ Ｒｅｌｉａｂｉｌｉｔｙ， ２００２，５１（４）：４２０￣４２６ Ｒ（Ｓ）一Ｒ１・（ ３＋（１一 。）（１一Ｐｘｚ））・（（１ｋ３．４．３］） ＋ ６ 孟洛明，王国伟．面向ＣＨＩＬＬ数据流测试的研究与试验［Ｊ］．北京 邮电大学学报，１９９４，１７（３）：３８￣４２ （１一（１￣３，４，３３） ）（１一Ｐｊ３）） 一０．９９８０・（０．９９６７＋（１—０．９９６７）（１—０．２５００）） ・７ 马敏书，张仲义，吕永波．层次型软件系统可靠性模型及预测Ｉ－Ｊ］． 中国软科学，２００３，１２（６）：１４７￣１５０ （０．９９４８＋（１～０．９９４８）（１—０．３０００）） ８ 毛晓光，邓勇进．基于构件软件的可靠性通用模型ｆＪ＇１．软件学报， ２００４，ｌ５（１）：２８～３２ 一Ｏ．９９５６ 由于每个构件的可靠性较，所以系统可靠性较高。 结束语本文给出了基于构件的软件系统的可靠性预测 方法，通过已知的构件的可靠性和构件之间的依赖关系，就可 计算出该系统的可靠度，是一个可以在一个软件系统未经测 试前，就可对其可靠性预测的模型。但本文是基于连接构件 的中间件（或称为胶合逻辑和代码），构件的使用环境完全可 靠的基础上进行的，在实际软件系统中这是不能忽视的。从 文章可看出系统的可靠性与系统的结构也有很大关系，对要 更多地了解这些信息的读者可参考文Ｅ９￣１２］。 ９ Ｇｏｓｅｖａ－Ｐｏｐｓｔｏｊａｎｏｖａ Ｋ，Ｔｒｉｖｅｃｌｉ Ｋ Ａｒｃｈｉｔｅｃｔｕｒｅ－Ｂａｓｅｄ ａｐｐｒｏａｃｈ ｔｏ ｒｅｌｉａｂｉｌｉｔｙ ａｓｓｅｓｓｍｅｎｔ ｏｆ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍｓ．Ｐｅｒｆｏｒｍａｎｃｅ Ｅｖａｌｕ— ａｔｉｏｎ，２００１，４５（２—３）：１７９～２Ｏ４ ｌ０ Ｇｏｋｈａｌｅ Ｓ，Ｌｙｕ Ｍ，Ｔｒｉｖｅｄｉ Ｋ．Ｒｅｌｉａｂｉｌｉｔｙ ｓｉｍｕｌａｔｉｏｎ ｏｆ ｃｏｍｐｏ— ｎｅｎｔ ｂａｓｅｄ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍｓ．Ｉｎ：Ｐｒｏｃ．ｏｆ ｔｈｅ ９ｔｈ Ｉｎｔ１．Ｓｙｍｐ．ｏｎ Ｓｆｔｏｗａｒｅ Ｒｅｌｉａｂｉｌｉｔｙ Ｅｎｇｉｎｅｅｒｉｎｇ（ＩＳＳＲＥ’９８）．Ｐａｄｅｒｂｏｒｎ：ＩＥＥＥ Ｃｏｍｐｕｔｅｒ Ｓｏｃｉｅｔｙ，１９９８．１９２￣２０１ １１ Ｋｒｉｓｈｎａｍｕｒｔｈｙ Ｓ．Ｍａｔｈｕｒ ．Ｏｎ ｔｈｅ ｅｓｔｉｍａｔｉｏｎ ｏｆ ｒｅｌｉａｂｉｌｉｔｙ ｏｆ ａ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍ ｕｓｉｇ ｒｅｌｎｉａｂｉｌｉｔｉｅｓ ｏｆ ｉｔｓ ｃｏｍｐｏｎｅｎｔｓ．Ｉｎ：Ｐｒｏｃ． ｏｆ ｔｈｅ ８ｔｈ Ｉｎｔ’１．Ｓｙｍｐ．ｏｎ Ｓｏｆｔｗａｒｅ Ｒｅｌｉａｂｉｌｉｔｙ Ｅｎｇｉｎｅｅｒｉｇ（ＩＳ－ ｎＳＲＥ’９７）．Ａｌｂｕｑｕｅｒｑｕｅ，ＮＭ：ＩＥＥＥ Ｃｏｍｐｕｔｅｒ Ｓｏｃｉｅｔｙ，１９９７． １４６～ｌ５５ １２ Ｇｏｋｈａｌｅ Ｓ，Ｗｏｎｇ Ｗ Ｅ，Ｔｒｉｖｅｄｉ Ｋ，Ｈｏｒｇａｎ ＪＲ Ａｎ ａｎａｌｙｔｉｃａ１ ａｐ－ ｐｒｏａｃｈ ｔｏ ａｒｃｈｉｔｅｃｔｕｒｅ ｂａｓｅｄ ｓｏｆｔｗａｒｅ ｒｅｌｉａｂｉｌｉｔｙ ｐｒｅｄｉｃｔｉｏｎ．Ｉｎ： Ｐｒｏｃ．ｏｆ ｔｈｅ ３ｒｄ Ｉｎｔ’１．Ｃｏｍｐｕｔｅｒ Ｐｅｒｆｏｒｍａｎｃｅ｛５Ｌ Ｄｅｐｅｎｄａｂｉｌｉｔｙ Ｓｙｍｐ．（ＩＰＤＳ’９８）．Ｄｕｒｈａｍ：ＩＥＥＥ Ｃｏｍｐｕｔｅｒ Ｓｏｃｉｅｔｙ，１９９８．１３ ～参考文献 １ Ｊｏｈｎ Ｄ Ｍ软件可靠性工程［Ｍ］．韩柯译．北京：机械工业出版社， ・２６８・ ２２
