«上一篇/Previous Article|本期目录/Table of Contents|下一篇/Next Article»

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:

24

期数:

2014年04期

页码:

57-59

栏目:

智能、算法、系统工程

出版日期:

2014-04-30

文章信息/Info

Title:

Value Range Analysis Method Based on Abstract Interpretation and Value Entropy

文章编号:

1673-629X（2014）04-0057-03

作者:

王正谦; 刘久富; 陈哲

南京航空航天大学 自动化学院

Author(s):

WANG Zheng-qian; LIU Jiu-fu; CHEN Zhe

关键词:

数值程序分析; 正确性; 抽象解释; 数值信息熵

Keywords:

value range analysis; correctness; abstract interpretation; value information entropy

分类号:

TP301.2

文献标志码:

A

摘要:

在高度依赖软件的信息时代，程序的正确性验证问题需要深入研究。文中提出了基于抽象解释和数值熵的数值程序正确性分析方法。抽象解释理论为程序静态分析提供了一个通用框架，在编译时能够自动地推导程序的动态性质。数值信息熵能够反映变量的值范围，通过熵值的大小可以判断变量取值是否在规定范围内。通过一个C程序对该方法进行了验证，该数值程序分析方法可以做到对程序正确性等的验证，并且较单纯地抽象解释近似分析，正确性、可靠性更高。

Abstract:

In the information age,software is highly dependent,thus the correctness of the program validation issues need to be further study. In the paper,introduce the value range analysis method based on abstract interpretation and value information entropy. The abstract interpretation as an important method of the static analysis,uses testing framework to deduce the program's dynamic property automati-cally. The value information entropy can reflect the range of a variable,through the entropy,can judge whether variable values within the prescribed scope. Through validating this method with C program,find the method can validate the correctness of the running program. Compared with the only abstract interpretation analysis,the method is higher in validity and reliability.

常用功能

更新日期/Last Update: 1900-01-01