Novel Refactoring Semantic Analysis Model and its Application

LU Hong-min,GUO Jing,CHEN Lin,XU Lei,XU Bao-wen

DOI: https://doi.org/10.3969/j.issn.1000-1220.2012.11.010

2012-01-01

Abstract:This paper presented a novel refactoring semantic analysis model with post-conditions.Based on this model,we propose a method to detect behavior violations with these tools themselves.We note that many refactorings are coupled and invertible.If we apply a pair of such invertible refactorings,the resulting program should remain the same as the original program.Therefore,some behavior violations of a refactoring can be detected by applying its inverse refactoring with the buggy tools.