比较测试和正确性论证的效果
第13次作业是针对ALS电梯进行方法规格的测试，来判断方法运行的结果是否符合预期，是一种直观的验证错误的办法，但是不能确保程序完全正确，不过相比平时用的测试方法，这样效率更高更容易找到错误；而第14次作业的正确性论证其实是从理论上证明逻辑的完备性，从而证明程序的正确性，在写论证的过程中会再一次思考规格是不是有漏洞，程序的设计和一直懒得de的bug是什么地方出现了问题。尽管我不认为自己在这两次作业中花了足够的时间深思熟虑了，我的代码还是得到了一些改善。
比较OLC语言和JSF规格
OCL(object constraint language)对象约束语言，作为图形符号的补充，说明建模元素的有关细节，例如约束前置条件、后置条件，是一种形式化的无二义语言。基本要素有：类型、操作、表达式和语句。相比JSF规格，OCL语言更为复杂，因为其定义了数据类型还有运算符和表达式中的一些书写规范，可以称之为是一种编程语言。
可以说，JSF是更自由的OCL，便于书写、更改和阅读。
UML
整理&总结
1. 知识点的关联
如果我说我能找到的关联是这些我都不会，算不算一种微妙的联系？我感觉这四个单元是一个码农的生活缩影，从初学语言到简单的应用，再到结合实际的多线程部分，考虑更多的实际问题和线程安全问题以及最后的应用前的测试和规范书写。难以想象我也硬着头皮坚持下来了，虽说我常把“我与Java的最后几周”挂在嘴边，可还是觉得这个经历很过瘾也很有成就感。
2. 进步
我觉得经过了这个学期，像是扒了几层皮，虽说bug还是让我摸不着头，起码也能自己搞一搞不crash，能解决几个问题。在程序设计上，不像开始的时候很难想到一个思路进行下去，逐渐的可以很快理清关系。测试一直很懒，不过代码思路清楚一些还是会避免错误的发生。
3. 工程化开发
相比于工程化开发，我觉得思考思考如何出道更现实一点（开玩笑）但是不出意外的话，工程化开发跟我没什么关系hhh
4. 建议
希望以后追加什么要求或者修改什么地方能够更新指导书，不过更好的是发布了指导书不要再进行什么修改了，真的会让人不太开心
5. 套路感谢
吴际老师比想象中和蔼可亲一万倍，是个非常善解人意的老师，尽管我ifttt最后还是放弃了，这也让我觉得挺不好意思的，谢谢老师的理解！
还要谢谢助教小姐姐，每次我千奇百怪的问题她都很及时的回答我，当然还有那次提交不上去与死（马）神助教对话，很感谢你们的帮助！
emmm还有被我骚扰的大佬们，深夜分享思路的sz大帝，覆盖性测试救我一命的先哥，还有个很皮的小弟（作用十分微小）和收拾烂摊子还要哄我的pq学长~
最后嘛还要谢谢好几次哭着说不写了最后还是坚持下来的自己（卖个萌）以后也要加油
ps. 难以想象这竟然是我为了OO熬得最晚的一次