摘要
程序切片是一种有效的程序分析技术,它能根据给定的切片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等。本文主要研究程序切片的准则以及相关算法。
出处
《科技信息》
2012年第33期I0084-I0084,共1页
Science & Technology Information
二级参考文献32
-
1张迎周,徐宝文.一种基于模块单子语义的动态程序切片方法[J].计算机学报,2006,29(4):526-534. 被引量：12
-
2Tip F. A survey of program slicing techniques. J Progr Lang, 1995, 3(3): 121--189
-
3Binkley D, Gallagher K B. Program slicing. Adv Comput, 1996, 43:1-50
-
4Harman M, Hierons R M. An overview of program slicing. Softw Focus, 2001, 2(3): 85--92
-
5陈振强.基于依赖性分析的程序切片技术研究.博士学位论文.南京:东南大学,2002:1-5
-
6Weiser M. Program slicing. IEEE Trans Sofrw Eng, 1984, 16(5): 498-509
-
7Ottenstein K J, Ottenstein L M. The program dependence graph in a software development environment. ACM SIGPLAN Not, 1984, 19(5): 177--184
-
8Hwang J C, Du M W, Chou C R. The influence of language semantics on program slices. In: International Conference on Computer Languages. Florida: IEEE CS Press, 1988. 120--127
-
9Hausler P A. Denotational program slicing. In: 22th Annual Hawaii International Conference on System Sciences. Hawaii: IEEE CS Press, 1989. 486--495
-
10Ouarbya L, Danicic S, Daoudi M, et al. A denotational interprocedural program slicer. In: Aiken P. ed. 9th IEEE Working Conference on Reverse Engineering, Virginia: IEEE CS Press, 2002. 181-189
共引文献7
-
1张迎周,张卫丰.Haskell:一种现代纯函数式语言[J].南京邮电大学学报（自然科学版）,2007,27(4):13-18. 被引量：7
-
2王志兵,李长云.软件故障诊断技术综述[J].微计算机信息,2010,26(34):161-163. 被引量：7
-
3蒋曹清,应时,倪友聪,管华.一种Java程序Chopping方法[J].计算机科学,2011,38(1):150-155. 被引量：2
-
4符炜,张迎周,孙无极,杨庚.一种基于函数依赖图的构件抽取方法[J].南京邮电大学学报（自然科学版）,2010,30(6):78-84. 被引量：3
-
5张迎周,符炜.一种过程间单子切片方法[J].电子学报,2013,41(8):1457-1461. 被引量：2
-
6张迎周,符炜,张卫丰.基于形式化方法的服务自动测试方法[J].系统工程与电子技术,2013,35(12):2619-2630.
-
7许碧欢,钱俊彦,张迎周,陈蕾.一种基于余代数单子的Web服务形式化模型[J].南京航空航天大学学报,2016,48(5):668-676.
同被引文献21
-
1白文科,杨献春,许满武.一种基于逆向程序流的程序切片算法[J].计算机应用研究,2009,26(3):920-922. 被引量：3
-
2WEISER M. Program Slicing [J]. IEEE Transactions on Software Engineering, 1984, 210(4) : 352-357.
-
3BHAGAVAT S, KAO I. A Finite Element Analysis of Temperature Variation in Silicon Wafers During Wiresaw Slicing [J]. International Journal of Machine Tools and Manufacture, 2008, 48 ( 1 ) : 95-106.
-
4SALEM M S, LEE C L, IKEDA S, et al. Acceleration of Groove Formation in Silicon Using Catalytic Wire Electrodes for Development of a Slicing Technique [ J]. Journal of Materials Processing Technology, 2010, 210(2) : 330-334.
-
5CZIFRA A, GODA T, GARBAYO E. Surface Characterisation by Parameter-Based Technique, Slicing Method and PSD Analysis [J]. Measurement, 2011, 44(5): 906-916.
-
6PEREZ-RODR-GUEZ F, CASTRO R, POSADA I G D, et al. Evaluation of Hygiene Practices and Microbiological Quality of Cooked Meat Products During Slicing and Handling at Retail [ J ]. Meat Science, 2010,86 (2) : 479-485.
-
7FERRANTE J, OTFENSTEIN K J, WARREN J D. The Program Dependence Graph and Its Use in Optimization [ J]. ACM Transaction on Programming Languages and Systems, 1987, 9(3) : 319-349.
-
8HORWITZ S, REPS T. Interprocedural Slicing Using Dependence Graphs [ J ]. ACM Transaction on Programming Language and System, 1990, 2(1): 26-60.
-
9KOREI B, LASKI J. Dynamic Slicing of Computer Programs [ J]. Systems and Software, 1990, !3 (3) : 187-195.
-
10BOGDAN K, JURGEN R. Dynamic Program Slicing Method [ J]. Information and Software Technology, 1998, 40 (11/12) : 6474559.
-
1郝杰.一种程序切片的图示构造方法[J].大众科技,2011,13(1):16-17.
-
2刘磊,袁琦,金成植.基于信息流分析的程序分析技术[J].计算机研究与发展,1997,34(S1):173-177. 被引量：2
-
3肖侬,胡守仁,高洪奎,韩冰,宋辉.一个基于对象的程序划分算法[J].电子学报,1997,25(5):61-65.
-
4李英梅,伦立军,丁雪梅.动态程序切片研究及其应用[J].东北农业大学学报,2005,36(3):397-400. 被引量：1
-
5朱炎,蔡国永.基于ISDG的面向对象程序分片技术研究[J].计算机与现代化,2007(1):33-37.
-
6高鹏飞,沈云付.程序切片技术在并发程序模型检查中的应用[J].计算机技术与发展,2008,18(11):163-167.
-
7张鹏,王智学,吕帅,张睿,刘磊.块结构的程序切片方法[J].哈尔滨工程大学学报,2012,33(11):1384-1393.
-
8张宝春.浅谈程序重构识别的研究与实现[J].教育界（高等教育）,2015,0(4):189-190.
-
9李小花,孙建华,陈浩.程序分析技术在SQL注入防御中的应用研究[J].小型微型计算机系统,2011,32(6):1089-1093. 被引量：3
-
10陆林生.并行程序设计技术与设计环境的探讨[J].电子计算机,1999(2):18-22.
