程序切片

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模糊C均值聚类的软件多缺陷定位方法被引量：8
《计算机学报》2020年第2期206-232,共27页王兴亚 姜淑娟 高鹏飞 陆凯 薄莉莉 鞠小林 张艳梅 
国家自然科学基金(61673384,61832009,61772260,61502497,61562015);江苏省博士后科研资助计划(2018K028C);计算机软件新技术国家重点实验室创新项目(ZZKT2018B02);广西可信软件重点实验室研究课题(kx201609,kx201532)支持.
缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了...
关键词：程序调试 缺陷定位 程序切片 缺陷干扰 模糊聚类 
基于偏序约简程序可达图的并发程序切片方法被引量：2
《计算机学报》2014年第3期568-579,共12页戚晓芳 徐晓晶 江振亮 汪鹏 
国家自然科学基金(60873049);国家自然科学青年基金(61003156)资助~~
并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,提高切片精度.程序可达图通过交织执行模拟并发活动,分析代价较...
关键词：并发程序 程序切片 依赖性分析 可达性分析 偏序约简 程序分析 软件测试中图法 
提高路径敏感缺陷检测方法的效率及精度研究被引量：9
《计算机学报》2011年第6期1100-1113,共14页赵云山 宫云战 刘莉 肖庆 杨朝红 
国家"八六三"高技术研究发展计划项目基金(2009AA012404);国家自然科学基金项目"航天嵌入式软件缺陷检测方法研究;系统研发及应用"(91018002;2010)资助
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙...
关键词：静态分析 缺陷检测 路径敏感 误报 程序切片 上下文敏感分析 域敏感分析 
含指针程序的单子切片方法被引量：5
《计算机学报》2010年第3期473-482,共10页张迎周 吴重强 钱巨 张卫丰 徐宝文 
国家自然科学基金(60703086;90818027;60633010;60873049;60973046;60903026);国家"八六三"高技术研究发展计划目标导向类项目(2009AA01Z147);国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析...
关键词：程序切片 单子切片 数据流迭代 指针 指向分析 
一种基于模块单子语义的动态程序切片方法被引量：13
《计算机学报》2006年第4期526-534,共9页张迎周 徐宝文 
国家杰出青年基金(60425206);国家自然科学基金(60373066;90412003;60403016);国家"九七三"重点基础研究发展规划项目基金(2002CB312000);国家教育部博士点基金(20020286004);江苏省高校自然科学研究计划项目基金(05KJD520151)资助.
提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片...
关键词：程序切片 动态切片 单子 单子转换器 模块单子语义 
并发程序的切片模型检验方法被引量：7
《计算机学报》2003年第3期266-274,共9页董威 王戟 齐治昌 
国家"八六三"高技术研究发展计划 ( 2 0 0 1AA113 2 0 2 );国家自然科学基金( 69973 0 5 1;90 10 40 0 7);霍英东青年教师基金 ( 710 64 )资助
提出了一种对并发程序进行切片以缩减模型检验状态空间的方法 .首先针对并发程序中的同步与通信定义了一组依赖关系 ,包括并发分支与接合、非确定性、信道、共享变量等特征 .对于从要验证的时态逻辑性质中提取的关于多个程序点的切片标...
关键词：并发程序 模型检验 程序切片 自动验证 JAVA语言 SPL语言 
Gupta方法的改进被引量：3
《计算机学报》2002年第12期1378-1386,共9页单锦辉 王戟 齐治昌 吴建平 
国家自然科学基金项目 ( 6 99730 5 1;90 10 40 0 7);国家"八六三"高技术研究发展计划项目 ( 2 0 0 1AA1132 0 2 );霍英东青年教师基金 ( 710 6 4)资助
Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切...
关键词：Gupta 测试数据自动生成 路径测试 软件测试 数据流分析 程序切片 线性化谓词函数 
一种基于切片技术度量Java耦合性的框架被引量：36
《计算机学报》2001年第3期259-265,共7页李必信 杨朝晖 谭毅 朱平 李宣东 郑国梁 
国家"八六三"高技术研究发展计划资助! (863 -3 0 6-QN2 0 0 0 -2 );江苏省自然科学基金! (BK990 3 8)
在研究面向对象的度量问题时 ,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征 ,例如基本度量、CK度量和 Ao Ki度量等 .文中采用一种基于程序切片的方法来度量 Java的耦合性问题 ,通过对 Java源程序中存在的耦合关系的...
关键词：面向对象 程序切片 JAVA语言 耦合性 程序设计方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部