Program Slicing

本文介绍了程序切片技术的历史背景和发展,从1979年Weiser首次提出至今的应用情况。重点讲述了程序切片在国内的研究进展,以及其在程序调试、测试、分析等领域的应用。文中还列举了一些知名的程序切片项目,并给出了进一步研究的方向。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

       程序切片技术, 1979 PhD Weiser 的学位 thesis 中首次提出 [1] 。国内最早的论文是 97 年。目前国内研究的比较好的学校有南京大学和东南大学。   程序切片主要应用在程序调试( debugging )、程序测试( Testing )、程序分析( Analysis )、程序理解和维护( Maintainance )、软件重用( Reuse )、程序度量( Measurement )、软件安全( Security )等等方面。有些牛人把它推广到软件工程的其它领域,例如软件体系结构等。分析的代码也由原来的过程式的语言( C 等)扩展到了面向对象语言( C ++、 Java 等)。

       目前的程序切片 project Carnegie Mellon ChopShop Unravel[2] Wisconsin Program Slicing Project[3] (后来发展为公司 GrammaTech[4][5] 了)、 Oberon[6] 等等。绝大多数都不是 free 的。关于程序切片的集锦有 [7][8][9] 等。

       需要做的:

(1)       复习控制流分析、数据流分析并做好笔记

(2)       阅读论文(主要针对 C 语言),掌握算法原理(静态切片、动态切片)

(3)       复习 lex yacc 语法并做好笔记

(4)       针对可以看到源代码的系统( Unravel 等),了解其实现机制以及主要的功能,提出自己的改进

(5)       设计系统

(6)       实现系统

(7)       论文写作

 

参考文献 :

[1] 李必信 . 程序切片技术及其应用 . 北京 : 科学出版社 ,2006.3.

[2] http://hissa.nist.gov/project/unravel.html

[3] http://www.cs.wisc.edu/wpis/html/

[4] http://www.grammatech.com/

[5] http://yhsung.tw/wordpress/category/courses/page/2/

[6] http://www.ssw.uni-linz.ac.at/Research/Projects/ProgramSlicing/

[7] http://progtools.comlab.ox.ac.uk/projects/nate/slicing

[8] http://www.infosun.fim.uni-passau.de/st/staff/krinke/slicing/

[9] http://people.brunel.ac.uk/~csstmmh2/gustt/

GUSTT: GUided Slicing and Targeted Transformation

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值