%0 Journal Article %T Research on Memory Leak Faults Testing Method Based on Pointer Analysis
基于指针分析的内存泄露故障测试方法研究* %A ZHANG Wei %A LU Qing-ling %A LI Mei %A GONG Yun-zhan %A
张威 %A 卢庆龄 %A 李梅 %A 宫云战 %J 计算机应用研究 %D 2006 %I %X 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. %K Memory Leak %K Software Test %K Pointer Analysis
内存泄漏 %K 软件测试 %K 指针分析 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=BB32C367FE7BF0E9&yid=37904DC365DD7266&vid=EA389574707BDED3&iid=F3090AE9B60B7ED1&sid=BC12EA701C895178&eid=B91E8C6D6FE990DB&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=1&reference_num=9