计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2009年
3期
920-922,926
,共4页
程序切片%程序逆向流%谓词依赖集%过程内切片%过程间切片
程序切片%程序逆嚮流%謂詞依賴集%過程內切片%過程間切片
정서절편%정서역향류%위사의뢰집%과정내절편%과정간절편
传统的程序切片方法一般基于程序依赖图(PDG)和系统依赖图(SDG)的可达性算法,但是在建立PDG和SDG的过程中会计算一些与切片无关的数据依赖,造成时空资源的浪费及切片效率的降低.提出了一种基于程序逆向流的切片算法,它事先建立逆向程序流,再从切片点开始沿逆向程序流扫描程序以获得程序切片,只计算与切片相关的数据依赖,从而提高了切片计算的时空效率.通过实验发现该算法具有一定的可行性和实用性.本算法适用于包括Fortran、C等编程语言在内的命令式程序的切片生成.
傳統的程序切片方法一般基于程序依賴圖(PDG)和繫統依賴圖(SDG)的可達性算法,但是在建立PDG和SDG的過程中會計算一些與切片無關的數據依賴,造成時空資源的浪費及切片效率的降低.提齣瞭一種基于程序逆嚮流的切片算法,它事先建立逆嚮程序流,再從切片點開始沿逆嚮程序流掃描程序以穫得程序切片,隻計算與切片相關的數據依賴,從而提高瞭切片計算的時空效率.通過實驗髮現該算法具有一定的可行性和實用性.本算法適用于包括Fortran、C等編程語言在內的命令式程序的切片生成.
전통적정서절편방법일반기우정서의뢰도(PDG)화계통의뢰도(SDG)적가체성산법,단시재건립PDG화SDG적과정중회계산일사여절편무관적수거의뢰,조성시공자원적낭비급절편효솔적강저.제출료일충기우정서역향류적절편산법,타사선건립역향정서류,재종절편점개시연역향정서류소묘정서이획득정서절편,지계산여절편상관적수거의뢰,종이제고료절편계산적시공효솔.통과실험발현해산법구유일정적가행성화실용성.본산법괄용우포괄Fortran、C등편정어언재내적명령식정서적절편생성.
