论文部分内容阅读
本文主要讨论基于合约的似然程序不变量的内涵，以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较，进一步论述程序断言动态生成技术。通过精确的程序断言动态生成，可以分析程序各变量之间的关联属性，以完成不变量的检测。从而有助于设计高质量的程序架构以及规范化的程序代码．