变量定义未使用故障的一种静态测试方法  

Static detecting method for static symbol never referenced

作　　者：夏玉辉[1] 张威[1] 李鸣 万琳[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072 [2]浦华控股有限公司,北京100084

出　　处：《计算机工程与设计》2007年第3期515-516,604,共3页Computer Engineering and Design

基　　金：总装预研基金项目(41315050107)

摘　　要：变量定义未使用故障是C/C++程序中的可见故障,该类故障可导致计算结果错误或系统崩溃。针对C/C++语言中变量定义未使用错误类型进行了分析,并从面向具体故障的测试思想出发,给出软件测试系统设计,建立了C/C++语言中变量定义未使用的故障模型,结合静态测试特点,给出了一种静态查找此类故障的方法。该方法已用于面向故障的软件测试系统中。Variable that is declared but never used is a kind of error in programs written in C/C＋＋, it may cause system collapse. The classical C/C＋＋ variable that is declared but never used errors is analysed, and then a system is designed, a defect model of variable that is declared but never used of C/C＋＋ based on the defect-oriented testing strategy is established, then a detecting method of variable that is declared but never used combining the advantage of static analysis is described. This theory is implemented in a defect-oriented testing system.

关 键 词：软件测试 静态测试 变量定义未使用故障 语法树 控制流图 

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