数组越界的静态分析

• 作者: 张岩 惠小霞
• 来源期刊: 电脑编程技巧与维护
• 学科: 工学
• 关键词: 静态测试 数组越界 检测方法 工具
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 软件开发与设计
• 页码范围: 7-8,34
• 分类号: TP311.53
• 字数: 2445字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-4052.2012.04.002

摘要

软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃.根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法及工具进行比较分析,从而更好地实现软件测试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小霞		3	19	2.0	3.0
2	张岩		5	36	4.0	5.0