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

• 作者: 刘久富 刘蓉 苏青琴 陈魁
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 不变量 静态检测 抽象解释 非函数依赖
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 5-8
• 分类号: TP311
• 字数: 4299字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈魁	南京航空航天大学自动化学院	3	5	2.0	2.0
2	刘久富	南京航空航天大学自动化学院	53	207	8.0	11.0
3	苏青琴	南京航空航天大学自动化学院	4	5	2.0	2.0
4	刘蓉	南京航空航天大学自动化学院	15	56	4.0	6.0