数组越界的静态分析  

Static Analysis of Array Bound

作　　者：惠小霞[1] 张岩[1] 

机构地区：[1]江苏自动化研究所,江苏连云港222006

出　　处：《电脑编程技巧与维护》2012年第4期7-8,34,共3页Computer Programming Skills & Maintenance

摘　　要：软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法及工具进行比较分析,从而更好地实现软件测试。software test include static testing and dynamic testing, a^Tay hound is the one of high frequency issue in the static testing, and bring the disserve is huge, even lead software system breakdown~ This paper on the basis of array bound phenomenon and characteristic, particular description the definition and species of array bound, give the produce condition and the skill of avoid array bound, also compare and analysis the detection method and tool of array bound, thereby good enough actualize software test.

关 键 词：静态测试 数组越界 检测方法 工具 

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