首页 | 本学科首页   官方微博 | 高级检索  
     

基于区间向量抽象域的数值程序分析算法
引用本文:吴世堂,李宁,詹海潭.基于区间向量抽象域的数值程序分析算法[J].计算机工程与设计,2015(2):410-414.
作者姓名:吴世堂  李宁  詹海潭
作者单位:中国航天科技集团公司第七一〇研究所,北京,100037
基金项目:国家自然科学基金重大项目
摘    要:为权衡对矩阵运算静态分析的精度和效率,针对程序中表示矩阵的变量,提出一种基于抽象解释的抽象与分析算法,即区间向量抽象域。将矩阵变量抽象为一个区间向量对,即行区间向量和列区间向量,矩阵各元素的值范围是由这两个区间向量对应元素的交集表示;设计在该抽象域上的操作以及迁移函数。通过对区间向量抽象域的计算,较好地权衡矩阵元素值范围分析的精确度和分析效率。实验结果表明,该抽象域能够较精确地分析程序中矩阵各元素的值范围,与现有的分析数组的抽象域相比,在分析精度和效率之间取得了合理权衡。

关 键 词:抽象解释  区间向量  抽象域  静态分析  区间分析

Numerical programs analysis based on interval vector abstract domain
WU Shi-tang,LI Ning,ZHAN Hai-tan.Numerical programs analysis based on interval vector abstract domain[J].Computer Engineering and Design,2015(2):410-414.
Authors:WU Shi-tang  LI Ning  ZHAN Hai-tan
Affiliation:WU Shi-tang;LI Ning;ZHAN Hai-tan;No.710 Institute,China Aerospace Science and Technology Corporation;
Abstract:
Keywords:abstract interpretation  interval vector  abstract domain  static analysis  interval analysis
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号