共 1 条
- [1] Static detection of pointer errors:An axiomatisation and a checking algorithm .2 P.Fradet,R.Caugne,and D.L.Metayer. Programming Languages and Systems-ESOP‘96,6th European Symposium on Programming . 1996
基于指针分析的内存泄露故障测试方法研究
被引：7
作者：
张威
卢庆龄
李梅
宫云战
机构：
[1] 装甲兵工程学院信息工程系
来源：
关键词：
内存泄漏;
软件测试;
指针分析;
D O I：
暂无
中图分类号：
TP306.2 [];
学科分类号：
摘要：
提出了一种新的指针分析方法,通过静态分析程序中指针的映射关系来检测内存泄漏故障;给出了指针映射代数系统的概念,在此基础上分析了如何构造指针映射集,并详细叙述了测试步骤;最后通过实例分析了该方法的应用效果,讨论了需要进一步解决的问题。该方法还考虑了控制流图和路径条件,提高了测试结果的精度。
引用
收藏
页码：22 / 24
页数：3
相关论文