摘要： #利用JML规格构造自测数据 在第三单元的学习之后，我认为JML语言就是一种十分精密的语言，它可以避免使用自然语言描述代码功能时产生的模糊性、二义性，因此可以成为需求方（甲方爸爸）与实现方（码农）之间一种可靠的交流语言。 此外，JML语言还有描述具体、逻辑性强的特点。对于每一个方法，JML语言明确定 阅读全文