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

维普资讯 25卷 第7期 微 电子学 与计算 机 V0l1．25 No．7 2008年 7月 M ICROELEC ONICS COMPU I、ER July2008 一 种函数依赖程序不变量动态检测方法 刘树锟 ，阳小华2 (1湖南涉外经济学院计算机科学与技术学部，湖南 长沙 410205； 2南华大学 计算机科学与技术学院，湖南 衡阳421001) 摘 要：目前软件质量已成为人们广泛关注、高度重视的热点问题之一．为了保证软件质量，建立了程序不变量发 现的基本理论模型，并针对简单的函数依赖不变量提 出了检测方法．此方法首先是通过关系数据库理论存储程序 的运行轨迹，然后利用关联算法分析变量间的相关性 ，最后通过 回归分析方法确定具有高相关