基于抽象解释和数值熵的数值程序分析方法

• 作者: 刘久富 王正谦 陈哲
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 数值程序分析 正确性 抽象解释 数值信息熵
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 57-59,64
• 页数: 4页
• 分类号: TP301.2
• 字数: 3611字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2014.04.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘久富	南京航空航天大学自动化学院	53	207	8.0	11.0
2	陈哲	南京航空航天大学自动化学院	25	189	7.0	13.0
3	王正谦	南京航空航天大学自动化学院	4	1	1.0	1.0