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

刘树锟; 阳小华

首页> 中文期刊> 《微电子学与计算机》 >一种函数依赖程序不变量动态检测方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《微电子学与计算机》 |2008年第7期|205-209|共6页
作者
刘树锟; 阳小华;
展开▼
作者单位

湖南涉外经济学院计算机科学与技术学部;

湖南长沙410205;

南华大学计算机科学与技术学院;

湖南衡阳421001;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
程序不变量; 函数依赖; 关联属性; 动态发现; 模型;

相似文献

中文文献
外文文献
专利

1. 非函数依赖程序不变量动态检测技术研究 [J] . 刘树锟 ,陈继锋 ,阳小华 . 计算机工程与应用 . 2008,第035期
2. 动态检测非函数依赖程序不变量 [J] . 胡国庆 . 电脑与信息技术 . 2008,第002期
3. 一种基于GEP的程序不变量动态发现方法 [J] . 郭培甲 ,吴取劲 . 南华大学学报（自然科学版） . 2016,第004期
4. 一种区间型程序不变量检测方法 [J] . 陈才 . 计算机与现代化 . 2010,第003期
5. 一种Java并发程序死锁动态检测的新方法 [J] . 毛澄映 ,卢炎生 ,张金隆 . 小型微型计算机系统 . 2008,第012期
6. 程序不变量到断言的自动转换方法研究及其应用 [C] . Deng Chaoqiang ,邓超强 ,Zeng Fanping . 2012中国计算机大会 . 2012
7. 基于数据库的简单非函数依赖程序不变量动态检测 [A] . 刘树锟 . 2007

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

摘要

著录项

相似文献

相关主题

期刊订阅