10.3969/j.issn.1007-5321.2009.03.009
扩展区间运算的变量值范围分析技术
首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC). 该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率.
软件测试、静态分析、区间运算、范围分析
32
TP311.5(计算技术、计算机技术)
国家高技术研究发展计划项目2007AA010302
2009-07-22(万方平台首次上网日期,不代表论文的发表时间)
共6页
36-41