基于合约的程序不变量动态检测模型研究

作者：刘树锟 阳小华程序不变量合约关联属性动态发现模型

摘要：讨论了程序不变量的内涵，研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型，以及程序不变量发现的主体过程，并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术，可以分析程序内部的关联属性，从而有助于设计高质量的程序代码以及规范化的程序架构。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社