删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

C/C++程序内存泄漏检测和分析技术的研究与实现

北京航空航天大学 辅仁网/2017-07-06

文献详情


C/C++程序内存泄漏检测和分析技术的研究与实现
文献类型学位
作者黄瑶[1]
机构
授予学位硕士
年度2004
学位授予单位北京航空航天大学
语言中文
关键词软件测试;内存泄漏;数据流分析;程序控制流程图
摘要程序内存错误的检测是软件测试的重点和难点之一.内存泄漏的产生和体现具有隐蔽性和积累性的特征,往往容易被人们忽视.C/C++程序设计语言能够让程序员灵活而高效地进行动态堆内存的分配和释放,这是C/C++编程语言的重要优点之一;然而,由于程序的复杂性以及人类思维的局限性等主客观原因,程序员在利用C/C++编程语言这一特点管理动态内存时,很容易造成程序内存泄漏.如果不及时发现并解决程序中内存泄漏的问题,长时间运行存在内存泄漏的程序,将浪费大量宝贵的系统内存资源,从而导致系统运行速度减慢甚至系统崩溃等严重后果.为了提高软件的性能,保证软件的可靠性,检测C/C++程序的内存泄漏具有重要的意义.该文首先研究了国内外常见的内存泄漏检测方法.包括静态检测法、源代码插装法、目标码插装法、添加保护字节法等.目前各种内存泄漏检测系统仅能检测出被测程序中是否存在内存泄漏,提供分配动态内存的源代码位置信息,但缺少对内存泄漏产生路径和原因的分析.该文通过对内存泄漏动态检测法以及内存泄漏产生原因的分析与研究,提出了结合内存泄漏动态检测法、数据流分析以及程序执行路径跟踪技术的内存泄漏检测和分析方法,设计并实现了一个可支持MS Visual C++程序并且提供内存泄漏产生路径分析的内存泄漏检测和分析工具原型.首先,分析MS Visual C++Debugger内存调试机制,通过在被测程序中嵌入Visual C++的C运行时刻函数库内存调试函数来检测程序内存泄漏.然后,在SafePro/C++静态分析器CppSA的基础上,使用动态测试技术对检测出的内存泄漏结果进行数据流分析、程序执行路径分析.最后,对论文的工作进行了总结,同时也指出了今后的改进设想.



影响因子:


暂无成果共有人
dc:title:C/C++程序内存泄漏检测和分析技术的研究与实现
dc:creator:黄瑶
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media:北京航空航天大学
dc:identifier: LnterrelatedLiterature:北京航空航天大学.2004.
dc:identifier:DOI:
dc: identifier:ISBN:
相关话题/程序 学位 软件 技术 北京航空航天大学

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 多学科设计优化方法与技术的应用
    文献详情多学科设计优化方法与技术的应用文献类型学位作者孔晨[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词多学科设计优化;UG;iSIGHT;AutoForge;Tcl;expect;试验设计摘要复杂工程系统的设计是一个多学科互相适应的系统过程.设计过程 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 无线视频压缩与传输关键技术研究
    文献详情无线视频压缩与传输关键技术研究文献类型学位作者牛建伟[1]机构北京航空航天大学↓授予学位博士后年度2004学位授予单位北京航空航天大学语言中文关键词无线网络;视频;H.264;位率控制;率失真优化;包调度;视频传输摘要本文针对无线环境下的视频压缩和传输中的关键技术进行了系统深入的研究,对视频 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 直升机飞行航迹规划与控制跟踪技术研究
    文献详情直升机飞行航迹规划与控制跟踪技术研究文献类型学位作者孙向春[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词直升机;航迹规划;航迹跟踪;地形跟踪;地形回避;数字地图;最优控制;广义预测控制摘要该论文对直升机贴地飞行航迹规划与控制跟踪技术做了系统的研 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 综合自然环境(SNE)关键技术研究
    文献详情综合自然环境(SNE)关键技术研究文献类型学位作者刘卫华[1]机构北京航空航天大学↓授予学位博士年度2004学位授予单位北京航空航天大学语言中文关键词综合自然环境;概念模型;数据模型;环境数据库;可视化摘要综合自然环境(SNE)是包括地形、海洋、大气和空间的自然环境在分布仿真环境中的表示,它 ...
    北京航空航天大学 辅仁网 2017-07-06
  • C++静态分析预处理技术及其支持工具的研究与实现
    文献详情C++静态分析预处理技术及其支持工具的研究与实现文献类型学位作者尚卫东[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词软件测试;C++预处理;ANTLR;静态分析优化技术摘要C/C++源代码静态分析器设计中的一个关键的问题是如何处理源程序中的预处 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 弹载捷联式天线平台的稳定技术研究及其角跟踪系统设计
    文献详情弹载捷联式天线平台的稳定技术研究及其角跟踪系统设计文献类型学位作者周瑞青[1]机构北京航空航天大学↓授予学位博士年度2004学位授予单位北京航空航天大学语言中文关键词天线稳定系统;捷联稳定平台;解耦精度;天线跟踪;鲁棒两自由度H<,∞>控制摘要导引头是自动寻的战术导弹的关键组成部分,其功能是 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 智能泵源系统关键技术的研究
    文献详情智能泵源系统关键技术的研究文献类型学位作者王世富[1]机构北京航空航天大学↓授予学位博士年度2004学位授予单位北京航空航天大学语言中文关键词智能泵源系统;液压泵;负载敏感;增益调度;自适应控制;虚拟仪器摘要为了提高军用飞机的性能,高压、大功率成了飞机液压系统的一个发展趋势.由于目前飞机液压 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 高动态GPS信号模拟器软件方案及实现
    文献详情高动态GPS信号模拟器软件方案及实现文献类型学位作者张颖慧[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词全球定位系统(GPS);高动态;信号模拟器;误差模型;多普勒频移摘要高动态GPS卫星信号模拟器可以根据载体的动态环境,精确产生其上安装的GP ...
    北京航空航天大学 辅仁网 2017-07-06
  • 嵌入式软件仿真测试平台中的仿真模型开发研究
    文献详情嵌入式软件仿真测试平台中的仿真模型开发研究文献类型学位作者崔小乐[1]机构北京航空航天大学↓授予学位博士年度2004学位授予单位北京航空航天大学语言中文关键词嵌入式软件仿真测试平台;仿真模型;实时体系结构描述语言;基于DSSA的开发摘要嵌入式软件仿真测试平台是面向嵌入式软件测试应用的计算机仿 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 航空电子统一网络关键技术研究
    文献详情航空电子统一网络关键技术研究文献类型学位作者姜震[1]机构北京航空航天大学↓授予学位博士年度2004学位授予单位北京航空航天大学语言中文关键词航空电子;航空电子综合化;局部区域网络;航空电子统一网络;可扩展一致性接口;实时系统;介质访问控制;可靠性;计算机仿真;性能评价摘要本文主要针对航空电 ...
    北京航空航天大学 辅仁网 2017-07-06