小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2012年
11期
2372-2374
,共3页
卢红敏%郭晶%陈林%许蕾%徐宝文
盧紅敏%郭晶%陳林%許蕾%徐寶文
로홍민%곽정%진림%허뢰%서보문
软件再工程%代码重构%可逆重构%保行为
軟件再工程%代碼重構%可逆重構%保行為
연건재공정%대마중구%가역중구%보행위
提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现Eclipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.
提齣一種新的重構語義分析方法,引入瞭後置條件作為重構後程序語義的分析條件,然後基于該方法提齣一種重構異常行為檢測方法,利用不同重構之間的關繫及其關聯語義特徵,髮現重構實施時的錯誤.分析錶明,該方法可以有效髮現Eclipse中存在的若榦缺陷,併且可以檢測齣使用Eclipse實施相應重構時產生的程序異常行為.
제출일충신적중구어의분석방법,인입료후치조건작위중구후정서어의적분석조건,연후기우해방법제출일충중구이상행위검측방법,이용불동중구지간적관계급기관련어의특정,발현중구실시시적착오.분석표명,해방법가이유효발현Eclipse중존재적약간결함,병차가이검측출사용Eclipse실시상응중구시산생적정서이상행위.
