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

说明书

本公开公开了一种并行程序顽固变异体的判定方法，其特征在于，包括：根据变异语句的执行状况，对变异语句的发送节点执行顺序进行等价类划分；确定影响变异体顽固性的因素；根据影响变异体顽固性的因素，结合等价类划分后的发送节点执行顺序对因素的影响，计算变异体的顽固性复合指标；设置阈值，与所述顽固性复合指标比较，完成顽固变异体的判定；本公开将并行程序的理念与变异测试原理相结合，根据发送节点执行顺序与影响变异体顽固性因素之间的联系，筛选出并行程序的顽固变异体，对顽固变异体着重测试，进而提高测试效率。

技术领域

本公开属于计算机软件测试技术领域，尤其涉及一种并行程序顽固变异体的判定方法及系统。

背景技术

本部分的陈述仅仅是提供了与本公开相关的背景技术信息，不必然构成在先技术。

软件测试是提高软件质量的重要途径；为了对软件进行测试，通常需要准备一定数量的测试数据，称为测试数据集；测试数据集的充分性是提高软件测试的可信度关键前提；评价某测试数据集的充分性，往往通过对被测软件实施变异测试来实现；实施变异测试的过程如下：首先，对原程序依据一定规则，某个语句进行符合语法的微小变动，得到的新程序称为变异体，所依据的规则叫做变异算子；然后，采用相同的输入，分别执行原程序和变异体，如果这两个程序的输出或者某中间状态不同，则称该输入杀死了变异体；除了用于评价测试数据集的充分性，变异测试还被用于测试数据生成、缺陷检测等；如何提高变异测试效率是近年来软件测试领域的热点问题；顽固变异体是影响变异测试效率的重要因素；顽固变异体的有效判定和杀死顽固变异体测试数据的快速生成是提高变异测试效率的关键途径之一。

并行程序,是指含有两个或者以上并行执行流程的程序；分布存储并行程序指每个流程拥有各自独立的存储器，程序执行过程中，流程之间的交互主要以消息传递的方式实现；通过多流程并行执行和相互通信，并行程序能够实现较高的求解速度和精度，已经广泛应用于科学研究和生产生活中，如天气预报、邮件过滤以及病毒分析等；具体地讲，除了具有一般串行程序的特点以外，并行、通信和不确定性是分布存储并行程序的主要特征，也给分布存储并行程序的变异测试带来了挑战；为了改进变异测试效率，研究该类程序的顽固变异测试理论和方法是十分有意义的，目前还不存在分布存储并行程序顽固变异体判定的方法，严重影响了变异测试在分布存储并行程序的应用。

发明内容

本公开为了解决上述问题，提出了一种并行程序顽固变异体的判定方法及系统；本公开将并行程序的理念与变异测试原理相结合，根据发送节点执行顺序与影响变异体顽固性因素之间的联系，筛选出并行程序的顽固变异体，可通过对顽固变异体着重测试，进而提高测试效率。

第一方面，本公开提供了一种并行程序顽固变异体的判定方法，包括：

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

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

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

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

进一步的，根据变异语句中的变量确定变异语句的执行状况；

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

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

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