一种过程内及过程间数组越界故障的静态检测方法

摘要：

数组越界是C和C++程序中常见故障，在各种软件测试系统的设计中，都占据重要位置．本文首先时数组越界故障进行分析，建立数组越界类型故障模型，设计并实现了基于静态分析，以函数摘要做基础对源代码进行函数内及函数间分析的检测方法．最后用实验方法对实例源码进行测试实验结果验证了该方法的有效性．此方法已实现，并应用于实际项目中．

关键词： 数组越界 静态分析 过程间 故障检测 源码分析

作者: 董娜 宫云战 金大海

作者单位: 北京邮电大学网络技术研究院,北京 100876,中国

会议类型: 国内会议

会议名称: 第六届中国测试学术会议

会议地点: 合肥

会议语种:中文

页码: 140-144

在线出版日期: 2010-07-24（万方平台首次上网日期，不代表论文的发表时间）