10.3969/j.issn.1002-137X.2009.04.045
内存泄露静态检测模型
内存泄漏故障是程序中莱处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃.从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存泄漏的误报率和漏报率.根据以上模型实现了一个自动测试工具,并已用于软件测试.
内存泄露、区间运算、静态测试、故障模型、别名分析
36
TP311.5(计算技术、计算机技术)
国家"863"计划2006AA01Z184;国家"863"重点项目2007AA010302
2009-05-22(万方平台首次上网日期,不代表论文的发表时间)
共4页
175-178