%0 Journal Article
%T 内存泄露静态检测模型
%J 计算机科学
%D 2009
%X 内存泄漏故障是程序中某处申请的内存空间，没有释放或没有完全释放或多次释放，是程序中常见的故障，极易导致系统崩溃。从面向具体错误的测试思想出发，采用静态测试的方法，给出了内存泄漏的静态检测模型，同时还引入了区间运算来减少内存泄漏的误报率和漏报率。根据以上模型实现了一个自动测试工具，并已用于软件测试。
%K 内存泄露区间运算静态测试故障模型别名分析
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=30051045&flag=1