[发明专利]一种考虑关联失效的容错软件可靠性及性能评估方法

权利要求书

1.一种考虑关联失效的容错软件可靠性及性能评估方法，首先，按照容错软件可靠性要求利用离散时间马尔可夫链DTMC对容错软件架构进行建模，准确描述软件组件间控制流的动态行为，给出具备多级故障恢复机制的马尔可夫链DTMC模型；所述按照容错软件可靠性要求利用离散时间马尔可夫链DTMC对容错软件架构进行建模，具体包括F01基于DTMC的容错软件架构建模、F02引入多级故障恢复机制的容错软件失效行为建模，建模时，利用可吸收离散时间马尔可夫链DTMC对模块间控制流转移进行建模，容错软件系统的结构利用状态转移矩阵P_n×n表示，该矩阵可描述各组件间的控制流转移概率，在基于DTMC的软件架构模型中，如果控制流到达吸收点，则表明软件成功运行；然后，利用基于多变量贝努力分布MVB的数值算法分析组件间失效关联，通过贝努力分布MVB参数化及泊松编码算法完成考虑关联失效的容错软件可靠性及性能计算，所述基于多变量贝努力分布MVB的容错软件可靠度和性能计算，具体包括F03多变量贝努力分布MVB参数化、F04 MVB编码、F05可靠性及性能计算，其特征在于：在利用离散时间马尔可夫链DTMC对容错软件架构进行建模前，需要做如下基本假设：

a)软件初始失效数为随机变量且未知；

b)软件组件各失效间隔时间为随机变量；

c)各软件组件之间的转移都是统计独立的；

d)软件组件失效发生存在相关关系，且组件失效关联是由组件间耦合造成；

e)同一组件的失效率与可靠度之和为常数1；

f)组件失效出现后，软件不会立即停止工作；

g)软件发生失效后，其可靠度为0，计算软件可靠度时该情况不予考虑；

h)软件发生失效后，其运行时间为正无穷，且计算该软件性能时该情况不予考虑。