一种新的重构语义分析方法及其应用

摘要：

提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现Eclipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.

关键词：软件再工程、代码重构、可逆重构、保行为

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目90818027,61170071,61003020;江苏省自然科学基金项目BK2011190

在线出版日期：2013-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2372-2374