Abstract: This paper gives a static analysis method with the advantage that it can know where there is this sort of faults before programs running. At first it analyses the error types about the array bound, introduces some basic concepts, gives a static analysis method about the fault type and the relevant algorithm, and then designs the testing system. At last, an experiment result is given.

Key words: Array bound; Static analysis; Algorithm; Control flow chart

摘要： 给出了一种静态分析方法，静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析，介绍了软件测试的一些基本概念，给出了这类错误的静态分析方法，并给出了相应的算法，而后给出了测试系统设计和开发，最后给出了软件测试的实验结果和分析。

关键词: 数组越界；静态分析；算法；控制流图