引用未初始化变量故障静态测试方法研究

• 作者: 宫云战 曹文静
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 软件测试 引用未初始化变量 故障模型 静态测试方法
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 硬件技术及其它
• 页码范围: 948-951
• 页数: 4页
• 分类号: TP311
• 字数: 4788字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2007.05.039

摘要

引用未初始化变量故障往往存在于C/C++程序中,该类故障常常会导致系统崩溃.鉴于传统测试方法、编译器和现有静态测试工具检测这类故障的局限性,本文提出了基于引用未初始化变量故障模型的静态测试方法.首先给出了引用未初始化变量的形式化定义,作为研究引用未初始化变量的基础;分析了变量状态及其变化,建立了变量状态集产生模型,作为静态识别引用未初始化变量的前提基础;建立了引用未初始化变量故障模型,作为静态识别引用未初始化变量的依据;提出了引用未初始化变量自动测试算法.实验结果表明,基于引用未初始化变量故障模型的静态测试方法具有较高的故障检测准确率和测试效率,这说明建立的故障模型和自动测试方法是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹文静	装甲兵工程学院信息工程系	34	93	5.0	7.0
3	宫云战	装甲兵工程学院信息工程系	37	383	11.0	17.0