Research of dynamical detecting technique of non-functional dependence program invariant

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.