The Research of the Technology of Dynamically Analyzing of Program Based on the Contract
Luo Jiang-qin · Computing Technology and Automation · 2006
In the information society,the problem of program quality is a significant and hot issue.The technology of pro- gram designing based on the contract is very important and efficient.But the formalization of the contract is a hard work which is difficult to be achieved.So,the problem of software quality assurance is a puzzlement.In this paper,the notation and method of design by contract was described,then the process and the train of thought of dynamically analyzing of program based on the con- tract was showed.And an example was described.Finally,a method of software quality assurance was presented in a new way.