利用等价变异体进行源代码优化
软件工程
2018-07-04 v2
摘要
变异体是通过语法上修改程序源代码而获得的程序；等价变异体是在功能上与原始程序等价的变异体。变异体主要用于变异测试，并且在派生测试套件时，获得等价变异体被认为是高度负面的，尽管这些等价变异体可以用于其他目的。我们提出了一种将等价变异体视为有价值的，并利用其进行源代码优化的方法。源代码优化在保持程序行为的同时增强程序的源代码。我们展示了基于等价变异体实现源代码优化的过程，并讨论了合适的变异算子。使用 Java 和 C 程序进行的实验评估证明了所提方法的适用性。本文提出了一种利用等价变异体进行源代码优化的算法方法。结果表明，只要适用，该方法可以胜过传统的编译器优化。
引用
@article{arxiv.1803.09571,
title = {Source Code Optimization using Equivalent Mutants},
author = {Jorge López and Natalia Kushik and Nina Yevtushenko},
journal= {arXiv preprint arXiv:1803.09571},
year = {2018}
}
备注
Short communication in Elsevier's Information and Software Technology, DOI: 10.1016/j.infsof.2018.06.013