| 基于抽象解释的变量值范围分析及应用 |
| |
| 引用本文： | 王雅文,宫云战,肖庆,杨朝红.基于抽象解释的变量值范围分析及应用[J].电子学报,2011,39(2):296-303. |
| |
| 作者姓名： | 王雅文 宫云战 肖庆 杨朝红 |
| |
| 作者单位： | 北京邮电大学网络与交换技术国家重点实验室;装甲兵工程学院信息工程系; |
| |
| 基金项目： | 国家863高技术研究发展计划重点项目(No.2007AA010302);国家863高技术研究发展计划(No.2009AA012404) |
| |
| 摘 要： | 精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值范围分析方法RABAI,引入拓宽算子计算循环体变量范围,对过程参数定义了特殊的未定义取值(undef...
|
| 关 键 词： | 软件测试 静态分析 抽象解释 区间抽象 范围分析 不可达路径 |
| 收稿时间： | 2009-11-22 |
A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications |
| |
| WANG Ya-wen,GONG Yun-zhan,XIAO Qing,YANG Zhao-hong.A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications[J].Acta Electronica Sinica,2011,39(2):296-303. |
| |
| Authors: | WANG Ya-wen GONG Yun-zhan XIAO Qing YANG Zhao-hong |
| |
| Affiliation: | WANG Ya-wen1,GONG Yun-zhan1,XIAO Qing1,2,YANG Zhao-hong2(1.State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China,2.Department of Information Engineering,Academy of Armored Force Engineering,Beijing 100072,China) |
| |
| Abstract: | Variable range analysis is essential for compiler optimization,static analysis and software testing.This paper extends the classical interval abstraction,and defines the new numeric interval-set algebra,Boolean interval algebra and reference interval algebra.Then it presents a unified method of variable range analysis based on abstract interpretation(RABAI).This method uses widening operator to compute variable range in loop,undefined value to describe procedure parameters,and applies function summary as a ... |
| |
| Keywords: | software testing static analysis abstract interpretation interval abstraction range analysis infeasible path |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
|
