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

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