摘要：精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值范围分析方法RABAI,引入拓宽算子计算循环体变量范围,对过程参数定义了特殊的未定义取值（undefined）,使用函数摘要来计算过程调用对程序上下文状态的影响.该方法能有效压缩变量取值空间,检测出程序中的矛盾语句节点和不可达路径,实验表明基于RABAI方法的缺陷检测工具DTS能有效降低误报率.

关键词：软件测试 静态分析 抽象解释 区间抽象 范围分析 

单位：北京邮电大学网络与交换技术国家重点实验室; 北京100876; 装甲兵工程学院信息工程系; 北京100072