作者：刘杰程序不变量函数依赖不变量动态发现
摘要：不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析采获取的。以数据库理论为基础．将不变量形式分为函数依赖不变量和非函数依赖不变量，提出了函数依赖不变量动态发现方法，解决了目前试探法具有盲目性和效率不高的问题。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《现代计算机》（CN：44-1415/TP）是一本有较高学术价值的大型半月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《现代计算机》是一本学科性、技术性较强的科技类学术期刊，作者读者群均面向计算机信息技术及应用研究开发设计生产的工程技术人员、大专院校师生及计算机爱好者。
部级期刊
人气 1074128 评论 53
省级期刊
人气 845976 评论 70
人气 807139 评论 68
人气 753188 评论 72
