[发明专利]基于PCSTM模型考虑测试与运行剖面不同测的试数据转换构件软件可靠性分析方法

说明书

技术领域

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

背景技术

鉴于NHPP类软件可靠性增长模型在实际应用中的优秀表现，近年来人们开始研究如何建立构件软件应用的NHPP模型。但是，NHPP模型是一种黑盒模型，它们把软件看成一个单调的整体，只考虑软件同外部环境的交互，而不考虑软件的内部结构，因此这种黑盒模型不能适应大型的基于构件的新型软件开发模式。黑盒方法的缺点包括它们忽略了组成系统的构件的测试以及可靠性信息，没有考虑软件的体系结构。

发明内容

本发明为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息，没有考虑软件的体系结构的缺点，而提出了一种基于PCSTM模型考虑测试与运行剖面不同测的试数据转换构件软件可靠性分析方法。

基于PCSTM模型考虑测试与运行剖面不同测的试数据转换构件软件可靠性分析方法，对需要用到的模型和参数进行定义：

PCSTM模型：

PCSTM定义为六元组<n，m，PUT，PWT，PTD，Φ>，其中n表示构件总数；m表示白盒测试中集成构件的总次数；PUT表示单元测试模型集，PUT＝{UM_i}，i＝1，…，n，其中UM_i表示构件c_i的单元测试模型；PWT表示白盒测试模型集，i＝1，…，m，其中表示Test_i的白盒测试模型；PTD表示整个测试过程中收集到的测试数据；Φ表示某一构件是否参与某一阶段测试的所有标志集，用矩阵表示为

公式一

式中Test_i——构件软件测试过程中第i个测试阶段，如公式二所示；

——指示构件c_j是否参与Test_i，如公式三所示；

公式二

公式三

单元测试模型UM_j：

UM_j建模构件c_j的单元测试过程；UM_j定义为五元组<D_j，n_j，O_j，m_j，B_j>，其中D_j表示构件c_j的输入域；n_j表示输入子域数目；O_j表示构件c_j的输出域；m_j表示输出子域数目；B_j表示在c_j每个输入子域上进行测试的总时间的集合，k＝1，…，n_j，其中表示在子域S_jk上执行随机测试的总时间的期望值；

输入域D_j：

D_j可划分为n_j个不相交的子域，其中S_jk表示构件c_j的第k个输入子域；设P_jk为子域S_jk的剖面，P_jk在S_jk上满足均匀分布，P_jk＝1/|S_jk|；

输出域O_j：

O_j可划分为m_j个不相交的子域，其中U_jk表示构件c_j的第k个输出子域；一个构件的输出域为它下一个构件的输入域；

测试数据集PTD：

PTD表示整个测试过程中收集到的测试数据，用矩阵表示为

公式四

式中——Test_i执行过程中在构件c_j的输入子域S_jk上发生失效的数据的有序集，表示为

公式五