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

作者：王雅文 宫云战 肖庆 杨朝红软件测试静态分析区间运算范围分析

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社