Approximate Transformations as Mutation Operators

作者: Farah Hariri , August Shi , Owolabi Legunsen , Milos Gligoric , Sarfraz Khurshid

DOI: 10.1109/ICST.2018.00036

关键词: Code (cryptography)AlgebraValue (computer science)Approximate computingMutation operatorComputer scienceSet (abstract data type)Semantics (computer science)Mutation testingProgram behavior

摘要: Mutation testing is a well-established approach for evaluating test-suite quality by modifying code using syntax-changing (and potentially semantics-changing) transformations, called mutation operators. This paper proposes approximate transformations as new operators that can give novel insights about the and tests. Approximate are semantics-changing used in emerging area of computing, but so far they were not evaluated testing. We found be effective compared three with set conventional from literature, on nine open-source Java subjects. The results showed change program behavior differently Our analysis uncovered patterns which mutants survivedand practical value both understanding amenable to approximations discovering bad submitted 11 pull requests fix Seven have already been integrated developers.

参考文章(67)
Jeff Offutt, Paul Ammann, Introduction to Software Testing ,(2016)
Saša Misailovíc, Exploring the effectiveness of loop perforation for quality of service profiling Massachusetts Institute of Technology. ,(2010)
Rafael A.P. Oliveira, Emil Alegroth, Zebao Gao, Atif Memon, Definition and evaluation of mutation operators for GUI-level mutation analysis international conference on software testing verification and validation workshops. pp. 1- 10 ,(2015) , 10.1109/ICSTW.2015.7107457
Matthew Patrick, Manuel Oriol, John A. Clark, MESSI: Mutant Evaluation by Static Semantic Interpretation international conference on software testing verification and validation. pp. 711- 719 ,(2012) , 10.1109/ICST.2012.161
Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam, Selective mutation testing for concurrent code international symposium on software testing and analysis. pp. 224- 234 ,(2013) , 10.1145/2483760.2483773
Yu-Seung Ma, Jeff Offutt, Yong-Rae Kwon, MuJava Proceeding of the 28th international conference on Software engineering - ICSE '06. pp. 827- 830 ,(2006) , 10.1145/1134285.1134425
Paul Ammann, Marcio Eduardo Delamaro, Jeff Offutt, Establishing Theoretical Minimal Sets of Mutants international conference on software testing verification and validation. pp. 21- 30 ,(2014) , 10.1109/ICST.2014.13
Ahyoung Sung, Byoungju Choi, W. Eric Wong, Vidroha Debroy, Mutant generation for embedded systems using kernel-based software and hardware fault simulation Information & Software Technology. ,vol. 53, pp. 1153- 1164 ,(2011) , 10.1016/J.INFSOF.2011.03.010
J. H. Andrews, L. C. Briand, Y. Labiche, Is mutation an appropriate tool for testing experiments international conference on software engineering. pp. 402- 411 ,(2005) , 10.1145/1062455.1062530
René Just, The major mutation framework: efficient and scalable mutation analysis for Java Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014. pp. 433- 436 ,(2014) , 10.1145/2610384.2628053