变量越界故障的测试方法研究

• 作者: 陈玉峰
• 来源期刊: 电子测量技术
• 学科: 工学
• 关键词: 软件测试 故障模型 区间运算 静态分析 变量越界
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 在线测试与故障诊断
• 页码范围: 128-131
• 分类号: TP312
• 字数: 4407字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7300.2012.05.030

摘要

变量越界是C/C++软件中的常见故障,广泛存在于C/C++软件的数值计算模块中.首先分析了变量越界故障的故障特点,并从面向具体故障的测试思想出发,结合区间运算技术给出了故障检测模型.通过对程序代码进行预处理,生成程序的控制流图,结合静态测试的特点,在遍历控制流图的基础上给出了这些故障的一种静态查找方法.该方法已被实现并测试了部分软件,实验效果表明该方法能检测出变量越界故障.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈玉峰		11	16	2.0	4.0