[发明专利]一种并发程序噪声注入方法

权利要求书

1.一种并发程序噪声注入方法，其特征在于包括以下几个步骤：

步骤一：针对一个待测的并发程序P，假设程序P中有m个共享变量，执行测试用例集运行待测程序P，统计程序P运行过程中各个共享变量被访问的次数，根据各共享变量被访问的次数由高到低对共享变量进行排序：v₁，v₂，...，v_m，其中v₁为被访问次数最多的共享变量，v_m为被访问次数最少的共享变量，i为1到m之间的任意一个整数值，v_i表示程序P运行过程中各共享变量根据被访问次数由高到低排序后排名第i的共享变量；

步骤二：访问共享变量的每个程序位置称作一个事件，假设被测程序P中与共享变量v_i(1＝i＝m)相关的事件有n个：l_i1，l_i2，...，l_ij，...，l_in，其中l_i1为与共享变量v_i相关的第1个事件，l_ij为与共享变量v_i相关的第j个事件，l_in为与共享变量v_i相关的第n个事件，j为1到n之间的任意一个整数值，令i＝1，令j＝1；

步骤三：针对被测程序P中与共享变量v_i(1＝i＝m)相关的n个事件l_i1，l_i2，...，l_ij，...，l_in，每一个事件都计算该事件注入噪声的概率：

(1)针对每一个事件l_ij(1＝j＝n)，确定考查因子k,k值的选取方法为：当1＝n＝3时，令k＝1；当3n＝10时，令k＝2；当10n＝30时，令k＝3；当30n＝100时，令k＝4；当n100时，令k＝5；生成一个0-1000之间的随机数r，在事件l_ij和随机选取其他k-1个事件后插入噪声语句Thread.sleep(r)，执行测试用例集重复运行程序w次，一般情况下令w＝100，统计程序在运行过程中出现新的线程交织的次数c，进而得出事件l_ij增加并发交织的概率p_ij＝c/w；

(2)根据事件l_ij增加并发交织的概率p_ij，确定在事件l_ij处插入噪声的概率f_ij：当p_ij＝0.2时，令f_ij＝1；当0.15＝p_ij0.2时，令f_ij＝0.9；当0.1＝p_ij0.15时，令f_ij＝0.7；当0.05＝p_ij0.1时，令f_ij＝0.5；当0p_ij0.1时，令f_ij＝0.3；当p_ij＝0时，令f_ij＝0；

步骤四：根据上述步骤三得到的噪声注入结果，在与共享变量v_i相关的n个事件l_i1，l_i2，...，l_ij，...，l_in上分别以f_i1，f_i2，...，f_ij，...，f_in的概率插入噪声：生成一个0-100之间的随机数r1，生成一个0-1000之间的随机数r2，如果r1＝f_ij*100，在事件l_ij后插入噪声语句Thread.sleep(r2)；

步骤五：针对每一个共享变量v_i，执行测试用例集，若即有新的并发交织出现，且im，令i＝i+1，重复上述步骤三、步骤四；否则结束整个步骤，完成本方法。

2.根据权利要求书1所述的一种并发程序噪声注入方法，其特征在于：该方法应用于并发程序测试中并发交织覆盖难问题，能够有效地增加并发程序运行过程中出现并发交织数量，提高并发程序测试效率。