吉林大学学报(信息科学版)
吉林大學學報(信息科學版)
길림대학학보(신식과학판)
JOURNAL OF JILIN UNIVERSITY(INFORMATION SCIENCE EDITION)
2014年
1期
47-55
,共9页
程序切片%静态切片%控制依赖%数据依赖%逆向流
程序切片%靜態切片%控製依賴%數據依賴%逆嚮流
정서절편%정태절편%공제의뢰%수거의뢰%역향류
program slicing%static slicing%control dependence%data dependence%reverse flow
为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法.只需通过分析控制依赖,获得程序整体框架,再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖,以此得到程序切片.该算法减少了计算控制流的工作量,避免计算谓词依赖集的过程,减少了存储资源开销,提高了切片的效率.
為解決切片算法時空開銷太大的問題,提齣一種改進的基于逆嚮流的靜態切片算法.隻需通過分析控製依賴,穫得程序整體框架,再從切片點開始基于逆嚮控製流從裏嚮外擴張式掃描,在掃描中不斷穫得隻與切片相關的數據依賴,以此得到程序切片.該算法減少瞭計算控製流的工作量,避免計算謂詞依賴集的過程,減少瞭存儲資源開銷,提高瞭切片的效率.
위해결절편산법시공개소태대적문제,제출일충개진적기우역향류적정태절편산법.지수통과분석공제의뢰,획득정서정체광가,재종절편점개시기우역향공제류종리향외확장식소묘,재소묘중불단획득지여절편상관적수거의뢰,이차득도정서절편.해산법감소료계산공제류적공작량,피면계산위사의뢰집적과정,감소료존저자원개소,제고료절편적효솔.