###
Journal of Software:2016.27(8):2008-2024

消息传递并行程序的弱变异测试及其转化
巩敦卫,陈永伟,田甜
(中国矿业大学 信息与电气工程学院, 江苏 徐州 221116;山东建筑大学 计算机科学与技术学院, 山东 济南 250101)
Weak Mutation Testing and Its Transformation for Message Passing Parallel Programs
GONG Dun-Wei,CHEN Yong-Wei,TIAN Tian
(School of Information and Electrical Engineering, China University of Mining and Technology, Xuzhou 221116, China;School of Computer Science and Technology, Shandong Jianzhu University, Ji'nan 250101, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 1474   Download 1578
Received:December 26, 2014    Revised:April 09, 2015
> 中文摘要: 并行程序执行的不确定性,增加了测试的复杂性和难度.研究消息传递并行程序的变异测试,提出其弱变异测试转化方法,以提高该程序变异测试的效率.首先,根据消息传递并行程序包含语句的类型和语句变异之后导致的变化构建相应的变异条件语句;然后,将构建好的所有变异条件语句插入到原程序中,形成新的被测程序,从而将原程序的弱变异测试问题转化为新程序的分支覆盖问题.这样做的好处是,能够利用已有的分支覆盖方法解决变异测试问题.将该方法应用于8个典型的消息传递并行程序测试中,实验结果表明,该方法不但是可行的,也是必要的.
Abstract:A parallel program can yield nondeterministic execution, which increases the complexity and the difficulty in program testing. The mutation testing of a message passing parallel program is investigated, and an approach to transforming the weak mutation testing for the program is presented in this study with the purpose of improving the efficiency of the mutation testing. First, the mutation condition statements are built based on the type of statements and the changes resulted from mutating these statements. Then, a new program is formed by inserting all these mutation condition statements into the original program. As a result, the problem of the weak mutation testing of the original program can be transformed into that of covering the branches of the new program, therefore providing advantages of solving the problem of mutation testing by using previous methods of branch coverage. The proposed approach is applied to test eight benchmark message passing parallel programs, and the empirical results demonstrate that this new approach is not only feasible but also necessary.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61375067);国家重点基础研究发展计划(973)(2014CB046306-2);江苏省自然科学基金(BK2012566) 国家自然科学基金(61375067);国家重点基础研究发展计划(973)(2014CB046306-2);江苏省自然科学基金(BK2012566)
Foundation items:National Natural Science Foundation of China (61375067); National Program on Key Basic Research Project of China (973) (2014CB046306-2); Natural Science Foundation of Jiangsu Province of China (BK2012566)
Reference text:

巩敦卫,陈永伟,田甜.消息传递并行程序的弱变异测试及其转化.软件学报,2016,27(8):2008-2024

GONG Dun-Wei,CHEN Yong-Wei,TIAN Tian.Weak Mutation Testing and Its Transformation for Message Passing Parallel Programs.Journal of Software,2016,27(8):2008-2024