Slithice：一个基于系统依赖图的Java程序切片工具

摘要：

当前程序切片的相关理论已经较为成熟，但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究，设计并实现了一个基于系统依赖图的Eclipse切片插件--Slithice。该插件支持不同粒度的底层分析和系统依赖图构建，从而可以使切片算法能够在精度和性能之间进行权衡，适应各种规模程序的分析需要。

关键词：Java、程序切片、静态

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金No.60903026，No.61100034。

在线出版日期：2014-01-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：31-34