%0 Journal Article
%T 扩展区间运算的变量值范围分析技术
%A 王雅文
%A 宫云战
%A 肖庆
%A 杨朝红
%J 北京邮电大学学报
%P 36-41
%D 2009
%R 10.13190/jbupt.200903.36.wangyw
%X 首先扩展了数值区间代数理论，首次提出区间集的概念并定义了区间集上的运算，接着定义了布尔型和引用型变量的取值区间及其运算，最后将区间运算应用于程序的静态分析中，提出了一种基于区间运算的变量取值范围分析方法(RangeAnalysisBasedonIntervalComputation,RABIC)。该方法一方面可以直接判定出程序中的不可达路径；另一方面可以应用于软件缺陷检测工具中，减少误报，提高检测结果的准确率。
%K 软件测试
%K 静态分析
%K 区间运算
%K 范围分析
%U http://www.buptjournal.cn/CN/abstract/abstract692.shtml