2022年6月4日
BUAA OO 第三单元总结
摘要： BUAA OO 第三单元总结 JML规格和测试 ​ 本单元的主题是根据JML规格编写代码，架构设计方面只需要严格地按照JML规格即可。相应地，在测试方面也可以根据JML规格进行相对应的测试。课程组的建议是使用JUnit，但是在简单尝试后觉得时间成本比较高，加上舍友完成了对拍机，遂选择和舍友对拍进行主 阅读全文
posted @ 2022-06-04 15:13 Longxmas 阅读(89) 评论(2) 推荐(0) 编辑