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

摘要：

基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法.以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了抽象语法树和控制流图,提出了一种静态查找这些故障的方法.测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度.

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

所属期刊栏目：30

分类号：TP302.8(计算技术、计算机技术)

在线出版日期：2009-06-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2205-2207,2216