2022年6月1日
BUAA-OO-第三单元总结
摘要： 北航计算机学院面向对象第三单元总结 由于本单元三次作业非常相似，都是基于上一次的功能和指令进行迭代扩展，因此以下总结都以第三次作业为例。 一、 利用JML规格生成数据并测试 本单元作业是契约式编程，不需要在架构设计上花太多心思，作业中容易出现Bug的情况是对官方给定的JML理解有误，以及设计的算法时 阅读全文
posted @ 2022-06-01 17:00 Kazeya_y 阅读(72) 评论(1) 推荐(1)