Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Acta Electronica Sinica》 2017-08
Add to Favorite Get Latest Update

A Method for Finding Redundant Mutants in Mutation Testing

QIAN Gen-nan;WANG Ya-wen;GONG Yun-zhan;MENG Fan-rong;State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications;Guangxi Cooperative Innovation Center of Cloud Computing and Big Data,Guilin University of Electronic Technology;Guangxi Colleges and Universities Key Laboratory of Cloud Computing and Complex Systems,Guilin University of Electronic Technology;Changchun Automobile Industry Institute;  
Mutation testing is an effective fault-based testing method. However,the application of mutation testing in engineering development has been restricted by the high testing costs caused by a large number of redundant mutants. Regarding the mutants arising from the sequential statements in a program,an algorithm based on propagation-infection-execution( PIE) model was proposed,which employs the interval abstract domain to represent program state and the interval algorithm to evaluate the redundancy relation between the mutants. Meanwhile,regarding the conditional statements in a program,the redundant mutant selection algorithms based on the predicate fault hierarchy are also presented. The algorithms are designed for simple predicate and compound predicate respectively. By analyzing the effects of these algorithms,the constrained boundary condition for the development of non-redundant mutants under the condition of stratified sampling is concluded. Siemens Test Suite and other three open source projects are used to conduct experiments to compare the proposed method with random selection method. Experimental results showthat the proposed method can reduce the mutant testing time cost while maintaining a high mutation score.
【Key Words】: mutation testing mutation operators redundant mutants mutation cost mutant reduction
【Fund】: 国家自然科学基金(No.91318301 No.61202080);; 广西云计算与大数据协同创新中心、广西高校云计算与复杂系统重点实验室资助(No.YD16508)
【CateGory Index】: TP311.53
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved