空指针引用故障模型与测试方法研究

• 作者: 万琳 卢庆龄 张威 肖庆
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 软件测试 空指针引用 静态分析
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 学术探讨
• 页码范围: 71-72,94
• 页数: 3页
• 分类号: TP302.8
• 字数: 2413字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.04.022

摘要

空指针态引用故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了一种基于指针映射关系分析的测试方法,给出了面向故障的指针映射集的构造规则,以此为基础建立了故障模型.通过指针映射集和故障模型,可以自动检测空指针引用内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖庆	装甲兵工程学院信息工程系	25	258	8.0	15.0
2	张威	装甲兵工程学院信息工程系	34	186	8.0	12.0
3	万琳	装甲兵工程学院信息工程系	26	160	8.0	11.0
4	卢庆龄	装甲兵工程学院信息工程系	31	153	8.0	11.0