06 2022 档案

摘要:BUAA OO 第四单元总结 本单元架构设计 本着层次化设计的思想,我从第一次作业开始,就用自己创建的类把部分重要的UML类包裹了起来。这样当我们在MyImplement类中实现新功能的时候,可以在包裹类型中实现一些方法,达到层次化设计的目的。所以在三次作业的迭代中,我的MyImplement类的长 阅读全文
posted @ 2022-06-27 10:17 MrSisyphus 阅读(25) 评论(0) 推荐(0) 编辑
摘要:BUAA OO 第三单元总结 利用JML规格准备测试数据 在课上老师推荐我们用Junit单元测试,但Junit是白盒测试,需要自己手动针对每个方法判断前提和结果约束,非常的复杂,所以最后我还是决定通过黑盒测试。 JML的规格有前置条件和后置条件,只要保证生成的数据能满足所有使用到的方法的前置条件即可 阅读全文
posted @ 2022-06-06 15:22 MrSisyphus 阅读(34) 评论(0) 推荐(0) 编辑