未初始化变量故障的静态分析

摘要：

未初始化变量是C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃.本文针对C++语言中常见未初始化变量故障进行了分析,并从面向具体故障的测试思想出发,建立了未初始化变量的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.

关键词： 软件测试 语法树 控制流图 故障测试

作者: 万琳 刘娟 金丽亚

作者单位: 装甲兵工程学院信息工程系

会议类型: 国内会议

会议名称: 第四届中国测试学术会议

会议地点: 北戴河

会议语种:中文

页码: 472-476

在线出版日期: 2006-08-07（万方平台首次上网日期，不代表论文的发表时间）