程序切片

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于深度语义融合的代码缺陷静态检测方法被引量：4
《计算机应用》2022年第10期3170-3176,共7页程靖云 王布宏 罗鹏 
随着计算机软件规模和复杂度的不断增加,软件中存在的代码缺陷对公共安全形成了严重威胁。针对静态分析工具拓展性差,以及现有方法检测粒度粗、检测效果不够理想的问题,提出了一种基于程序切片和语义特征融合的代码缺陷静态检测方法。首...
关键词：缺陷检测 程序切片 语义分析 深度学习 特征融合 
并发程序中数据竞争检测方法被引量：5
《计算机应用》2019年第1期61-65,共5页张杨 梁亚楠 张冬雯 孙仕欣 
国家自然科学基金资助项目(61440012);河北省自然科学基金资助项目(F2016208007);河北省基础研究计划重点基础专项(18960106D)~~
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的...
关键词：并发程序 数据竞争 控制流分析 别名分析 程序切片 
基于程序依赖图的静态BPEL程序切片技术被引量：2
《计算机应用》2012年第8期2338-2341,共4页王洪达 邢建春 宋巍 杨启亮 
国家自然科学基金资助项目(61003019;61073031);高等学校博士学科点专项科研基金资助项目(20113219120021)
传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切...
关键词：WEB服务组合 BPEL程序依赖图 静态程序切片 异步调用依赖 
一种改进的静态程序切片算法被引量：2
《计算机应用》2009年第3期705-707,711,共4页张龙杰 谢晓方 袁胜智 
提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算...
关键词：程序切片 软件逆向工程 程序依赖图 数据依赖 控制依赖 
一种精简二进制代码的程序理解方法被引量：4
《计算机应用》2008年第10期2608-2612,共5页李卷孺 谷大武 陆海宁 
国家863计划项目(2006AA01Z405);教育部新世纪优秀人才计划项目(NCET-05-0398)
精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象,基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种精简二进制形式软件的理解方法,首先将分析对象转变为运行期...
关键词：精简二进制代码 程序理解 二进制分析 代码反向工程 程序切片 
一种基于LTL性质的面向对象并发程序切片方法被引量：1
《计算机应用》2008年第5期1300-1302,1306,共4页戎玫 何志学 张广泉 
江苏省高校自然科学研究项目(05KJB520119);重庆市自然科学基金资助项目(2006BB2259)
为了缩减程序验证的状态空间,针对面向对象程序的并发机制,定义了程序中存在的依赖关系,提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法。切片后的程序与原程序对待验证的LTL性质具有相同的可满足性,而...
关键词：程序切片 线性时序逻辑性质 并发程序 程序验证 
代码翻译中Case语句的识别和恢复被引量：2
《计算机应用》2005年第10期2439-2440,2443,共3页苏铭 赵荣彩 齐宁 
河南省杰出人才创新基金资助项目(0521000200)
提出了在开发IA-64二进制翻译系统中采用的n-条件分支跳转表和目标地址恢复技术。着重论述了该技术的核心———过程内切片和表达式替换,以及针对IA-64特性的改进算法。
关键词：n-条件分支 程序切片 二进制翻译 
一种用于测试数据生成的动态程序切片算法被引量：6
《计算机应用》2005年第6期1445-1447,1450,共4页王雪莲 赵瑞莲 李立健 
国家自然科学基金资助项目(60473032);教育部科学技术重点项目(105018)
介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。
关键词：程序切片 测试数据生成 前向分析 动态程序切片算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部