10.3969/j.issn.1000-1220.2002.08.013
基于组件的软件可靠性模型
首先对不同的软件体系结构描述语言(ADL)进行分析,找出软件体系结构的共性.用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述,探讨不同连接形式下的软件体系结构,给出基于组件的软件可靠性模型.在此模型基础上,对基于组件的软件系统的可靠性计算模型进行研究,提出一种半Markov模型,并在理论上证明该模型的可用性.最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用.
软件体系结构、软件容错与可靠性、半Markov模型、CORBA
23
TP311.56(计算技术、计算机技术)
科技部科技型中小企业技术创新项目00C26211300507;国家高技术研究发展计划863计划863-511-946-003;高等学校优秀青年教师教学科研奖励计划
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共5页
950-954