Natural Science Foundation of Hunan Province [05JJ30117]; Scientific Research Fund of Hunan Provincial Education Department of China [08C516, 07A034]
机构署名:
本校为其他机构
院系归属:
计算机科学与技术学院
摘要:
In this paper, the notation of program invariant was described, and a theory model of dynamical generating technique of invariants was researched. Then, the technology of dynamical generating technique of invariants of nonfunctional dependence was discussed. A new method of dynamical generating technique of invariants of nonfunctional dependence based on the theory of database was showed. Then, a series of detecting measures of specific nonfunctional dependence invariants were proposed. Many kinds of pr...