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