计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
1期
250-253,278
,共5页
王兴亚%姜淑娟%鞠小林%邵浩然
王興亞%薑淑娟%鞠小林%邵浩然
왕흥아%강숙연%국소림%소호연
动态切片%前向计算%程序依赖性%三地址码
動態切片%前嚮計算%程序依賴性%三地阯碼
동태절편%전향계산%정서의뢰성%삼지지마
Dynamic slicing%Forward computation%Program dependence%Three-address code
动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用.给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片.根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较.实验结果表明,该方法可以得到比较精确的动态程序切片结果.
動態程序切片技術是一種重要的程序分析技術,在軟件分析、測試與調試過程中有著廣汎的應用.給齣一種基于前嚮計算的動態程序切片方法,該方法首先在對噹前執行語句進行定義使用分析的基礎上計算該語句定義變量的影響集,其次計算該語句的直接動態依賴關繫,最後計算噹前執行語句中變量的動態切片.根據該方法設計併實現瞭一箇Java動態程序切片繫統,基于一組基準測試程序開展瞭切片實驗,併與已有的切片方法進行瞭比較.實驗結果錶明,該方法可以得到比較精確的動態程序切片結果.
동태정서절편기술시일충중요적정서분석기술,재연건분석、측시여조시과정중유착엄범적응용.급출일충기우전향계산적동태정서절편방법,해방법수선재대당전집행어구진행정의사용분석적기출상계산해어구정의변량적영향집,기차계산해어구적직접동태의뢰관계,최후계산당전집행어구중변량적동태절편.근거해방법설계병실현료일개Java동태정서절편계통,기우일조기준측시정서개전료절편실험,병여이유적절편방법진행료비교.실험결과표명,해방법가이득도비교정학적동태정서절편결과.