期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于指针映射集的动态内存故障测试方法研究 被引量:9
1
作者 张威 宫云战 +1 位作者 卢庆龄 万琳 《计算机学报》 EI CSCD 北大核心 2009年第11期2274-2281,共8页
动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并... 动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且由于规则定义较为全面,漏报和误报率也较低. 展开更多
关键词 软件测试 静态分析 指针映射集 内存泄漏 指针引用
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部