Making Program Refactoring Safer

Authors:
Gustavo Soares;Rohit Gheyi;Dalton Serey;Tiago Massoni
Affiliations:
Federal University of Campina Grande, Campina Grande;Federal University of Campina Grande, Brazil;Federal University of Campina Grande, Campina Grande;Federal University of Campina Grande, Campina Grande
Venue:
IEEE Software
Year:
2010

Citing 0
Cited 8

Safira: a tool for evaluating behavior preservation

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Refactoring development simplified: demonstration

Proceedings of the Fifth Workshop on Refactoring Tools
A theory of software product line refinement

Theoretical Computer Science
Automated behavioral testing of refactoring engines

Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Automated behavioral testing of refactoring engines

Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Comparing approaches to analyze refactoring activity on software repositories

Journal of Systems and Software
Refactoring MATLAB

CC'13 Proceedings of the 22nd international conference on Compiler Construction
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Developers rely on compilation, test suites, and tools to preserve observable behavior during refactoring. However, most refactoring tools don't implement all the preconditions that guarantee refactoring correctness because formally identifying them is cost-prohibitive. Therefore, these tools could perform nonbehavior-preserving transformations. The authors present a tool for improving safety during refactoring that automatically generates a test suite suited for detecting behavioral changes. They used this tool to evaluate seven real case study refactorings (from 3 to 100 KLOC).