消息传递并行程序的弱变异测试及其转化

来源：软件学报杂志2016年第8期北京时间：

作者：巩敦卫,陈永伟,田甜

单位：巩敦卫，中国矿业大学 信息与电气工程学院, 江苏 徐州 22111611,陈永伟，中国矿业大学 信息与电气工程学院, 江苏 徐州 22111602,田甜，山东建筑大学 计算机科学与技术学院, 山东 济南 25010103

摘要：并行程序执行的不确定性，增加了测试的复杂性和难度.研究消息传递并行程序的变异测试，提出其弱变异测试转化方法，以提高该程序变异测试的效率.首先，根据消息传递并行程序包含语句的类型和语句变异之后导致的变化构建相应的变异条件语句；然后，将构建好的所有变异条件语句插入到原程序中，形成新的被测程序，从而将原程序的弱变异测试问题转化为新程序的分支覆盖问题.这样做的好处是，能够利用已有的分支覆盖方法解决变异测试问题.将该方法应用于8个典型的消息传递并行程序测试中，实验结果表明，该方法不但是可行的，也是必要的.

关键词：消息传递;并行程序;变异测试;弱变异测试;转化;变异条件语句

基金资助：国家自然科学基金（61375067）；国家重点基础研究发展计划（973）（2014CB046306-2）；江苏省自然科学基金（BK2012566）