| 块结构的程序切片方法 |
| |
| 引用本文： | 张鹏,王智学,吕帅,张睿,刘磊. 块结构的程序切片方法[J]. 哈尔滨工程大学学报, 2012, 0(11): 1384-1393 |
| |
| 作者姓名： | 张鹏 王智学 吕帅 张睿 刘磊 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院 |
| |
| 基金项目： | 国家自然科学基金资助项目(60873044);新世纪优秀人才支持计划基金资助项目(NCET100436);吉林省自然科学基金资助项目(20101509);中国博士后科学基金资助项目(2011M500612);中央高校基本科研业务费专项基金资助项目(201103124,201103133) |
| |
| 摘 要： | 为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.
|
| 关 键 词： | 程序切片 程序块 控制流分析 数据流分析 |
Block bsed pogram sicing |
| |
| ZHANG Peng,WANG Zhixue,Lü Shuai,ZHANG Rui,LIU Lei. Block bsed pogram sicing[J]. Journal of Harbin Engineering University, 2012, 0(11): 1384-1393 |
| |
| Authors: | ZHANG Peng WANG Zhixue Lü Shuai ZHANG Rui LIU Lei |
| |
| Affiliation: | (College of Computer Science and Technology,Jilin University,Changchun 130012,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
