可信软件的一种可靠性建模方法

摘要：

基于马尔可夫链描述软件系统控制转移的动态特性,研究了基于马尔可夫分析方法的可信软件的可靠性建模问题。针对模块化的软件系统,综合模块自身的可靠性和模块间的转移调用对其在系统中的重要程度两个方面,分别定义了模块的可靠性函数和模块在系统中重要程度的函数,最后给出了系统可靠性的建模方法和相关函数.

关键词： 可信软件 可靠性建模 马尔可夫链 模块化软件

作者: 史领航 王丹 赵晶

作者单位: 北京工业大学计算机学院 北京 100124

会议类型: 国内会议

会议名称: 第二十五届中国数据库学术会议(NDBC2008)

会议地点: 桂林

会议语种:中文

页码: 52-54,225

在线出版日期: 2008-10-24（万方平台首次上网日期，不代表论文的发表时间）