期刊文献+

Slithice:一个基于系统依赖图的Java程序切片工具 被引量:3

Slithice:system dependence graph based program slicing tool for Java
下载PDF
导出
摘要 当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切片算法能够在精度和性能之间进行权衡,适应各种规模程序的分析需要。 Nowadays, the theory of program slicing is highly developed, but open tools for slicing Java programs are still rarely seen. To support the researches on the application of program slicing techniques, it designs and implements an Eclipse slicing plugin named Slithice. The tool can perform system dependence graph based program slicing. It provides many options for the basis analyses and the system dependence graph construction. This can let the users make better trade-offs between efficiency and precision and hence make the tool more suitable for analyzing programs of various scales.
作者 钱巨 陶彬贤
出处 《计算机工程与应用》 CSCD 2014年第2期31-34,共4页 Computer Engineering and Applications
基金 国家自然科学基金(No.60903026 No.61100034)
关键词 JAVA 程序切片 静态 Java program slicing static
  • 相关文献

参考文献14

  • 1.JSlice[]..2012
  • 2.CodeSurfer[]..2012
  • 3徐晓晶,戚晓芳.并发程序切片原型系统的设计与实现[J].计算机科学与探索,2012,6(3):257-266. 被引量:1
  • 4.JavaSlicer[]..2012
  • 5Ranganath V P.Scalable and accurate approaches for program dependence analysis,slicing,and verification of concurrent object oriented programs[]..2006
  • 6Jeanne Ferrante,Karl J. Ottenstein,Joe D. Warren.The program dependence graph and its use in optimization[J].ACM Transactions on Programming Languages and Systems (TOPLAS).1987(3)
  • 7Susan Horwitz,Thomas Reps,David Binkley.Interprocedural slicing using dependence graphs[J].ACM Transactions on Programming Languages and Systems (TOPLAS).1990(1)
  • 8Baowen Xu,Ju Qian,Xiaofang Zhang,Zhongqiang Wu,Lin Chen.A brief survey of program slicing[J].ACM SIGSOFT Software Engineering Notes.2005(2)
  • 9Jayaraman G,Ranganath V P,Hatcliff J.Kaveri:delivering the Indus Java program slicer to Eclipse[].Proceedings of the International Conference on Fundamental Approaches to Software Engineering.2005
  • 10Abadi A,Ettinger R,Feldman Y A.Fine slicing:theory and applications for computation extraction[].Proceedings of the International Conference on Fundamental Approaches to Software Engineering.2012

二级参考文献11

  • 1戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并发程序依赖性分析方法[J].电子学报,2007,35(2):287-291. 被引量:14
  • 2Cheng Jingde. Task dependence nets for concurrent sys- tems with Ada 95 and its applications[C]//Proceedings of ACM TRI-Ada International Conference (TRI-Ada '97). New York, NY, USA: ACM, 1997: 67-78.
  • 3Zhao Jianjun. Multithreaded dependence graphs for con- current Java programs[C]//Proceedings of the Interna- tional Symposium on Software Engineering for Parallel and Distributed Systems (PDSE '99). Washington, DC, USA: IEEE Computer Society, 1999: 13-23.
  • 4Krinke J. Static slicing of threaded programs[J]. ACM SIGPLAN Notices, 1998, 33(7): 35-42.
  • 5Krinke J. Context-sensitive slicing of concurrent pro- grams[C]//Proceedings of the 9th European Software En- gineering Conference Held Jointly with the llth ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11). New York, NY, USA: ACM, 2003: 178-187.
  • 6Nanda M G, Ramesh S. Slicing concurrent programs[J]. ACM SIGSOFT Software Engineering Notes, 2000, 25(5) 180-190.
  • 7Nanda M C~ Ramesh S. Inter-procedural slicing of multi- threaded programs with applications to Java[J]. ACM Transactions on Programming Languages and Systems, 2006, 28(6): 1088-1144.
  • 8Ranganath V P, Hatcliff J. Slicing concurrent Java pro- grams using Indus and Kaveri[J]. International Journal on Software Tools for Technology Transfer, 2007, 9(5): 489- 504.
  • 9Giffhorn D, Hammer C. Precise slicing of concurrent programs[J]. Automatic Software Engineering, 2009, 16(2) 197-234.
  • 10Gramma Tech. CondeSurfer 2.1[EB/OL]. (2007-05-30) [2011-05-25]. http://www.grammatech.corrdproducts/code- surfer/overview.html.

同被引文献31

  • 1Nevin Heintze,Olivier Tardieu.Ultra-fast aliasing analysis using CLA[J].ACM SIGPLAN Notices.2001(5)
  • 2张昱,刘玉宇.一种Java字节码优化框架[J].计算机工程,2008,34(2):69-71. 被引量:5
  • 3Zhang Peng, Mao Xiaoguang, Lei Yan, et al. Fauh locali- zation based on dynamic slicing via JSlice for Java programs [ C ]// Proceedings of the 5th IEEE International Confer- ence on Software Engineering and Service Science ~ IC- SESS). 2014:565-568.
  • 4Zhao Binglin, Wang Yinhao, Shan Zheng, et al. Software behavior model based on functional slicing[ C ]//Proceed- ings of the 2015 International Conference on Intelligent Sys- tems Research and Mechatronics Engineering. Atlantis Press, 2015.
  • 5Weiser M. Program slicing[ C]// Proceedings of the 5th International Conference on Software Engineering. 1981: 439-449.
  • 6Korel B, Laski J. Dynamic program slicing[ J ]. Informa- tion Processing Letters, 1988,29(3) : 155-163.
  • 7Krishnaswamy A. Program Slicing: An Application of Ob- ject-oriented Program Dependency Graphs [ R ]. Technical Report TR94-108, Clemson University, 1994.
  • 8Cheng Jingde. Slicing concurrent programs: A graph-theo- retical approach [ C ]//Proceedings of the 1 st International Workshop on Automated and Algorithmic Debugging. 1993:223-240.
  • 9Jackson D, Rollins E J. Abstraction mechanisms for picto- rial slicing[ C ]// Proceedings of the 3rd IEEE Workshop on Program Comprehension. 1994:82-88.
  • 10Jayaraman G, Ranganath V P, Hatcliff J. Kaveri: Delive- ring the Indus Java program slicer to eclipse [ M ]//Funda- mental Approaches to Software Engineering. Springer Ber- lin Heidelberg, 2005:269-272.

引证文献3

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部