2020年5月23日
守得云开见月明——OO第三单元总结
摘要： OO Unit3 总结 博客作业 18373806 冯天昱 历时五周（中途暂停了一周），OO第三单元——JML和规格的学习告一段落。 与前两个单元完全不同的是，这一单元的设计是基于非常完整的规格实现的，这导致了： ①更容易保证实现的正确性：可以使用JUnit单元测试对实现进行完整地测试，可以通过对照 阅读全文
posted @ 2020-05-23 00:57 fty1777 阅读(163) 评论(1) 推荐(0) 编辑