一种过程间未初始化变量静态检测方法

摘要：

　　未初始化变量是C/C++中的常见故障，本文针对未初始化变量提出了一种域敏感变量过程间静态检测方法。本文首先分析了一个由函数调用引起的域敏感变量使用未初始化模式的例子，然后提出了域敏感变量过程间约束信息模型和域成员变量过程间约束信息模型，在此基础上，介绍了基于静态分析和控制流图的过程间约束信息生成和传播算法。此方法在前置约束信息中增加域敏感变量的域成员的信息，将对一个变量的检测扩展为对变量的多个成员的检测，提高了检测的精度。最后本文通过一个应用实例说明了此方法的分析过程。

关键词： 软件测试 静态分析 域敏感变量 约束信息

作者: Zhou Li 周莉 Jin Dahai 金大海 Gong Yunzhan 宫云战

作者单位: State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecom 北京邮电大学网络与交换技术国家重点实验室,北京100876

会议类型: 国内会议

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

会议地点: 杭州

会议语种:中文

页码: 89-93

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