Concurrency Bug-Oriented Mutation Operators Design for Java

Xiaoxue Wu, Wei Zheng, Zhao Shi, Zehai Wang, Lixin Cao, Dejun Mu
{"title":"Concurrency Bug-Oriented Mutation Operators Design for Java","authors":"Xiaoxue Wu, Wei Zheng, Zhao Shi, Zehai Wang, Lixin Cao, Dejun Mu","doi":"10.1109/PIC.2018.8706335","DOIUrl":null,"url":null,"abstract":"Multi-threads and concurrent processing has been backbone of software system in the era of big data and cloud computing. However, concurrent processing of software brings not only high computing efficiency but also intricate bug types. Concurrency bug is one of the most notorious. With the purpose of improving concurrent system quality with mutation testing, this paper presents a set of concurrency mutation operators for the latest java version as mutation operator is the basis of mutation testing. We firstly carefully study the concurrency characteristic of java language and its programs, and extract the key factors of concurrent processing. After that, we analyze the existing mutation operators and design new ones according to the extracted concurrency factors of java 8. Finally, we optimize the initially designed 28 mutation operators to 26 through experimental evaluation.","PeriodicalId":236106,"journal":{"name":"2018 IEEE International Conference on Progress in Informatics and Computing (PIC)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE International Conference on Progress in Informatics and Computing (PIC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PIC.2018.8706335","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Multi-threads and concurrent processing has been backbone of software system in the era of big data and cloud computing. However, concurrent processing of software brings not only high computing efficiency but also intricate bug types. Concurrency bug is one of the most notorious. With the purpose of improving concurrent system quality with mutation testing, this paper presents a set of concurrency mutation operators for the latest java version as mutation operator is the basis of mutation testing. We firstly carefully study the concurrency characteristic of java language and its programs, and extract the key factors of concurrent processing. After that, we analyze the existing mutation operators and design new ones according to the extracted concurrency factors of java 8. Finally, we optimize the initially designed 28 mutation operators to 26 through experimental evaluation.
面向并发错误的Java变异操作符设计
多线程和并发处理已经成为大数据和云计算时代软件系统的支柱。然而,软件的并发处理不仅带来了很高的计算效率,也带来了复杂的bug类型。并发bug是最臭名昭著的bug之一。为了通过突变测试提高并发系统的质量,本文提出了一套适用于最新java版本的并发突变操作符,因为突变操作符是进行突变测试的基础。本文首先认真研究了java语言及其程序的并发特性,提取了并发处理的关键因素。在此基础上,对现有的变异算子进行分析,并根据提取的java 8并发因子设计新的变异算子。最后,通过实验评估,将最初设计的28个突变算子优化为26个。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信