C++类成员内存泄漏模式研究及检测方法

来源 :北京邮电大学 | 被引量 : 3次 | 上传用户:zhangduanhua0505
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件规模和成本的不断增大,如何保证软件的可靠性越来越成为软件开发过程中倍受关注的话题。软件测试尤其是静态测试作为保证软件可靠性的一个有效途径在近年来得到了快速发展。其中基于缺陷模式的缺陷检测系统的开发,更是在一定程度上实现自动化测试功能,节省了大量的人工成本。通过对大量实验数据的分析,本文提出了C++类成员内存泄漏的缺陷模式。众所周知,内存泄漏的缺陷很难通过静态分析方法检测却又普遍存在。目前很多学者针对内存泄漏的缺陷提出了多种相关的检测方法,但是大多只是以函数为基础进行的检测,忽略了类的继承关系中可能存在内存泄漏缺陷的现象。本文在前人研究的基础上,从类继承的角度提出了C++类成员内存泄漏的缺陷模式并设计出相应的检测算法。本文通过对C++类特性的分析,总结出四种类型的类成员内存泄漏缺陷模式。通过举例分析各模式的特点和产生原因,同时结合使用函数摘要技术,设计出类成员内存泄漏缺陷的检测算法。经过实验验证,本文所提出的类成员内存泄漏检测算法能够有效检测出代码中存在的内存泄漏缺陷。
其他文献
该文研究的主要内容包括基于CA的数字签名技术的身份认证技术和基于身份认证的在线交易的实现技术.文中介绍了电子商务在线交易和钢铁产品交易的特点,所应用的相关理论和关键
该文共分为四个部分,第一部分对系统的开发背景、功能,系统运行模式和DBMS系统的选择以及系统模型的建立进行了初步的说明、解释、论述;第二部分详细介绍了系统实现所使用的
随着计算机技术的发展和应用,对如今事务日益复杂的企业来说,工作流管理系统已经成为了企业提升竞争力的有效工具。近些年来,不同的工作流厂商推行着各自的标准和工作流系统,
该文以微型移动机器人为平台,主要研究用于障碍物检测的被动立体视觉技术和目的地识别的图像字符识别技术.首先介绍了移动机器人的系统结构,包括美国TRC公司的MATLAB平台和用
常规武器检测虚拟仪器开发平台,是用于对高炮、地炮、自行火炮等常规武器进行性能检测的通用仪器和开发平台。本平台的检测项目,按常规武器性能检测所需要的检测对象制定。即具
该文提出了一个基于组件的演化计算软件设计框架CBFEC(Component-Based Framework for Evolutionary Computation)来指导设计可重用、可扩展的演化计算软件.演化计算是人工智
随着互联网产业的大力发展,在全业务运营的格局下,互联网业务质量是保证竞争力的关键。在提升互联网业务质量的同时,更要重视提升互联网用户满意度。为了保障互联网业务质量,
随着WWW技术在全球范围内的迅速发展与普及,Internet上的资源日趋丰富,现有的搜索引擎技术和方法已经不能满足用户对信息需求快速性与有效性和的要求,更不能满足拥护按主题搜
结合当前计算机技术发展的现状,本文提出了采用B/S模式开发基于自己平台的办公自动化系统.文章首先阐述了办公自动化发展的各个阶段情况,然后介绍了B/S模式下三层结构及N层结
C3I(Command、Control、Communication and Intelligence)称为"指挥自动化"或者"综合电子信息系统",是现代化高科技发展的产物,是军队指挥发展的高级阶段.随着现代技术的日益