Java语言中数组越界故障的静态测试研究  

Research on static test about array index out of range in Java language

作　　者：赵鹏宇 李建茹[2] 宫云战[3] 

机构地区：[1]总装工程兵科研一所,江苏无锡214035 [2]唐山学院,河北唐山063020 [3]北京邮电大学网络与交换技术国家重点实验室,北京100876

出　　处：《计算机工程与应用》2008年第27期87-90,108,共5页Computer Engineering and Applications

基　　金：国家高技术研究发展计划(863)(No.2006AA01Z184)~~

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

关 键 词：静态测试 数组越界 语法树 控制流图 整型区间 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]