【摘要】 在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法．更多还原

【Abstract】 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.更多还原