摘要
提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.
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.
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第11期2372-2374,共3页
Journal of Chinese Computer Systems
基金
国家自然科学基金项目(90818027,61170071,61003020)资助
江苏省自然科学基金项目(BK2011190)资助
关键词
软件再工程
代码重构
可逆重构
保行为
software reengineering
code refactoring
inverse refactoring
behavior preserving
作者简介
E-mail ： hmlu@ seu. edu. cn卢红敏，女，1975年生，博士研究生，研究方向为软件分析与度量；
郭晶，女，1985年生，硕士主要研究方向为网络与信息安全；
陈林。男，1979年生，博士，讲师，主要研究方向为软件重构、程序分析与测试；
许蕾，女，1978年生，博士，副教授，主要研究方向为Web分析测试；
徐宝文，男，1961年生，博士，教授，主要研究方向为程序设计语言、程序分析与测试等
