数组越界的静态测试分析

• 作者: 宫云战 高传平
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 数组越界 静态分析 算法 控制流图
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 70-72
• 页数: 3页
• 分类号: TP31
• 字数: 4903字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.03.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宫云战	装甲兵工程学院信息工程系	37	383	11.0	17.0
2	高传平	装甲兵工程学院信息工程系	3	19	2.0	3.0