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

摘要

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