基于变量使用的静态测试方法研究  

Static detecting method for variable used

作　　者：夏玉辉[1] 万琳[1] 李鸣[2] 王洪艳[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072 [2]国家海洋局,北京100860

出　　处：《计算机工程与设计》2009年第9期2205-2207,2216,共4页Computer Engineering and Design

摘　　要：基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了抽象语法树和控制流图,提出了一种静态查找这些故障的方法。测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度。Based on the static analysis method of source codes,an automatic testing method is proposed to detect static symbol never referenced and uninitialized variable faults in programs.Based on the forms of static symbol never referenced and uninitialized variable faults,the process to analyze source codes and identify static symbol never referenced and uninitialized variable faults statically is modeled.On the basis of the defect-oriented testing strategy,synthetically syntax tree and controlling stream graph are adopted and a static testing method of detecting static symbol never referenced and uninitialized variable faults are put forward.Results of experimentation show that this method can detect static symbol never referenced and uninitialized variable faults effectively,and the precision of testing results are increased.

关 键 词：软件测试 变量定义未使用 变量未初始化 控制流图 静态测试 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]