- 博客(5)
- 收藏
- 关注
原创 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关注的人