扩展区间运算的变量值范围分析技术

作者：王雅文; 宫云战; 肖庆; 杨朝红

来源：北京邮电大学学报, 2009, (03): 36-41.

• 软件测试
• 静态分析
• 区间运算
• 范围分析 software testing
• static analysis
• interval computation
• range analysis

首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率.

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学; 中国人民解放军装甲兵工程学院