收藏本站
《计算机工程与应用》 2014年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

钱巨  陶彬贤  
【摘要】:当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切片算法能够在精度和性能之间进行权衡,适应各种规模程序的分析需要。
【作者单位】南京航空航天大学计算机科学与技术学院;
【关键词】Java 程序切片 静态
【基金】:国家自然科学基金(No.60903026,No.61100034)
【分类号】:TP311.10
【正文快照】:
1引言当前程序切片[1-2]的相关理论已经较为成熟,但在工具实现方面,主要的工作关注C程序[3-4],以及Java程序的动态切片[5-6],针对Java的静态切片工具依然非常少见。造成此种现象的主要原因包括多个方面:首先,程序切片依赖于许多底层的程序分析技术,因此实现起来较为困难;另外

【相似文献】
中国期刊全文数据库 前10条
1 张怡;可视化Java开发工具一览[J];中国计算机用户;1997年25期
2 ;Java在运输业巨子——CSX公司中的应用[J];电子展望与决策;1998年05期
3 吴限;意外的发现[J];中文信息;1998年Z1期
4 ;旋转的咖啡杯[J];个人电脑;1999年04期
5 黄凯;基于JAVA的CORBA程序[J];电子科技;2001年21期
6 潘锦;Java编程[J];贵阳金筑大学学报;2001年03期
7 郝晓玲,于秀艳;基于JSP的系统设计与实现[J];情报科学;2004年08期
8 拜朝峰;林琳;黄林鹏;孙永强;;部分计值综述[J];计算机科学;2004年04期
9 康会来;JAVA 3D动画的实现[J];电脑知识与技术;2005年06期
10 兰晓伟,于长云;JAVARMI与CORBA的集成研究[J];天津理工大学学报;2005年03期
中国重要会议论文全文数据库 前10条
1 姜久雷;;在Visual J++6.0环境下编写纯Java代码的方法[A];西部大开发 科教先行与可持续发展——中国科协2000年学术年会文集[C];2000年
2 杨睿;金大海;宫云战;马跃;;JAVA中空指针引用故障的静态检测方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 唐焕春;;《Java程序设计》精品课程建设[A];2010无锡职教教师论坛论文集[C];2010年
4 阔永红;陈健;韩博凯;;基于Java的电话费查询系统的开发[A];中国电子学会第七届学术年会论文集[C];2001年
5 淮永建;张先勇;郝重阳;;Java 3D API和虚拟现实[A];中国体视学学会图像分析专业、中国体视学学会仿真与虚拟现实专业、中国航空学会信号与信息处理专业第一届联合学术会议论文集[C];2000年
6 刘一童;;远程监控的Java实现[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
7 王育欣;安伟;;基于软件工程的JAVA移植策略方法研究[A];创新沈阳文集(A)[C];2009年
8 胡成杰;宫云战;金大海;;Java语言基于函数摘要的全局分析静态测试方法[A];第六届中国测试学术会议论文集[C];2010年
9 许晖;;应用XML实现Java对象序列化技术简述[A];Java技术及应用的进展——第七届中国Java技术及应用交流大会文集[C];2004年
10 俞磊;刘百祥;赵泽宇;江杰;;使用和改进Hibernate实现Java数据持久化[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
中国重要报纸全文数据库 前10条
1 ;WebGain整合Java开发[N];中国计算机报;2001年
2 广东 王诗瑞;学做Java特效[N];中国电脑教育报;2000年
3 Warton;来!深入Java的第一步[N];电脑报;2004年
4 Warton;Java中的流程控制[N];电脑报;2004年
5 中国地质大学 陈小洁;为Java加速[N];计算机世界;2002年
6 Warton;Java的异常处理[N];电脑报;2004年
7 湖南 樊星;Java滤镜特效图片应用一例[N];电脑报;2001年
8 雨纹;Java集成开发实现个性化[N];中国计算机报;2002年
9 河北 刘坤峰;初学java常用开发工具介绍[N];中国电脑教育报;2004年
10 ;Oracle Java开发工具换新颜[N];中国高新技术产业导报;2001年
中国博士学位论文全文数据库 前10条
1 杨克峤;Java程序优化与数据竞争检测的研究[D];复旦大学;2010年
2 高国福;中国肿瘤防治数据库的建立[D];中国协和医科大学;2006年
3 祝玉华;基于Multi Agents的WebGIS的研究和实践[D];解放军信息工程大学;2004年
4 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
5 郭德贵;ATLAS语言指称语义及程序分析技术[D];吉林大学;2007年
6 李倩;Java程序指向分析研究[D];南京大学;2012年
7 章程;基于机器学习和程序分析相结合的程序调试技术研究[D];上海交通大学;2013年
8 陈永华;WebGIS三维可视化的研究[D];解放军信息工程大学;2000年
9 张锋铭;虚拟企业工作流研究及基于多代理和Web服务的原型系统实现[D];西北工业大学;2002年
10 张家晨;软件重构方法的研究[D];吉林大学;2004年
中国硕士学位论文全文数据库 前10条
1 时武略;基于程序切片的Java多态性研究[D];东北大学;2009年
2 朱静伟;基于JAVA/CORBA分布式数据库访问技术研究及实现[D];西安电子科技大学;2001年
3 陈盈;图书管理EJB的构建和应用[D];大连铁道学院;2003年
4 沈忠山;基于MVC模式的WebGIS设计与实现[D];武汉大学;2004年
5 刘大龙;基于Java的物流仓储管理系统的构建[D];武汉纺织大学;2010年
6 皇甫俊彦;大型金融信息系统从C#到Java移植的研究和实现[D];浙江大学;2011年
7 张晓春;基于Java的测井数据格式解编系统的设计与实现[D];吉林大学;2011年
8 赵斗生;基于网络新技术的PDM研究[D];机械科学研究院;2002年
9 杜欣然;利用JSP技术开发基于WEB的人事工资管理系统[D];大连铁道学院;2003年
10 刘向辉;基于Java的移动终端中间件的研究与设计[D];华东师范大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026