内存泄露静态检测模型

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