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

基于抽象域和数值熵协同的数值程序分析
引用本文:马国富,王正谦,刘久富.基于抽象域和数值熵协同的数值程序分析[J].计算机工程与应用,2015(6):55-58,119.
作者姓名:马国富  王正谦  刘久富
作者单位:1. 安阳工学院 计算机科学与信息工程学院,河南 安阳,455000
2. 南京航空航天大学 自动化学院,南京,210016
基金项目:国家自然科学基金(No.60674100);南京航空航天大学基本科研业务费专项科研项目(No.NS2010069)
摘    要:在软件日益丰富的信息时代,程序的正确性验证问题需要深入地研究。提出了基于抽象解释和数值熵协同的数值程序正确性分析方法。利用抽象解释理论框架对数值程序进行抽象解释分析,提取不变量的抽象域区间;在抽象域区间上进行数值熵运算;运行程序获取数值变量的实际取值,计算数值熵;将抽象域区间数值熵和实际数值熵信息进行对比分析,准确地判断程序的正确性等性质。单纯的抽象解释分析只可以近似得到数值变量的取值范围,而引入数值熵算法,在取值范围的基础上对程序静态分析的准确性进一步检验,同时也做到了对程序的正确性验证。通过C语言程序实例,对抽象解释基础上的熵值分析方法进行了验证,证明了该分析方法的可行性和正确性。

关 键 词:数值程序分析  正确性  抽象解释  数值信息熵

Value range analysis based on abstract domain and value entropy
MA Guofu , WANG Zhengqian , LIU Jiufu.Value range analysis based on abstract domain and value entropy[J].Computer Engineering and Applications,2015(6):55-58,119.
Authors:MA Guofu  WANG Zhengqian  LIU Jiufu
Affiliation:MA Guofu;WANG Zhengqian;LIU Jiufu;School of Computer Science and Information Engineering, Anyang Institute of Technology;College of Automation Engineering, Nanjing University of Aeronautics and Astronautics;
Abstract:
Keywords:value range analysis  validity  abstract interpretation  value information entropy
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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