一种悬挂指针故障的静态检测方法
悬挂指针是指那些不指向任何合法对象的指针，它引起的故障会导致程序产生无法预料的后果并且不容易找到问题的原因．针对C/C++语言中常见悬挂指针故障进行了分析，建立了悬挂指针类型故障模型，设计并实现了一种悬挂指针故障的静态检测方法．通过函数摘要实现跨函数分析，方法能够同时检测函数内和函数间的悬挂指针故障．实验证明，该方法能够检测出故障点，误报率低．该方法已应用于软件测试系统中进行实际项目的缺陷检测．
软件测试 静态分析 悬挂指针 函数摘要
孙涛 宫云战 金大海
北京邮电大学网络技术研究院,北京 100876,中国
国内会议
合肥
中文
113-117
2010-07-24（万方平台首次上网日期，不代表论文的发表时间）