基于合约的程序分析技术研究

Research of program analyzing technology based on contract

为了更好地保证并提高计算机软件质量,在软件设计过程中采用了合约式程序设计方法。以大量程序运行轨迹数据为基础,以SQL Server 2005为实验平台,在大量详实的检测程序中对类与类之间、变量之间以及接口与类之间的关系进行了程序动态分析实验。实验表明,在函数的入口处或者在类的开始点检测程序中应保持的隐含性质是相对较好并且合理的的检测位置。通过利用合约进行程序动态分析的基本过程,是一种新的软件质量保证的思维模式,利用这种模式可以进一步提高软件质量,从而保证软件的可用性。

In order to guarantee and improve the quality of the computer software, the way of contract-based program de- sign was adopted in software design. The program dynamic analysis experiments of relation between kinds, between variables, and between interface and kind were conducted by taking mass program running trajectory data as a foundation and Sql Server2005 as the experimental platform. The experiments indicate that testing the attribute maintaining in the testing pro- gram at the entrance of function or at the initial point is reasonable. To perform the program dynamic analysis through con- tracts is a new thinking mode for ensuring the software quality. The software quality can be improved by this thinking mode.