基于指针映射集的动态内存故障测试方法研究

• 作者: 万琳 卢庆龄 宫云战 张威
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件测试 静态分析 指针映射集 内存泄漏 空指针引用
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 短文
• 页码范围: 2274-2281
• 页数: 8页
• 分类号: TP302
• 字数: 7031字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.02274

摘要

动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且出于规则定义较为全面,漏报和误报率也较低.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宫云战	北京邮电大学网络与交换技术国家莺点实验室	50	577	15.0	23.0
2	张威	装甲兵工程学院信息工程系	34	186	8.0	12.0
4	万琳	装甲兵工程学院信息工程系	26	160	8.0	11.0
5	卢庆龄	装甲兵工程学院信息工程系	31	153	8.0	11.0