内存泄露静态检测模型

摘要：

内存泄漏故障是程序中莱处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃.从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存泄漏的误报率和漏报率.根据以上模型实现了一个自动测试工具,并已用于软件测试.

关键词：内存泄露、区间运算、静态测试、故障模型、别名分析

所属期刊栏目：36

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家"863"计划2006AA01Z184;国家"863"重点项目2007AA010302

在线出版日期：2009-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：175-178