Loading

2020年5月21日
OO 第三单元
摘要： 一、JML语言理论基础 JML 是用于对 Java 程序进行规格化设计的一种表示语言，为严格的程序设计提供了一套行之有效的方法。 我个人对于 JML 的几点看法： 1. JML 的规格化设计相较于自然语言的描述，具有严密的逻辑，便于程序员理解需求，更好地实现功能； 2. JML 能够帮助测试人员很好 阅读全文
posted @ 2020-05-21 17:06 DanGuge 阅读(205) 评论(0) 推荐(0)