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