期刊论文

中文

微电子学与计算机

1000-7180

2008

25

7

205-209,213

10.19304/j.cnki.issn1000-7180.2008.07.054

湖南省自然科学基金项目（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 func...