Java语言中数组越界故障的静态测试研究

• 作者: 宫云战 李建茹 赵鹏宇
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 静态测试 数组越界 语法树 控制流图 整型区间
• 年，卷（期）: 2008,（27）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 87-90,108
• 页数: 5页
• 分类号: TP302.8
• 字数: 7460字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.27.028

摘要

面向具体故障的软件测试技术是当今一个研究热点.数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃.针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.此方法已实现,并已应用于面向故障的软件测试系统中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宫云战	北京邮电大学网络与交换技术国家重点实验室	50	577	15.0	23.0
2	李建茹		6	11	2.0	3.0
3	赵鹏宇		1	5	1.0	1.0