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

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