未初始化变量的一种静态测试方法

摘要：

软件测试系统的研制是软件测试领域的一个研究热点.未初始化变量是C/C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃.针对C/C6++语言中常见未初始化变量故障进行了分析研究,并从面向具体故障的测试思想出发,建立了C/C++语言中未初始化变量的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.该方法已实现,并已应用于面向故障的软件测试系统中.

关键词：软件测试、静态测试、未初化变量、语法树、控制流图

所属期刊栏目：28

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

资助基金：总装备部科研项目41315050107

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

页数：共4页

页码：751-754