内存泄露静态检测模型  

Common Model for Detecting Invalid Arithmetic Operation

作　　者：柯平[1] 宫云战[1] 杨朝红[1,2] 

机构地区：[1]北京邮电大学网络与交换技术国家重点实验室,北京100876 [2]装甲兵工程学院信息工程系,北京100072

出　　处：《计算机科学》2009年第4期175-178,共4页Computer Science

基　　金：国家“863”计划(2006AA01Z184);国家“863”重点项目(2007AA010302)资助

摘　　要：内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存泄漏的误报率和漏报率。根据以上模型实现了一个自动测试工具,并已用于软件测试。Memory leak is a kind of error which does not free the memory apply by the program completely,or free the same memory more then one time. It is a common error which may cause system collapse. Based on the defect-oriented test strategy and combining the advantage of static analysis, the paper gave a static analysis model to analyse memory leak,and also added interval analysis to this model to reduce the rate of misinformation and omission. This model has been implemented and used in software testing.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]