Source code optimization using equivalent mutants - Archive ouverte HAL
Article Dans Une Revue Information and Software Technology Année : 2018

Source code optimization using equivalent mutants

Résumé

Context: A mutant is a program obtained by syntactically modifying a program's source code; an equivalent mutant is a mutant, which is functionally equivalent to the original program. Mutants are primarily used in mutation testing, and when deriving a test suite, obtaining an equivalent mutant is considered to be highly negative, although these equivalent mutants could be used for other purposes. Objective: We present an approach that considers equivalent mutants valuable, and utilizes them for source code optimization. Source code optimization enhances a program's source code preserving its behavior. Method: We showcase a procedure to achieve source code optimization based on equivalent mutants and discuss proper mutation operators. Results: Experimental evaluation with Java and C programs demonstrates the applicability of the proposed approach. Conclusion: An algorithmic approach for source code optimization using equivalent mutants is proposed. It is showcased that whenever applicable, the approach can outperform traditional compiler optimizations

Dates et versions

hal-01990590 , version 1 (23-01-2019)

Identifiants

Citer

Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko. Source code optimization using equivalent mutants. Information and Software Technology, 2018, 103, pp.138 - 141. ⟨10.1016/j.infsof.2018.06.013⟩. ⟨hal-01990590⟩
42 Consultations
0 Téléchargements

Altmetric

Partager

More