- 博客(3)
- 收藏
- 关注
RSS订阅原创 对JML规格的理解与JUNIT单元测试的思考
这一章的三次作业让我认识到，规格驱动开发并不会替代设计、算法和测试，如果死板的按照JML实现代码，只会得到低效可读性低的代码。真正关键的，是保证逻辑上完全符合规格同时追求性能优化。JML 负责描述“什么是正确”，数据结构与算法负责实现“怎样高效地正确”，JUnit 则负责验证二者是否真正一致。相比记住具体语法，更重要的收获是形成契约意识：在编码前明确边界，在迭代时追踪状态变化，在协作中减少自然语言共识。
2026-06-10 23:31:26
188
原创 OO Unit 2 Blog
电梯判断是否在当前楼层开门的逻辑shouldopen有问题：只要当前电梯没超载且当前楼层有请求就开门，导致如果当前楼层存在一个电梯载入后就会超重的请求，电梯会判断为开门，但又没有除载客外忽视当前请求的机制，导致电梯在当前楼层陷入开关门流程的死循环。大模型给出的整体框架没有大的问题，可直接使用。电梯线程在进入检修态后要将私有队列中的请求回收至Totalqueue中，因为没有加适当的锁，导致与Dispatcher线程竞争Totalqueue，导致线程不安全，表现为部分Request会被“无视”。
2026-04-29 23:39:07
401
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人