Application of Java modeling language during dynamically discovering likely program invariants

Abstract

Programmers can analyze the associate-attributes in the program and achieve the detecting of the invariants by the technology of dynamically discovering program invariants. So designing the standard program frames and program codes of high quality can benefit from the program invariants. This document gives a theory model of the technology of dynamically discovering program invariants which based on the contract and shows the technology of dynamically discovering program invariants and some important problems about the technology combined with Java modeling language. A main method to the problems is discussed.