Detecting Functional Dependence Program Invariants Based on Data Mining

With the development of computer science and technology, software has been widely applied in all kinds of business. It has been a very popular and important application system. So the quality of software causes more serious attention than before. Design by program invariant is a very important method which is used to improve quality of software. In this paper, a theory model of dynamically detecting technology of program invariant was built. And a new method of dynamically generating technology of program invariant of functional dependence based on the theory of database was showed. In this way, program invariant of functional dependence can be detected in a nimble way. Experiments have been done and the result demonstrates that the method is obviously reliable and efficient.