| 变量定义未使用故障的一种静态测试方法 |
| |
| 引用本文： | 夏玉辉,张威,李鸣,万琳.变量定义未使用故障的一种静态测试方法[J].计算机工程与设计,2007,28(3):515-516,604. |
| |
| 作者姓名： | 夏玉辉 张威 李鸣 万琳 |
| |
| 作者单位： | 装甲兵工程学院信息工程系 北京100072(夏玉辉，张威，万琳)，浦华控股有限公司 北京100084(李鸣) |
| |
| 基金项目： | 解放军总装备部预研项目 |
| |
| 摘 要： | 变量定义未使用故障是C/C 程序中的可见故障,该类故障可导致计算结果错误或系统崩溃.针对C/C 语言中变量定义未使用错误类型进行了分析,并从面向具体故障的测试思想出发,给出软件测试系统设计,建立了C/C 语言中变量定义未使用的故障模型,结合静态测试特点,给出了一种静态查找此类故障的方法.该方法已用于面向故障的软件测试系统中.
|
| 关 键 词： | 软件测试 静态测试 变量定义未使用故障 语法树 控制流图 变量 使用故障 测试方法 symbol static method 测试系统 软件测试 静态查找 测试特点 结合 故障模型 系统设计 思想 分析 错误类型 未使用 语言 系统崩溃 结果 |
| 文章编号： | 1000-7024（2007）03-0505-02 |
| 修稿时间： | 2006-03-29 |
Static detecting method for static symbol never referenced |
| |
| XIA Yu-hui,ZHANG Wei,LI Ming,WAN Lin.Static detecting method for static symbol never referenced[J].Computer Engineering and Design,2007,28(3):515-516,604. |
| |
| Authors: | XIA Yu-hui ZHANG Wei LI Ming WAN Lin |
| |
| Affiliation: | 1.Department of Information Engineering, Armored Forces Institute, Beijing 100072, China; 2. Thunip Holdings Company Limited, Beijing 100084, China |
| |
| Abstract: | Variable that is declared but never used is a kind of error in programs written in C/C ,it may cause system collapse.Theclassical C/C variable that is declared but never used errors is analysed,and then a system is designed,a defect model of variable that isdeclared but never used of C/C based on the defect-oriented testing strategy is established,then a detecting method of variable that is de-clared but neverused combining the advantage of static analysis is described.This theory is implemented in a defect-oriented testing system. |
| |
| Keywords: | software testing static testing variable that is declared but neverused syntax tree controlling stream graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
