一种JAVA程序静态切片的方法

来源 :计算技术与自动化 | 被引量 : 0次 | 上传用户:Nathan_YM
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
JAVA语言是目前一种主要的面向对象编程语言,由于JAVA语言复杂的结构,使得对JAVA程序进行程序切片非常困难.本文提出一种层次的构造JAVA系统依赖图的算法,基于JAVA程序本身的层次结构,自顶向下构造系统依赖图,然后基于构造的系统依赖图,用一种改进的两阶段算法得到JAVA程序切片.
其他文献
基于全过程造价管理的视角,分析境外PPP项目在决策阶段、设计阶段、招标阶段、施工阶段的造价控制要点。以阿联酋围海造地工程PPP项目为例,探讨境外PPP项目的全过程造价的控
2008年5月12日,新闻出版总署新出报刊[2008]602号文件正式批准《铁岭晚报》更名为《辽沈晚报·铁岭版》。这是新闻出版总署首次批准一家地市级晚报都市报纳入到省级晚报都
随着我国图书出版业品牌时代的到来,编辑的桥梁作用越来越重要,编辑品牌也逐渐进入人们的视野。同时,出版竞争的加剧使出版社对出版资源的竞争也在不断加剧,而名牌编辑的存在将大
以公共建筑室内温度标准为研究对象,结合现行公共建筑室内温度标准,从建筑节能与人体舒适性两方面,分析并探究室内的合理温度标准。建议修改门厅标准温度,在严寒或寒冷地区,冬季降
介绍一种携模具功能的模块建筑方法及建筑模块。该技术提供一种既是墙体(自保温)充填材料,又是框架结构建筑的一次性免拆模具。可根据设计要求进行组装,形成“纵柱横梁”的新型建
<正>在2014广州车展上,起亚KX3还是以概念车身份首发亮相,如今量产版车型-傲跑已经上市。量产车和概念车的高度相似,不难看出起初概念车是由量产车装扮而成的,而中国作为傲跑
<正>奥迪公司、宝马集团和戴姆勒公司已与诺基亚公司达成协议,将联合收购诺基亚旗下地图与位置服务业务HERE。这项收购旨在确保HERE的产品和服务能够长期作为一个开放、独立
2007年在安徽省墙材革新工作史上是极不平凡的一年:《安徽省发展新型墙体材料条例》(以下简称《条例》)顺利颁布,全省墙材革新工作走上依法推进的轨道:全省新型墙材总量占墙材总量
国外发达国家的出版业发展规律对我国的出版业发展具有重要启示.研究国外不同阶段出版业的指标及其变化规律,对我们制定小康社会出版指标体系具有重要参考意义。本文即从这一意
本刊讯近日.中国建筑学会建筑防火综合技术分会、北京消防协会城市规划与建筑防火专业委员会、美国FH认证(FM Approvals)联合在北京举办了“2009建筑外墙外保温防火技术研讨会”