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

摘要

基于PCSTM模型考虑测试与运行剖面不同测的试数据转换构件软件可靠性分析方法，它涉及软件可靠性分析方法。它为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息，没有考虑软件的体系结构的缺点。测试数据转换的方法来实现黑盒方法和白盒方法的结合。首先采用白盒方法实现构件软件测试剖面到运行剖面的映射，建立NHPP模型需要的可靠性数据集，然后采用黑盒方法建立构件软件应用的NHPP模型。测试数据转换的目的是将分阶段实现的、异构的构件软件灰盒测试过程转换成满足NHPP模型假设的单调统一的黑盒测试过程，把所有构件的单元测试数据和集成测试中构件之间的接口失效数据转换成整个应用基础上的黑盒测试数据，建立满足NHPP模型假设的可靠性数据集。

主权项

1.基于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上发生失效的数据的有序集，表示为公式五式中——Test_i执行过程中在构件c_j的输入子域S_jk上发生失效的数据，满足——失效发生的时间；——时刻发生失效的个数；白盒测试模型建模Test_i；定义为四元组其中建模Test_i的测试剖面；表示Test_i中所有构件输入剖面组成的集合，表示Test_i中所有构件输出剖面组成的集合，表示Test_i执行总时间的期望值；构件输入剖面建模构件c_j在Test_i中的输入剖面；在构件c_j整个输入域D_j上具有概率密度定义为一个概率向量，其中表示子域S_jk的权值，k＝1，…，n_j；构件输出剖面建模构件c_j在Test_i中的输出剖面；定义为一个概率向量，其中表示子域U_jk的权值，k＝1，…，m_j，如公式六所示；由通过剖面转换映射建立；公式六式中f——构件c_j执行的运算函数；构件子域依赖图建模Test_i的测试剖面；定义为五元组其中表示Test_i的节点集，表示Test_i的有向边集，表示Test_i子系统的起始执行构件的输入剖面集，由测试执行者确定；s表示起始节点；t表示终止节点；有向边建模Test_i中从构件c_j的输入子域S_jh到构件c_k的输入子域S_kl的控制流转移；定义为三元组其中表示转移的名字；表示Test_i中从S_jh转移到S_kl时构件c_j的平均执行时间；表示Test_i中构件c_j当前执行在输入子域S_jh的情况下，输出落在构件c_k的子域S_kl上的条件概率，表示为公式七式中f——构件c_j执行的运算函数； 节点建模Test_i中在构件c_j的输入子域S_jk上的测试过程；定义为三元组其中表示节点的名字；表示在Test_i当前子系统中在构件c_j的输入子域S_jk上的稳态概率，如公式八所示；表示Test_i中在构件c_j的输入子域S_jk上的执行时间占整个子系统执行时间的比例，如公式九所示；公式八式中——表示Test_i当前系统中构件c_j执行的稳态概率；公式九基于PCSTM的测试数据转换包括如下四个步骤：步骤1：实现构件测试剖面到运行剖面的映射；根据集成测试中起始构件的输入剖面和集成子系统的测试剖面，计算系统中每个构件的运行剖面；计算过程如下：设c_j为参与集成测试Test_i的一个构件，且c_j不是起始执行构件；来计算c_j的输入剖面c_j的直接在前执行构件为输出域与构件c_j的输入域具有交集的构件；c_j的输入剖面由它的直接在前执行构件的输出剖面决定；设c_l为参与Test_i的一个构件，且l≠j；c_l的输出域与c_j的输入子域S_jk的交集为当c_l为c_j的直接在前执行构件时，否则因此S_jk与Test_i中构件c_j的直接在前执行构件的输出域交集大小为由于S_jk上构件的操作剖面满足均匀分布，假设构件c_j的直接在前执行构件的输出剖面已知，那么由此得到子域S_jk的权值为公式十接下来，证明以上假设成立，证明分以下两种情况讨论：第一种情况，如果c_j的直接在前执行构件是Test_i的起始执行构件，那么它们的输入剖面由用户确定，假设成立；第二种情况，如果c_j的直接在前执行构件不是Test_i的起始执行构件，说明除起始执行构件之外c_j还有其他的在前执行构件；已知起始执行构件的输入剖面，根据公式九逐一得到c_j所有在前执行构件的输入剖面，因此假设成立；根据公式六和公式七，得到表示为公式十一将上式带入公式十得公式十二步骤2：将白盒测试数据转化为单元测试数据；根据公式四在任意测试子域S_jk(1≤j≤n；1≤k≤n_j)上的所有测试数据为设转化后的数据集为其中公式十三公式十四上式中h＝1，…，m；步骤3：将步骤2得到的单元测试数据转化成系统测试数据；设转化后的数据集为其中公式十五公式十六步骤4：建立可靠性数据集；基于步骤3中建立的系统测试数据集，在时间区间(0，t_h)(h＝1，2，…，n；0＜t₁＜t₂＜…＜t_n)内被发现的差错总数Y_h表示为公式十七 。