魏鹏

作品数:1被引量:5H指数:1
导出分析报告
供职机构:华中师范大学更多>>
发文主题:故障检测控制流图内存泄漏内存多线程程序更多>>
发文领域:自动化与计算机技术文化科学经济管理更多>>
发文期刊:《计算机科学》更多>>
所获基金:中央高校基本科研业务费专项资金软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
内存泄漏故障静态分析研究被引量:5
《计算机科学》2010年第6期171-175,共5页叶俊民 魏鹏 金聪 王敬华 张清国 张维 
武汉大学计算机软件工程国家重点实验室开放基金项目(编号:SKLSE20080705);湖北省自然科学基金(编号:2007ABA034;2008CDB349);华中师范大学中央高校基本科研业务费项目(编号:CCNU09Y01009和CCNU09Y01013)资助
目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能...
关键词:内存泄漏 故障检测 控制流图 故障模型 静态分析技术 
检索报告 对象比较 聚类工具 使用帮助 返回顶部