基于抽象解释的非函数依赖不变量的检测方法 |
| |
引用本文: | 苏青琴,刘久富,陈魁,刘蓉.基于抽象解释的非函数依赖不变量的检测方法[J].计算机技术与发展,2012(4). |
| |
作者姓名: | 苏青琴 刘久富 陈魁 刘蓉 |
| |
作者单位: | 南京航空航天大学自动化学院,江苏南京210016 |
| |
摘 要: | 不变量的检测是提高软件质量的一种有效方法.针对传统静态检测方法可能带来无效的不变量、缺失不变量等缺陷,文中提出一种以抽象解释理论为基础的非函数依赖不变量的静态检测方法.首先利用词法语法分析得到抽象语法树,然后将抽象语法树转化成抽象域图,接着对抽象域图进行抽象执行得到程序中可执行的路径,最后依据定义的非函数依赖不变量表现形式对可执行路径分析得到程序中潜在的非函数依赖不变量.同时通过一个 C 程序为例对该方法进行验证说明
|
关 键 词: | 不变量 静态检测 抽象解释 非函数依赖 |
本文献已被 万方数据 等数据库收录! |
|