程序切片

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

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机与现代化x
条 记 录,以下是1-6
视图:
排序:
JavaScript静态切片工具被引量:1
《计算机与现代化》2016年第8期46-51,共6页田生 
程序切片是一种传统的程序分析方法:通过去掉无关代码,获取可能影响某行代码的子集。程序切片在程序理解、软件测试和程序调试等众多领域有着广泛的应用。随着互联网技术的发展,JavaScript语言得到广泛应用,但针对该语言的切片工具非常...
关键词:程序切片 静态分析 程序调试 
JavaScript程序动态切片技术的研究被引量:1
《计算机与现代化》2016年第5期100-105,共6页叶家彬 于海波 
国家自然科学基金资助项目(61572313)
程序切片技术可以有效地运用在程序调试之中,但因为JavaScript语言动态的特性,传统的程序切片技术难以直接运用在JavaScript程序上。本文提出一种新的动态切片技术,结合JavaScript自身的语言特性,扩展了系统依赖图对于JavaScript程序的...
关键词:程序切片 JAVASCRIPT 动态分析 程序调试 
基于LLVM的程序关注点影响分析被引量:1
《计算机与现代化》2014年第4期203-207,共5页陈泓旭 
在LLVM中间形式上,得到影响某特定程序关注点的程序片段,削减不相关部分。基于Andersen指向分析算法构建准确的调用图,得到程序执行中可能到达给定程序节点的基本块;根据指向分析、调用图及调用点处的修改信息,得到了影响关注点的程序...
关键词:LLVM中间形式 影响分析 可达性分析 程序切片 
代码分析中的层次式静态检测方法
《计算机与现代化》2013年第9期58-61,65,共5页徐路路 张丽萍 郭越 
内蒙古自治区自然科学基金资助项目(2010MS0906);内蒙古自治区高等学校科学研究项目(NJZY13048);内蒙古师范大学2012年度研究生科研创新基金资助项目(CXJJS12057)
为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法。第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切片,然后将警告程序...
关键词:静态分析 速度重比重静态分析工具 层次式分析 警告程序切片 SAT求解器 
基于逆向程序流和函数依赖集的程序切片算法
《计算机与现代化》2013年第8期122-124,132,共4页刘艳 李龙澍 
安徽高等学校省级自然科学基金资助项目(KJ2011Z020)
程序切片技术大多是根据程序依赖图(PDG)和系统依赖图(SDG)的图可达性算法来优化得到感兴趣的程序集合,但是构造PDG和SDG需要很大的空间开销。本文提出一种基于逆向程序流和函数依赖集的切片算法,从兴趣点开始扫描逆向程序流来计算程序...
关键词:程序切片 动态程序切片算法 函数依赖集 逆向程序流 
基于概率推演的动态程序切片优先度计算方法
《计算机与现代化》2013年第3期12-16,共5页夏嘉斌 
国家自然科学基金资助项目(60673120)
为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;最后在该网络上运行概率推演并统计...
关键词:动态切片 程序调试 概率推演 自动化程序分析 错误定位 
检索报告 对象比较 聚类工具 使用帮助 返回顶部