| 基于变量使用的静态测试方法研究 |
| |
| 引用本文： | 夏玉辉,万琳,李鸣,王洪艳. 基于变量使用的静态测试方法研究[J]. 计算机工程与设计, 2009, 30(9) |
| |
| 作者姓名： | 夏玉辉 万琳 李鸣 王洪艳 |
| |
| 作者单位： | 装甲兵工程学院信息工程系,北京,100072;国家海洋局,北京,100860 |
| |
| 摘 要： | 基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法.以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了抽象语法树和控制流图,提出了一种静态查找这些故障的方法.测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度.
|
| 关 键 词： | 软件测试 变量定义未使用 变量未初始化 控制流图 静态测试 |
Static detecting method for variable used |
| |
| XIA Yu-hui,WAN Lin,LI Ming,WANG Hong-yan. Static detecting method for variable used[J]. Computer Engineering and Design, 2009, 30(9) |
| |
| Authors: | XIA Yu-hui WAN Lin LI Ming WANG Hong-yan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
