[发明专利]一种并行程序顽固变异体的判定方法及系统

权利要求书

1.一种并行程序顽固变异体的判定方法，其特征在于，包括：

根据变异语句的执行状况，对变异语句的发送节点执行顺序进行等价类划分；

确定影响变异体顽固性的因素；

根据影响变异体顽固性的因素，结合等价类划分后的发送节点执行顺序对因素的影响，计算变异体的顽固性复合指标；

设置阈值，与所述顽固性复合指标比较，完成顽固变异体的判定；

所述计算变异体的顽固性复合指标包括基于单个路径计算变异体的顽固性复合指标和基于多个路径计算变异体的顽固性复合指标；

所述基于单个路径计算变异体的顽固性复合指标包括：

变异语句相关变量集合中的元素不受发送语句执行顺序影响时，发送语句执行顺序对于变异语句的可达概率、变异算子的属性、变异语句与流程的相关性和变异语句与输入变量的相关性均没有影响；变异语句的可达性作为影响变异体顽固性的首要条件，可达概率为1时，则顽固性复合指标取决变异算子的属性、变异语句与流程的相关性和变异语句与输入变量的相关性；

变异语句相关变量集合中的元素受发送语句执行顺序影响时，发送节点执行顺序不影响变异语句的执行，在任何程序输入下，执行任何一条可执行路径，均无法到达变异语句，可达概率、变异算子的属性、变异语句与流程的相关性和变异语句与输入变量的相关性均为0，顽固性复合指标的计算，根据变异语句相关变量集合中的元素不受发送语句执行顺序影响时顽固性复合指标的计算进行；

所述基于多个路径计算变异体的顽固性复合指标包括：从程序的开始语句到变异语句的路径有多条，计算所有路径的顽固性复合指标；通过所有路径的顽固性复合指标对路径的覆盖难度进行排名，选择所有路径的顽固性复合指标中的最小值作为计算变异体的顽固性复合指标。

2.如权利要求1所述的一种并行程序顽固变异体的判定方法，其特征在于，根据变异语句中的变量确定变异语句的执行状况；

结合通信依赖对变异语句相关变量集合中变量的影响，对变异语句发送节点执行顺序进行等价类划分；根据发送节点执行顺序是否影响变异语句的执行，将发送节点执行顺序划分为影响变异语句执行的发送节点执行顺序集合和不影响变异语句执行的发送节点执行顺序集合；

根据任意程序输入下，变异语句执行状况不同，对影响变异语句执行的发送节点执行顺序集合进行分类；

所述变异语句相关变量集合，是指变异语句中的所有变量以及数据依赖的变量；所述通信依赖，是指由流程之间的通信导致变量之间的依赖关系。

3.如权利要求2所述的一种并行程序顽固变异体的判定方法，其特征在于，

将变异语句的可达概率、变异算子的属性、变异语句与流程的相关性和变异语句与输入变量的相关性作为确定影响变异体顽固性的因素；

所述可达概率是指反映变异语句的可达性；所述变异算子的属性是指变异算子对变异语句执行状态的影响；所述变异语句与流程的相关性反映变异语句相关的流程数。

4.如权利要求3所述的一种并行程序顽固变异体的判定方法，其特征在于，所述顽固性复合指标的值越大，变异体测试数据生成越难；预先设定一个阈值，所述顽固性复合指标的值大于设定的阈值，则认为变异体是顽固的。