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

说明书

技术领域

本发明涉及一种软件可靠性分析方法。

背景技术

为了满足基于构件的软件开发特征，人们提出基于体系结构的模型来分析构件软件可靠性。基于体系结构的模型分为三类：基于状态的模型，基于路径的模型和可加模型。基于状态的模型和基于路径的模型提出较早，它们采用白盒方法来分析构件软件可靠性，得到的可靠性估计是一个单一的估计值，无法描述构件软件测试中随着故障不断排除软件可靠性动态增长过程。为了解决这个问题，人们提出可加模型。可加模型针对构件软件的测试和运行阶段进行可靠性分析，建立了构件软件的NHPP模型。可加模型改变了传统的基于体系结构方法估计结果的“定常”特性，是构件软件可靠性分析领域取得的突破性成就。

但是目前可加模型还没有得到深入的研究，所提出的可加模型并不完善，存在一些问题需要解决。首先，可加模型没有采用白盒方法分析构件软件应用的体系结构，没有考虑应用执行过程中构件的使用情况。本发明针对可加模型存在的问题对其进行改进。通过对可加模型的改进，使可加模型能够实现黑盒方法和白盒方法的结合，满足构件软件可靠性估计和预测的实际需要。

发明内容

在建立基于体系结构模型的统一框架时，可加模型存在的问题是可加模型没有考虑构件软件应用的体系结构以及执行特征。可加模型没有采用白盒分析方法对应用体系结构模型求解，实现对应用执行过程中构件的使用情况建模。因此本发明提出了一种基于改进的可加模型的构件软件可靠性分析方法，采用基于状态的白盒分析方法来解决可加模型存在的这个问题，实现对可加模型的初步改进。

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

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

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

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

m(t)=Σi=1nmi(ti)=Σi=1nmi(πit)]]>公式一

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