%0 Journal Article
%T 基于抽象解释的变量值范围分析及应用
%A 王雅文
%A 宫云战
%A 肖庆
%A 杨朝红
%J 电子学报
%P 296-303
%D 2011
%X 精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值范围分析方法RABAI,引入拓宽算子计算循环体变量范围,对过程参数定义了特殊的未定义取值(undefined),使用函数来计算过程调用对程序上下文状态的影响.该方法能有效压缩变量取值空间,检测出程序中的矛盾语句节点和不可达路径,实验表明基于RABAI方法的缺陷检测工具DTS能有效降低误报率.
%K 软件测试
%K 静态分析
%K 抽象解释
%K 区间抽象
%K 范围分析
%K 不可达路径
%U http://www.ejournal.org.cn/CN/abstract/abstract265.shtml