[发明专利]一种用于并行程序通信覆盖的测试数据约减方法

权利要求书

1.一种基于占优关系的并行程序通信覆盖测试数据约减方法，其特征在于，该方法包括：

（1）基于占优关系，构建并行程序通信语句的占优关系图；

（2）将约减集中的通信语句进行组划分；

（3）依据通信语句组的执行顺序，对语句组进行排序；

（4）基于排序后的语句组，构建通信语句队列；

（5）基于通信语句的适应度函数，构建语句队列的适应度函数；

（6）通过遗传算法生成覆盖通信的测试数据。

2.权利要求1所述的基于通信语句的占优关系，构建占优关系图的方法，其特征在于如下步骤：

步骤2.1：根据进程号大小，依次遍历各个进程；

步骤2.2：构建占优关系图，将当前进程的入口顶点s作为占优顶点；

步骤2.3：遍历通信语句，若为空，则返回步骤2.1，否则，执行步骤2.4；

步骤2.4：判断当前通信语句是否被已有占优顶点所占优；若被占优，则将该通信语句作为其占优顶点的被占优顶点，返回步骤2.3；若未被占优，则构建新的占优关系图，并将该通信语句作为占优顶点，返回步骤2.3。

3.权利要求1所述的将约减集中的通信语句进行组划分方法，其特征在于如下步骤：

步骤3.1：遍历各个进程的占优关系图，首先，令num=0；

步骤3.2：读取进程num中占优关系图的占优顶点，设存在占优顶点，其对应的通信语句从属于同一分支结构，语句编号为ni、ni+1和ni+2，则可得语句组N={ nnum-i, nnum-i+1,nnum-i+2}；

步骤3.3：令num加1，返回步骤3.2。

4.权利要求1所述的依据通信语句组的执行顺序，对语句组进行排序的方法，其特征在于：通过执行被测程序，以确定各个语句组执行的先后顺序，并按该顺序为通信语句分配权值；该方法能够引导依次生成覆盖语句的测试数据。

5.权利要求1所述的基于排序后的语句组构建通信语句队列方法，，其特征在于如下步骤：

步骤5.1：根据Ns1中的语句个数，创建等量的通信语句队列，将Ns1中的语句分配到各个队列；

步骤5.2：判断下一语句组是否存在，若存在，转到步骤5.3，否则，结束队列划分；

步骤5.3：判断语句组中语句的数量是否多余当前的通信语句队列数，若不多于，则将语句依次划分到当前队列中，否则，创建相应数量的新队列，使得语句组中的语句能够分别划分到其中；转到步骤5.2。

6.权利要求1所述的构建语句队列适应度函数方法，其特征在于：基于步骤4的通信语句队列SQ，构建适应度函数，设语句的适应度权值r，即r=|SQ|-No+1；通信语句队列的适应度函数由各通信语句的适应度函数与权值乘积的和构成；根据通信语句队列SQ，划分通信得到通信队列CQ，通信队列的适应度函数即为通信语句队列的适应度函数。

7.权利要求1所述的基于遗传算法生成覆盖通信的测试数据方法，其特征在于：根据权利6中构建的队列适应度函数生成覆盖通信语句队列的测试数据，进而覆盖通信，达到测试数据约减的目的。