一种新的重构语义分析方法及其应用
Journal of Chinese Computer Systems(2012)
摘要
提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.
更多查看译文
关键词
software reengineering,inverse refactoring,code refactoring,behavior preserving
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络