[发明专利]基于改进的可加模型的构件软件可靠性分析方法

权利要求书

1.基于改进的可加模型的构件软件可靠性分析方法，其特征在于它是对经过单元测试后的构件进行如下步骤：

定义π_i建模集成测试中构件的使用情况，π_i表示在构件软件系统稳定状态下构件c_i的执行时间比例；

当构件软件系统执行时间为t时，构件c_i累计执行时间表示为t_i＝π_it；

因此，则到时间t为止，构件软件系统发生失效的数目为：

公式一

在时间t构件软件系统的失效速率为：

公式二。

2.根据权利要求1所述的基于改进的可加模型的构件软件可靠性分析方法，其特征在于在构件软件系统稳定状态下构件c_i的执行时间比例π_i依赖于构件软件应用的运行剖面，所述的构件软件应用的体系结构建模为不可约的DTMC和吸收的DTMC，前者表示持续运行的构件软件应用，后者表示终止的构件软件应用；根据构件软件应用的类型不同对π_i进行求解，获得执行时间比例π_i。

3.根据权利要求2所述的基于改进的可加模型的构件软件可靠性分析方法，其特征在于对于持续运行的构件软件应用，体系结构建模为不可约的DTMC；

不可约的DTMC具有唯一的稳态概率向量η＝[η₁，η₂，…，η_n]，通过求解如下线性方程得到：

公式三

因此，对于持续运行的构件软件应用，π_i表示为：

公式四 

其中，p_ij——构件之间的转移概率；

      τ_ij——构件c_i执行完成后控制转移到构件c_j时构件c_i执行时间的期望值。

4.根据权利要求2所述的基于改进的可加模型的构件软件可靠性分析方法，其特征在于对于终止的构件软件应用，体系结构建模为吸收的DTMC，一种方法求解π_i表示为：

公式五

其中，V_i——构件软件应用每次执行过程中访问构件i次数的期望值，通过分析建模应用体系结构的吸收的DTMC来得到。

5.根据权利要求2所述的基于改进的可加模型的构件软件可靠性分析方法，其特征在于对于终止的构件软件应用，体系结构建模为吸收的DTMC，另一种求解π_i的方法是基于稳态概率的定义；

修改吸收DTMC的转移概率矩阵P为P′，增加从状态n到状态1的转移p_n1＝1；

将P′带入公式三即可求解出终止的构件软件应用的稳态概率值：

则π_i通过公式四得到π_i表示为：

公式四 。