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

摘要：

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

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

作者: 卢红敏 郭晶 陈林 许蕾 徐宝文

作者单位: 东南大学计算机科学与工程学院,南京210096 南京大学软件新技术国家重点实验室,南京210093 河海大学图书馆,南京210098 南京大学软件新技术国家重点实验室,南京210093

会议类型: 国内会议

会议名称: 2012中国计算机大会

会议地点: 大连

会议语种:中文

页码: 1-1

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