基于指针分析的内存泄露故障测试方法研究  

Research on Memory Leak Faults Testing Method Based on Pointer Analysis

作　　者：张威[1] 卢庆龄[1] 李梅[1] 宫云战[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072

出　　处：《计算机应用研究》2006年第10期22-24,共3页Application Research of Computers

基　　金：总装备部"十五"预研资助项目(41315050107)

摘　　要：提出了一种新的指针分析方法,通过静态分析程序中指针的映射关系来检测内存泄漏故障;给出了指针映射代数系统的概念,在此基础上分析了如何构造指针映射集,并详细叙述了测试步骤;最后通过实例分析了该方法的应用效果,讨论了需要进一步解决的问题。该方法还考虑了控制流图和路径条件,提高了测试结果的精度。A new pointer analysis method is put forward which detects memory leak faults of software by analyzing static relationship of pointer mapping. The notion of pointer mapping algebraic system is proposed. On the basis of this, it analyzes how to construct pointer mapping sets and describes the detailed testing steps, At last, it brings forth the application effects through example and shows the problems need to be solved next step, This method takes into account the control flow graph and path condition, so it can increase the precision of result.

关 键 词：内存泄漏 软件测试 指针分析 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]