一种函数依赖程序不变量动态检测方法

• 作者: 刘树锟 阳小华
• 来源期刊: 微电子学与计算机
• 关键词: 程序不变量 函数依赖 关联属性 动态发现 模型
• 年，卷（期）: 2008,（7）
• 页码范围: 205-209,213
• 页数: 6页
• 分类号: TP311
• 语种: 中文

摘要

目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量问的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华	南华大学计算机科学与技术学院	160	821	14.0	22.0
2	刘树锟	湖南涉外经济学院计算机科学与技术学部	15	50	3.0	6.0