程序切片

作品数：195被引量：456H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张迎周李必信徐宝文郑国梁姜淑娟更多>>
相关机构：东南大学南京邮电大学南京大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于依赖图等价代换的SSDG构建算法被引量：1
《计算机工程》2015年第12期91-95,100,共6页徐东 狄效国 孟宇龙 冯晓宁 
国家自然科学基金资助项目(61100006;61272184);黑龙江省自然科学基金资助项目(F201129)
已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题。为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法。通过对目标程序进行等价代换,并使用程序依赖图替换程...
关键词：语义分析 控制流图 系统依赖图 程序切片 程序依赖 数据依赖 
基于关键谓词的程序错误定位方法被引量：1
《计算机工程》2010年第14期54-55,58,共3页辛良 姜淑娟 
教育部科学技术研究基金资助重点项目(108063);江苏省自然科学基金资助项目(BK2008124);中国矿业大学研究基金资助项目(0D080310)
将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和...
关键词：错误定位 程序切片 关键谓词 
快速自动程序流分析方法研究被引量：1
《计算机工程》2010年第15期55-56,共2页吴国伟 曹厚华 
国家自然科学基金资助项目(60703101)
介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的语句和控制谓词,利用抽象解释自动精确获得程序流信息。实验结果表明,在不失精度的情况下,该方法的分析...
关键词：嵌入式软件 静态单赋值 程序切片 抽象解释 
复杂模式下的多分支语句恢复技术被引量：1
《计算机工程》2009年第21期67-70,共4页张龙杰 谢晓方 袁胜智 李洪周 
对多分支结构编译后的各种实现模式进行研究分析,对复杂条件下典型的多分支语句实现模式进行形式化描述,在多分支结构的识别过程中,分析索引表和跳转表调用指令的格式,提出双特征指令匹配算法。通过程序切片,建立索引表和跳转表调用的...
关键词：多分支 跳转表 索引表 程序切片 
软件密集型装备软件故障诊断技术研究被引量：2
《计算机工程》2008年第3期69-71,共3页赵鹏 慕晓冬 易昭湘 
国家部委预研基金资助重点项目
针对当前软件密集型装备软件故障诊断方法的缺陷,提出了一种基于粗诊断与细诊断技术相结合的软件故障定位方法。对故障进行初步定位,找出软件故障可疑模块集,利用切片技术对故障模块集进行检测,将故障定位到程序语句集中,采用代码分析...
关键词：软件密集型装备 故障诊断 程序切片 粗诊断 细诊断 
典型软件体系结构切片方法的研究被引量：1
《计算机工程》2005年第6期9-11,29,共4页吴方君 易彤 邓敏 
国家自然科学基金资助项目(40101022)
近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。该文从软件体系结构的主要构成、形式化表示、静态切片和动态切片、前向切片和后向切片以及切片的应用等方面为基本思路,对该领...
关键词：软件体系结构 体系结构描述语言 体系结构切片 程序切片 
基于语义层软件理解的形式化格局识别技术被引量：3
《计算机工程》2004年第23期9-11,共3页王万诚 李伟华 陈昊鹏 
国家"863"计划基金资助项目(2003AA142060);陕西省自然科学基金资助项目(2001X22)
目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理...
关键词：语义层 软件 程序切片 反编译 依赖性分析 形式化 识别技术 理解方法 格局 水平 
一种基于分层切片模型思想的源程序信息分析方案被引量：3
《计算机工程》2001年第12期32-34,共3页朱平 谭毅 李必信 郑国梁 
江苏省自然科学基金项目(BK99038);江苏省应用基础研究项目(BJ2000034)
作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模...
关键词：程序切片 分层切片模型 源程序信息分析 软件理解 软件工程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部