基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
动态分析是程序理解的重要方法,而插装技术是其中常用的关键技术之一.介绍了QESat/C++中动态分析子系统的插装策略,在其基础上提出并实现了新的插装器并改进了插装探针库的效率.实验表明,改进后的动态分析子系统具有插装速度快、动态结果文件小、动态信息合并效率高的优点.展望了现有系统如何支持新的动态分析技术,最后对全文进行了总结.
推荐文章
基于动态插桩的程序分析工具的性能改进
动态插桩
离线分析
并行数据收集
性能优化
程序分析
无陷入插装方式的研究与设计
性能分析
插装
无陷入插装
嵌入式代码插装
嵌入式软件分析
基于函数切片的插装优化在软件测试中的应用
源代码覆盖
嵌入式软件
函数切片
逻辑覆盖测试
基于动态插桩的程序分析工具的性能改进
动态插桩
离线分析
并行数据收集
性能优化
程序分析
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 程序动态分析系统中插装方式的改进
来源期刊 计算机工程与设计 学科 工学
关键词 动态分析 插装 软件理解 探针 不变式分析
年,卷(期) 2007,(19) 所属期刊栏目 计算机软件与算法
研究方向 页码范围 4585-4588
页数 4页 分类号 TP311
字数 6076字 语种 中文
DOI 10.3969/j.issn.1000-7024.2007.19.001
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 金茂忠 北京航空航天大学计算机学院 124 2563 23.0 48.0
2 刘超 北京航空航天大学计算机学院 138 2512 20.0 47.0
3 钟芳挺 北京航空航天大学计算机学院 1 12 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (3)
节点文献
引证文献  (12)
同被引文献  (20)
二级引证文献  (22)
1978(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(2)
  • 参考文献(2)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(3)
  • 引证文献(2)
  • 二级引证文献(1)
2011(2)
  • 引证文献(1)
  • 二级引证文献(1)
2012(2)
  • 引证文献(1)
  • 二级引证文献(1)
2013(3)
  • 引证文献(2)
  • 二级引证文献(1)
2014(4)
  • 引证文献(2)
  • 二级引证文献(2)
2015(2)
  • 引证文献(0)
  • 二级引证文献(2)
2016(2)
  • 引证文献(1)
  • 二级引证文献(1)
2017(3)
  • 引证文献(1)
  • 二级引证文献(2)
2018(3)
  • 引证文献(1)
  • 二级引证文献(2)
2019(9)
  • 引证文献(0)
  • 二级引证文献(9)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
动态分析
插装
软件理解
探针
不变式分析
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与设计
月刊
1000-7024
11-1775/TP
大16开
北京142信箱37分箱
82-425
1980
chi
出版文献量(篇)
18818
总下载数(次)
45
总被引数(次)
161677
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导