主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
巩敦卫,陈永伟,田甜.消息传递并行程序的弱变异测试及其转化.软件学报,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)
作者单位E-mail
巩敦卫 中国矿业大学 信息与电气工程学院, 江苏 徐州 221116 dwgong@vip.163.com 
陈永伟 中国矿业大学 信息与电气工程学院, 江苏 徐州 221116  
田甜 山东建筑大学 计算机科学与技术学院, 山东 济南 250101  
摘要点击次数: 1654
全文下载次数: 1853
中文摘要:
      并行程序执行的不确定性,增加了测试的复杂性和难度.研究消息传递并行程序的变异测试,提出其弱变异测试转化方法,以提高该程序变异测试的效率.首先,根据消息传递并行程序包含语句的类型和语句变异之后导致的变化构建相应的变异条件语句;然后,将构建好的所有变异条件语句插入到原程序中,形成新的被测程序,从而将原程序的弱变异测试问题转化为新程序的分支覆盖问题.这样做的好处是,能够利用已有的分支覆盖方法解决变异测试问题.将该方法应用于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阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利