巩敦卫,陈永伟,田甜.消息传递并行程序的弱变异测试及其转化.软件学报,2016,27(8):2008-2024 |
消息传递并行程序的弱变异测试及其转化 |
Weak Mutation Testing and Its Transformation for Message Passing Parallel Programs |
投稿时间:2014-12-26 修订日期:2015-04-09 |
DOI:10.13328/j.cnki.jos.004844 |
中文关键词: 消息传递 并行程序 变异测试 弱变异测试 转化 变异条件语句 |
英文关键词:message passing parallel program mutation testing weak mutation testing transformation mutation condition statement |
基金项目:国家自然科学基金(61375067);国家重点基础研究发展计划(973)(2014CB046306-2);江苏省自然科学基金(BK2012566) |
|
摘要点击次数: 2126 |
全文下载次数: 2819 |
中文摘要: |
并行程序执行的不确定性,增加了测试的复杂性和难度.研究消息传递并行程序的变异测试,提出其弱变异测试转化方法,以提高该程序变异测试的效率.首先,根据消息传递并行程序包含语句的类型和语句变异之后导致的变化构建相应的变异条件语句;然后,将构建好的所有变异条件语句插入到原程序中,形成新的被测程序,从而将原程序的弱变异测试问题转化为新程序的分支覆盖问题.这样做的好处是,能够利用已有的分支覆盖方法解决变异测试问题.将该方法应用于8个典型的消息传递并行程序测试中,实验结果表明,该方法不但是可行的,也是必要的. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |