软件可靠性分配地模式框架研究.pdfVIP

——一． 至上旦全里查堡生竺兰查全坚 软件可靠性分配的模式框架研究+ 高建华，韩冰青 (上海师范大学数理信息学院计算机系上海：200234) ihgao@shtu．edu．cn 摘要：本论文主要研究多模块软件系统的可靠性分配技术的设计与实现技术，全面分析并讨论 了软件可靠性分配的三种模式框架：RCCM模式框架、BCRM模式框架和BCUM模式框架， 从实用角度扩展了BCUM模式。在此基础上研究了软件开发的三种成本函数，并对每个模式框 架进行了实例论证和实验分析。 关键词：软件可靠性，可靠性分配，故障率，软件系统 1引言 软件可靠性分配是软件可靠性工程的-f]新的分支技术。它是指在保证可靠性目标的前提下，对组 成软件内部的成份做出分析，把软件分离为一个个基本元素，并由此对软件各个元素进行可靠性目标的 分配，以达到在软件开发成本一定的情况下，使用户得到的软件可靠性尽可能地大。其中，软件元素被 定义为诸如操作、子系统、模块、对象或者是其它的能够用于可靠性分配的实体。 ～个大型而复杂的软件系统往往是由多个模块组成而且是为多个用户设计的。一般而言，软件的质 量是由这些模块的可靠性以及各个模块的重要度共同决定的。在软件开发成本给定情况下，人们希望软 件系统的总体可靠性尽可能地大，同样，在软件系统的可靠性指标给定时，人们希望软件系统的开发费 用尽可能小。 软件可靠性分配也是软件系统开发过程中一个重要的可靠性工作项目。面向模块的可靠性分配则充 分体现了软件开发过程的实质，是软件开发在成本一定的情况下达到高可靠性目标的有效手段。软件可 靠性分配的目的是将系统的可靠性指标转换为每一个分系统的可靠性指标，用以指导分系统的开发，在 一定资源约束的条件F寻求一种最佳设计方案，使系统获得高可靠性。因此，软件可靠性分配可以为系 统的可行性研究提供依据，具有重要的实际意义。 系统设计了不同的可靠性分配策略，以使得软件系统的整体可靠性最大化。Kubat[”则提出一种非线性 可靠性分配方法，在给定系统可靠性指标约束下，最小化软件开发成本。 式框架，并着重对软件开发的成本模型进行了研究。 2可靠性分配的模式框架 ’木史得到上海?H曙光讨划项目(2002SG53)及}海市高校科技发展基金重点项目(CL200222)的资助 作者简介：高jI!华(1963年)．男．工学博士．教授，主要研究软件可靠性理论与设计、软件开发环境与开发技术、数据安全与计算机安全、阿 绵测试、LSI／VLSI测试等领域：韩冰青(1978年)，男．硕士，主要研究软件可靠性设计理论与方法、软件测试技术。 一 堡!：旦全望查堕生竺兰查垒坚 献【5】对软忭系统实用性方面进行了一定的研究。本文在综合他们基本观点的基础上，对RCCM模式一}J 的成本最小化问题、BCRM模式中的可靠性最大化问题进行了进一步的研究，并从实_E}j性的角度，扩展 出BCUM模式。由此，总结出三种软件可靠性分配的模式框架：①可靠性约束代价最小化模式，简称 ConstrainedCost RCCM(Reliability Constrained (Budget Reliability Constrained Maximization)模式。 Utility 21可靠性约束代价最小化模式(ROOM模式) 模块化的软件系统是为多个用户设计的，它包括n个模块，共完成m项操作。一般完成一项操作 需要执行几个模块(见图1)。 图1软件系统模块图 Iv面定义一些符号： n——软件系统的模块个数； m——软件系统所执行的操作个数； p～软件系统所要达到的可靠性目标； t～系统运行时间，即在[0，t】时间段内系统的可靠性至少为p： xr一表示模块j的故障率： TC(^f，x2，．，k一软件系统总的开发成本，以k为变量； R(k，x2，，k，-c)——软件系统在一定时间段[0，T】内的可靠性。 r是，得到如f．-的RCCM模式：