数组越界的故障模型及其检测方法研究

• 作者: 叶俊民 叶焰锋 詹泽梅 雷志翔
• 来源期刊: 科技与创新
• 关键词: 软件测试 数组越界 故障模型
• 年，卷（期）: 2007,（31）
• 所属期刊栏目: 故障诊断
• 页码范围: 145-147
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.31.062

摘要

数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃.首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型.根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检测出程序中存在的数组越界故障的方法.最后通过实例分析了该方法的应用过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶俊民	华中师范大学计算机科学系	85	454	11.0	16.0
2	雷志翔	华中师范大学计算机科学系	5	45	3.0	5.0
3	叶焰锋	华中师范大学计算机科学系	4	38	2.0	4.0
4	詹泽梅	华中师范大学计算机科学系	4	45	3.0	4.0