摘要： 一、梳理JML语言的理论基础 （1）理论基础 JMl的出现很大程度上一为了行为接口的规范化，用这种语言来指定特定模块的特定功能。JML的核心部分分为三个部分：前置条件（requires）、后置条件（ensures）、副作用（assignable）。通过JML的使用，程序员可以轻松的描述一个方法的与其 阅读全文