| 数组越界的静态分析 |
| |
| 引用本文： | 惠小霞,张岩. 数组越界的静态分析[J]. 电脑编程技巧与维护, 2012, 4(4): 7-8,34. DOI: 10.3969/j.issn.1006-4052.2012.04.002 |
| |
| 作者姓名： | 惠小霞 张岩 |
| |
| 作者单位： | 1.江苏自动化研究所,江苏连云港,222006;2.江苏自动化研究所,江苏连云港,222006 |
| |
| 摘 要： | 软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃.根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法及工具进行比较分析,从而更好地实现软件测试.
|
| 关 键 词： | 静态测试 数组越界 检测方法 工具 |
Static Analysis of Array Bound |
| |
| HUI Xiaoxia , ZHANG Yan. Static Analysis of Array Bound[J]. Computer Programming Skills & Maintenance, 2012, 4(4): 7-8,34. DOI: 10.3969/j.issn.1006-4052.2012.04.002 |
| |
| Authors: | HUI Xiaoxia ZHANG Yan |
| |
| Affiliation: | (Jiangsu Automation Research Institute, Jiangsu Lianyungang 222006) |
| |
| Abstract: | 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. |
| |
| Keywords: | static test, Array bound detection method tool |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
