内存泄漏故障静态测试方法研究
内存泄漏故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态测试方法主要存在漏报和误报过多的情况.针对这些问题,分析了指针状态及其转换函数,给出了内存泄漏故障的形式化描述,并以此为基础,提出了一种静态测试方法.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.测试结果表明,该方法能够有效检测内存泄漏故障,而且误报率也较低.
内存泄漏 软件测试 静态测试
张威 李辉 毕学军 宫云战
装甲兵工程学院信息工程系,北京,100072 延边工业学校,延边,133000
国内会议
北戴河
中文
60-64
2006-08-07（万方平台首次上网日期，不代表论文的发表时间）