基于组件的软件可靠性模型

Reliability Model of Component Based Software System

首先对不同的软件体系结构描述语言 (ADL )进行分析 ,找出软件体系结构的共性 .用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述 ,探讨不同连接形式下的软件体系结构 ,给出基于组件的软件可靠性模型 .在此模型基础上 ,对基于组件的软件系统的可靠性计算模型进行研究 ,提出一种半 Markov模型 ,并在理论上证明该模型的可用性 .最后通过 CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用 .

By comparing of different architecture description language(ADL), it show the way to depict the component ,the connector and the software architecture using abstract algebra and first order logic. In that way it propose a reliability model for Component Based software. Following the result, it proves a method that the software system reliability can be computed with semi markov model. Finally it gives a virtual example of COBAR application to support the viewpoint.