基于抽象解释的非函数依赖不变量的检测方法

摘要：

不变量的检测是提高软件质量的一种有效方法.针对传统静态检测方法可能带来无效的不变量、缺失不变量等缺陷,文中提出一种以抽象解释理论为基础的非函数依赖不变量的静态检测方法.首先利用词法语法分析得到抽象语法树,然后将抽象语法树转化成抽象域图,接着对抽象域图进行抽象执行得到程序中可执行的路径,最后依据定义的非函数依赖不变量表现形式对可执行路径分析得到程序中潜在的非函数依赖不变量.同时通过一个C程序为例对该方法进行验证说明.

关键词：不变量、静态检测、抽象解释、非函数依赖

所属期刊栏目：22

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60674100;南京航空航天大学青年科学创新基金NS2010069

在线出版日期：2012-06-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：5-8