第四次OO总结

比较测试和正确性论证的效果

---

 第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熬得最晚的一次