摘要: BUAA OO 第四单元总结 总结本单元作业的架构设计 文件结构 |- Checker : 负责模型有效性检查 |- Loader : 负责对各个后续要用的UML元素建模 |- MainClass : 负责启动程序 |- MyImplementation : 掌控全局,组合Checker和Loade 阅读全文
posted @ 2022-06-23 13:45 马又SYQ 阅读(14) 评论(0) 推荐(0) 编辑
摘要: BUAA OO 第三单元总结 如何利用JML规格来准备测试数据 如果要"利用JML规格来准备测试数据",我认为最重要的就是能够测试到方法的每一种行为 上图中红线标注的部分即为每一种行为的前置条件。在对方法进行单元测试时,可以分别构造满足每一种前置条件的数据,观察方法能否正确地返回或抛出异常 架构设计 阅读全文
posted @ 2022-06-04 22:55 马又SYQ 阅读(7) 评论(0) 推荐(0) 编辑
摘要: BUAA OO 第二单元总结 第五次作业 1.基本思路 总括:拙劣地模仿了训练中的思路并失败 训练代码的特点如下: 编写了一个RequestQueue类,作为生产者和消费者之间的托盘 RequestQueue类内置了一个ArrayList并实现了在其上操作的addRequest()和getOneRe 阅读全文
posted @ 2022-05-03 22:15 马又SYQ 阅读(7) 评论(0) 推荐(0) 编辑
摘要: BUAA OO 第一单元总结 第一次作业 1.基本思路 总体来说,我采用了第一单元训练中的思想,即对表达式各部分进行建模,然后用递归下降法解析整个表达式 2.具体设计 |- administration (package) : 控制单元 |- MainClass : 主类 |- Parser : 解 阅读全文
posted @ 2022-03-26 00:58 马又SYQ 阅读(14) 评论(0) 推荐(1) 编辑