摘要: 2022 OO 第三单元个人总结 一、课程内容 本次作业依据课程组提供的JML规格与类的接口,自己实现能达到要求的类。 1. 框架设计 我的框架与官方包相同,并没有进行一些额外的设计。 2. 算法性能 本次作业的难点我认为有两方面,一个是对于JML规格的阅读,另一个就是对于算法的选择。 对于测试限制 阅读全文
posted @ 2022-05-31 23:21 iLoveFox 阅读(50) 评论(0) 推荐(0)