Dynamically Discovering Likely Program Invariants Based on the Contract

This paper mainly discusses the connotation of the likely program invariants which base on the program contract and the meaning of discovering program invariants by the technology of dynamically making program assertion. In order to discourse the tech- nology of the dynamically making the program assertion, this paper introduces the base theory model of the discovering likely program invariants based on the contract and the comparison between the entity model of Daikon which is a tool of dynamically discovering the invariants of program and the theory model. Using the accurate program assertion, the programmer can analyze the associate- at- tributes among the variants of program and achieve the detecting of the invariants. So designing the standard program frames and pro- gram codes of high quality can benefit from the program assertion.