摘要: 架构设计: 第四单元主要介绍了UML解析相关知识。总的来看,三次作业是迭代式的设计,逐步完善这个UML解析器的功能。 hw13要求仅针对类图进行解析,hw14中加入了时序图和状态图,hw15中增加了对UML的相关检验。 我的三次作业在实现的时候基本没有改动,所以我就迭代的来介绍相关的架构。 第一次作 阅读全文
posted @ 2022-06-29 11:05 乌拉圭的袋鼠 阅读(7) 评论(0) 推荐(0) 编辑
摘要: 一、JML与测试 白盒测试: 白盒测试主要是从JML的规格出发。这也是老师上课的时候着重强调的知识点。 明确测试目标: 每个方法是否都满足所要求的规格。这也是一种契约式的编程思想。 是否能在任何使用场景下,类都能确保状态正确? 测试有效性问题: 需要测试哪些数据? 如何检验测试覆盖了多少代码成分? 阅读全文
posted @ 2022-06-06 17:32 乌拉圭的袋鼠 阅读(9) 评论(0) 推荐(0) 编辑
摘要: 一、同步块的设置和锁的选择: 关于 synchronized : 大概的使用方法有这两种。 synchronized(this){ // 同步代码方法块 } synchronized void method() { //method 具体实现 } 关于 lock : 大概的使用方法以及接口的实现类: 阅读全文
posted @ 2022-05-03 10:54 乌拉圭的袋鼠 阅读(32) 评论(0) 推荐(0) 编辑
摘要: hw1: 由于第一次作业并且没有适应java的面向对象编程的思想,所以感觉写出来的代码完全是面向过程式编程。 类图描述: 优缺点分析: 缺点: 内聚和耦合性并不是很强,MainClass不应该作为Exp的直接使用者。应该再实例化一个化简类,并且把caculation这个计算的方法放到化简类里面。 它 阅读全文
posted @ 2022-03-26 15:28 乌拉圭的袋鼠 阅读(33) 评论(0) 推荐(0) 编辑