内存泄露静态检测模型

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