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

摘要：

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

关键词：软件体系结构、软件容错与可靠性、半Markov模型、CORBA

所属期刊栏目：23

分类号：TP311.56(计算技术、计算机技术)

资助基金：科技部科技型中小企业技术创新项目00C26211300507;国家高技术研究发展计划863计划863-511-946-003;高等学校优秀青年教师教学科研奖励计划

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：950-954