Abstract: The software test technology oriented to the special fault is a hotspot in the recent years.Array index out of range is a common fault in Java programme design，which can easily cause system collapse.The paper analyzes the classical array index out of range fault in Java programme，establishes a defect model combining the advantages of static test and gives a static method for searching for such faults.The method has been implemented in the defect-oriented test system.

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