迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前广泛关注、高度重视的热点问题之一。基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性,良性运行的保证条件以及运行后的期望结果。程序不变量一般包含类不变量、前置条件和后置条件,它是一种基本的合约。本文研究并且建立了程序不变量动态生成系统的理论模型。在此理论模型中,针对函数依赖程序不变量和简单非函数依赖程序不变量动态生成理论、方法和技术进行了阐述;重点对简单非函数依赖程序不变量进行分析,基于数据库的理论提出了一种新的简单非函数依赖程序不变量动态检测的技术,针对各种的简单非函数依赖程序不变量类型建立了一系列检测方法。本文的不变量检测技术通过数据库中提供的SQL条件查询功能,灵活多变的检测各种常见类型的简单非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。最后,本文设计实现了一个简单非函数依赖程序不变量原型系统。该系统与现有的其它程序不变量检测工具(例如Daikon)比较具有明显的特色和优势:第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现简单非函数依赖程序不变量检测,检测方法具有很好的灵活性。