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

A Method of Dynamically Discovering Functional Dependence Program Invariants

作　　者：刘树锟[1] 阳小华[2] 

机构地区：[1]湖南涉外经济学院计算机科学与技术学部,湖南长沙410205 [2]南华大学计算机科学与技术学院,湖南衡阳421001

出　　处：《微电子学与计算机》2008年第7期205-209,213,共6页Microelectronics & Computer

基　　金：湖南省自然科学基金项目(05JJ30117)

摘　　要：目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量间的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果.Up to now, the system of computer software has been a very popular and important application system, In order to improve the quality of software ,a theory model of dynamically generating technique of program invariant was built. A new method of dynamically generating technique of program invariant of functional dependence based on the theory of database was showed. In this way, program invariant of functional dependence can be detected in a nimble way.

关 键 词：程序不变量 函数依赖 关联属性 动态发现 模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]