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

作     者：巩敦卫 陈永伟 田甜 GONG Dun-Wei;CHEN Yong-Wei;TIAN Tian

作者机构：中国矿业大学信息与电气工程学院江苏徐州221116 山东建筑大学计算机科学与技术学院山东济南250101 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2016年第27卷第8期

页      面：2008-2024页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金(61375067) 国家重点基础研究发展计划(973)(2014CB046306-2) 江苏省自然科学基金(BK201 2566)~~ 

主　　题：消息传递 并行程序 变异测试 弱变异测试 转化 变异条件语句 

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