计算机技术与发展2012，Vol.22Issue(4)：5-8,4.
基于抽象解释的非函数依赖不变量的检测方法
Abstract Interpretation Based Detecting Method for Non-Functional Dependence Invariant
摘要
Abstract
The discovery of invariants is an effective method for improving software quality. As the traditional static detecting may contain invalid invariant and absence of invariant defects,it proposes an abstract interpretation based static detecting method for non-functional dependence invariant. Firstly get the abstract syntax tree by lexical analysis and syntax analysis. Secondly use abstract interpretation to obtain the executable path of program after the abstract syntax tree has transferred to the abstract domain map. Finally get potential invariants by analyzing the executable path of program referring to non-functional dependence invariant forms. At the same time validate this method with C program.关键词
不变量/静态检测/抽象解释/非函数依赖Key words
invariant/static detecting/abstract interpretation/non-functional dependence分类
信息技术与安全科学引用本文复制引用
苏青琴,刘久富,陈魁,刘蓉..基于抽象解释的非函数依赖不变量的检测方法[J].计算机技术与发展,2012,22(4):5-8,4.基金项目
国家自然科学基金(60674100) （60674100）
南京航空航天大学青年科学创新基金(NS2010069) （NS2010069）
