共 4 条
扩展区间运算的变量值范围分析技术
被引：20
作者：
王雅文
[1
]
宫云战
[1
]
肖庆
[1
,2
]
杨朝红
[1
,2
]
机构：
[1] 北京邮电大学网络与交换技术国家重点实验室
[2] 装甲兵工程学院信息工程系
来源：
关键词：
软件测试;
静态分析;
区间运算;
范围分析;
D O I：
暂无
中图分类号：
TP311.52 [];
学科分类号：
摘要：
首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率.
引用
收藏
页码：36 / 41
页数：6
相关论文