数组越界的静态测试分析  

Static Test and Analysis of Array Bound

作　　者：高传平[1] 宫云战[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072

出　　处：《计算机工程》2006年第3期70-72,共3页Computer Engineering

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

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]