| 变量越界故障的测试方法研究 |
| |
| 引用本文： | 陈玉峰.变量越界故障的测试方法研究[J].电子测量技术,2012,35(5):128-131. |
| |
| 作者姓名： | 陈玉峰 |
| |
| 作者单位： | 北京信息职业技术学院 北京100018 |
| |
| 摘 要： | 变量越界是C/C++软件中的常见故障,广泛存在于C/C++软件的数值计算模块中。首先分析了变量越界故障的故障特点,并从面向具体故障的测试思想出发,结合区间运算技术给出了故障检测模型。通过对程序代码进行预处理,生成程序的控制流图,结合静态测试的特点,在遍历控制流图的基础上给出了这些故障的一种静态查找方法。该方法已被实现并测试了部分软件,实验效果表明该方法能检测出变量越界故障。
|
| 关 键 词： | 软件测试 故障模型 区间运算 静态分析 变量越界 |
Research on detection methods of variable out of bounds error |
| |
| Chen Yufeng.Research on detection methods of variable out of bounds error[J].Electronic Measurement Technology,2012,35(5):128-131. |
| |
| Authors: | Chen Yufeng |
| |
| Affiliation: | Chen Yufeng(Beijing Information Technology College,Beijing 100018) |
| |
| Abstract: | Variable out of bounds errors are often detected in C/C＋＋software,usually in numerical calculation module.The characteristics of such errors are analyzed.variable out of bounds error model is built based on defect-oriented testing strategy,using interval calculation technology.This paper designs a static detecting method for the error by traversing the control flow graph.This method has been implemented and a number of C2 software has been tested,the results show that this method is effective in detecting variable out of bounds errors. |
| |
| Keywords: | software testing error model interval algorithm static analysis variable out of bounds error |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
