关键词: 程序不变量, 非函数依赖, 动态检测, 软件质量, 条件查询

Abstract: In this paper，the notation of program invariant based on the contract is described，and a theory model of dynamically generating technique of program invariant is researched and built.In the theory model，the theory method and technology of dynamically generating technique of program invariant of non-functional dependence are discussed.A new method of dynamically generating technique of program invariant of non-functional dependence based on the theory of database is proposed.Then，a series of detecting measures of specific non-functional dependence program invariants are described.The method detecting program invariants in the way of SQL query，so many kinds of program invariants can be dynamically discovered by the means.User can detect the program invariants on the condition of their interest by giving their query conditions at will.Comparing with Daikon，the method has two excellent features.Firstly，it is better expansible based on the RDBMS technology；Secondly，discovering of program invariants can be accomplished by the function of SQL query based on the technology of relational database which can detect the program invariants in a nimble way.

Key words: program invariant, non-functional dependence, dynamically detect, quality of software, condition query