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

Variable Range Analysis Based on Interval Computation

作　　者：王雅文[1] 宫云战[1] 肖庆[1,2] 杨朝红[1,2] 

机构地区：[1]北京邮电大学网络与交换技术国家重点实验室,北京100876 [2]装甲兵工程学院信息工程系,北京100072

出　　处：《北京邮电大学学报》2009年第3期36-41,共6页Journal of Beijing University of Posts and Telecommunications

基　　金：国家高技术研究发展计划项目(2007AA010302)

摘　　要：首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率.The concept of interval-set is introduced firstly, and then the interval computations on Boolean and reference types are given. The interval computations are applied in program static analysis. An algorithm of range analysis based on interval computation （RABIC） is presented. The experiments show that it can detect infeasible paths in program and can improve efficiency of testing tools.

关 键 词：软件测试 静态分析 区间运算 范围分析 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]