程序切片

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于条件分类可执行切片谱的软件缺陷定位被引量：2
《计算机工程与应用》2019年第19期253-262,共10页邱宝鑫 周维 陈听海 
国家自然科学基金青年基金(No.61602397);湖南省物联网学会新华三基金(No.2018wlw001)
基于条件执行切片谱的多错误定位(Multiple Fault Localization based on Conditioned Execution Slicing Spectrum,CESS-MFL)考虑了程序的依赖性,可以一定程度降低程序随着缺陷数的增多而效率降低的问题,但该技术仍受与缺陷无关语句的...
关键词：软件缺陷定位 程序切片谱 条件分类执行切片 可疑度 
基于GCC关键变量数据流分析算法的程序切片技术被引量：2
《计算机工程与应用》2017年第24期40-47,54,共9页杨小川 姜军 马晓东 漆锋滨 
国家"863"计划基金资助项目(No.2012AA010903)
随着程序的规模的扩大和复杂度的提高,通过直接分析源码进行程序切片,变得十分困难。在现有的利用编译优化技术来优化程序切片的方法中,存在无法有效利用程序的编译时信息和编译器的优化技术,以及对语言的支持不完善的问题。为此,分析了...
关键词：程序切片 目标函数 关键变量 数据流分析 GIMPLE中间表示 
基于多切片最优融合集的故障测试约束构造方法
《计算机工程与应用》2014年第20期264-270,共7页张屹 潘正军 
广州市科研项目(No.08C003)
针对故障测试约束构造过程相当复杂,计算开销太大,测试用例设计质量不高,不利于广泛运用,提出一种基于多切片最优融合集的故障测试约束构造方法,采用同一切片标准的不同程序切片构造融合度矩阵来度量切片的一致融合度,通过利用切片融合...
关键词：程序切片 软件测试 最优融合集 测试约束 
Slithice:一个基于系统依赖图的Java程序切片工具被引量：3
《计算机工程与应用》2014年第2期31-34,共4页钱巨 陶彬贤 
国家自然科学基金(No.60903026;No.61100034)
当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切...
关键词：JAVA 程序切片 静态 
一种可检测Java程序盗版的动态胎记技术被引量：1
《计算机工程与应用》2010年第17期69-71,84,共4页邓小鸿 拜亚萌 黄斌 满君丰 
国家自然科学基金 No.60773110;中国博士后科学基金 No.20080440216~~
针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gram胎记提取算法得到S的一个特征值序列作为软件胎记。实验分析...
关键词：版权保护 动态程序切片 软件胎记 置信性 鲁棒性 
前向切片与后向切片之间关系的研究被引量：2
《计算机工程与应用》2008年第12期42-44,共3页易彤 
江西省自然科学基金(the Natural Science Foundation of Jiangxi Province of China under Grant No.2007GQS0495);江西省教育厅科技项目(the Research Project of Department of Education of Jiangxi Province;China under Grant No.GJJ08353; 赣教技字[2007]434 号)
前向切片和后向切片是两种不同的切片技术,为了研究它们之间的异同,通过实验,得到两个结论:后向切片分析的平均缩减率等于前向切片分析的平均缩减率;后向切片分析的缩减率较均衡,前向切片分析的缩减率变化较大,极端情况较多。
关键词：程序切片 前向切片 后向切片 
非经典切片技术及其在形式验证中的应用综述
《计算机工程与应用》2007年第36期43-47,54,共6页高新岩 吴尽昭 闫炜 周宁 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60373113);国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2004CB318000)
切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发...
关键词：程序切片 计算切片 证明切片 约简 形式验证 性质验证 模型检验 
一种C++程序的分层切片方法
《计算机工程与应用》2003年第23期132-134,共3页任凌燕 刘坚 
国家部委预研基金资助
该文介绍了一种C++程序的分层切片方法。通过构造系统程序层依赖图、类层依赖图、方法层依赖图和语句层依赖图,对C++程序进行分层切片,有效地表示了C++中的单重继承、多重继承、多态和动态绑定,该方法比其它C++切片技术更清晰地描述了C+...
关键词：程序切片 分层切片 依赖图 C++程序 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部