摘要： 一、JML 1. 简介 JML是为Java专门设计的一个行为接口语言，使用了前置条件，后置条件和断言三者来描述方法的功能，并通过这些规范审查程序并差错。JML是为程序员而设计的，它描述方法的代码以注释的方式出现在Java源程序中，与源程序有机的综合在一起，一定程度的增加了代码的模块化，更方便程序员编 阅读全文