- 博客(5)
- 收藏
- 关注
RSS订阅原创 BUAA OO Unit3
有了规格限制后我所考虑的事情确实有所改变，从原来两个单元的由整体到局部，经常关心自己的架构有没有问题，到这个单元的只关注一个方法的实现或一个属性的维护，这让我感到JML在工程中明确职责的重要作用。对于规格实现分离的检查，由于我们只关注require ensure assignable语句，而这些语句中的属性是类共有的，并不是方法中的，所以，我们在测试时不会关注方法内部的代码，只会判断方法的正确性，以及类中的属性是否符合规格，实现了规格实现分离的检查，即按照规格进行检查，不关注具体实现。
2024-05-17 17:14:19
902
原创 BUAA OO 第二单元总结
第五次作业中要去利用多线程模拟实现一个多电梯系统，对于输入的需求（指定电梯），程序需要输出时间与电梯的行为，最终将每个请求都成功送到目标楼层。第六次作业不再指定接受请求的电梯，实现Receive输出来表明哪部电梯接受了请求，并新增Reset指令来改变电梯的一些参数。第七次作业新增双轿厢Reset指令，将电梯由单轿厢转化为双轿厢，我们必须实现双轿厢电梯的运行与请求分配。
2024-04-18 17:48:35
582
1
原创 oopre总结反思
其次，在我眼中，面向对象思想与大一时面向过程的编程思想截然不同，在刚学习时，很难从之前的思想中跳出来，感觉很别扭。因为实际工程中，我们不可能只解决单一问题，我们要解决的是很多问题的综合，这是系统性的，多元性的。目前自己看着整体结构还说的过去，不过在上完第八次课之后，我发现自己的架构还是有很多瑕疵，比如对Hash的功能定位并不明确，内部存在很多存在依恋情结的方法，以及缺少中间人，导致自己的代码读上去有种冗余的感觉，之后还会对代码进一步修改。背包类，在冒险者类中应用，实现题目中背包相关的操作。
2023-11-06 15:56:30
58
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人