面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障，该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析，并从面向具体故障的测试思想出发，建立了Java语言中数组越界的故障模型，结合静态测试的特点，给出了一种静态查找此类故障的方法。此方法已实现，并已应用于面向故障的软件测试系统中。