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 soft-ware 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 w...
