摘要: 面向对象第三单元总结 本单元主要训练JML语言和利用JUnit进行单元测试,重点在于理解透彻JML所描述的类和方法的规格,实现后利用JUnit对重点方法进行测试。Java建模语言(Java Modeling Language,JML)是一种进行详细设计的符号语言,利用它可以形式化地描述类和方法地规格 阅读全文
posted @ 2020-05-22 23:02 dglr123 阅读(149) 评论(0) 推荐(0)