OO最后一次做业
终于开始最后一次做业了，是时候为这学期oo画一个圆满的局句号了。编程
回首这学期的OO经历，一路走来，通过了开始对面向对象的初步接触，而后就是充满痛苦回忆的多线程，接下来到了使人焦头烂额的规格设计，最后是测试和论证，中间还穿插着几回（用来放松的）博客做业。这些做业把我这个学期填充的十分充实。安全
那么仍是先把此次做业写完再说。多线程
测试与正确性论证
这一部分接触了两种论证手段，就是测试和正确性论证。框架
测试使用了junit4的测试框架，针对每一个方法来进行规格测试。核心在于构造完备的子集，保证能覆盖到每一条语句以及每一种状况下，方法都能正确完成。初次接触junit4，感受仍是挺简单实用的一种测试方式。工具
优势：直观，覆盖率和测试结果都能直观显示出来。学习
缺点：难以覆盖全部状况。且对于repOK这些方法没有办法测试与覆盖。测试
正确性论证是基于逻辑来验证本身的代码是“正确”的，描述本身代码全部可能的状况，进行严密的逻辑验证。spa
优势：覆盖性强，逻辑性更为严密线程
缺点：对于稍微长一点的方法就很难验证其正确性，每每须要长篇大论的论证。一份完整的正确性验证报告估计没有一二十页写不出来。（还好今年是没有互测这玩意）debug
效果差别：测试是从测试样例的覆盖来测试程序的正确性，而正确性论证则是经过逻辑来严格的验证程序正确。总的来讲这两种测试手段都各有用武之地。
OCL语言
ocl语言（即object constraint language，对象约束语言）从名字就能看出来是一种约束语言。一个约束就是对一个（或部分）面向对象模型或者系统的一个或者一些值的限制。UML类图中的全部值均可以被约束，而表达这些约束的方法就是 OCL。
OCL的基础是数学中的集合论和谓词逻辑，而且它有一个形式化的数学语义，可是它并无使用某种数学符号。由于虽然数学符号可以清晰的、无歧义的表达事物，可是只有极少的专家能够看懂。因此数学符号并不适合用于一个普遍应用的标准语言。
用OCL能够描述四类约束，分别是不变量、前置条件、后置条件和监护条件。
1）不变量是在属性的生命期内一直保持为真的规则。
2）前置条件是在一个操做被调用时必须为真的约束。它是一个断言，不是可执行语句。
3）后置条件就是在操做完成时必须为真的约束。它不是可执行语句而是断言，必须为真。
4）监护规则是在对象可以从一种状态转变为另外一种状态前其值必须为真的约束。
类似点：都有前置条件和后置条件，都是无二义性的精确语言，来对程序进行约束
不一样点：OCL语言标准更完善，表现力更强；JSF能够看作一种简化过的OCL语言。
第14次做业UML图
类图
UML顺序图
UML状态图
学期总结
写完这个部分而后提交，这学期的oo旅程就算正式结束了。（应该会是星期一夜写完，作一次ddl战士）用博客来回顾一下这学期的面向对象之路，也回顾一下这个学期是否让我感到充实。
微小的工做：
这学期的OO一共分红了四个单元，每一个单元三次编程做业（最后一次调整了只有两次，可喜可贺）加上一个总结性的博客。回过头来总结一下这四个单元究竟学了什么：
（1）JAVA编程入门，面向对象编程入门（+互测入门）：
这一部分的三次做业是：多项式相加，傻瓜电梯，ALS电梯。
说是面向对象编程入门，实际上大多数同窗作第一次做业以前连JAVA都没有写过，第二次做业开始就要写有必定规模的面向对象程序了。能够说是一周的JAVA速成加上一周的面向对象速成加上一周的面向对象进阶。
（2）JAVA多线程从入门到入土：
这一部分的三次做业是：三线程ALS电梯，IFTTT实现文件监视器，100辆出租车调度程序。
这一部分难度有了质的飞跃，实现JAVA多线程编程。途中debug，编代码（主要是电梯）遇到了各类各样的不明因此的奇奇怪怪的bug，让咱们认识到多线程的强大以及线程安全的重要性。不过一样只有一周时间就要咱们写完一个难度极高的电梯，也能够说是一周的JAVA多线程速成了。
（3）面向规格的设计（与互测）：
这一部分的三次做业是：在出租车程序中增长道路流量，增长红绿灯，增长可迭代的出租车。
这一部分仍然是用多线程实现JAVA的多线程，可是侧重点变了。由实现程序的正确性（包括线程安全问题）变成了设计层面问题。如何作出优雅的设计，如何编写出无懈可击（不被扣分）的JSF。
（4）测试与论证：
这一部分的三次做业是：基于Junit4的测试与覆盖，正确性论证，UML图的绘制（博客）
这一部分的学习任务从编写转为了测试与论证，对于规格、设计的要求也上升了。
总的来讲这学期的学习内容仍是十分充足庞大的，涵盖了除了面向对象的几乎大部份内容。也难怪有前辈指出，北航面向对象的格局，跟其余学校是彻底不一样的。整套面向对象课程体系完整看下来像是一整套程序编程的体系，从正确性到安全性，再到优雅设计，最后是测试和论证；而彻底不像仅仅是面向对象的课程，仍是挺有意思的。
程序的进步：
（1）设计：这部分仍是很明显的。从一开始写多项式poly都感受有点费劲，彻底不会面向对象，只能按照提供的框架一步步来写。二三次电梯的设计虽然能看到一丢丢面向对象的影子，可是设计仍是不够细，仍然有god类和idiot类出现。到后面两个星期能写出难度不小的多线程程序，电梯（虽然bug很多)和IFTTT。尤为是能在一个星期内写出来这样的程序，当时确定是不敢想的。而后写的出租车已经很有面向对象的风范了，对于抽象对象，提取共性写方法也逐渐熟练了起来。
（2）测试：从一开始只会system.out，到如今知道了junit4这种方便的测试工具。至于测试别人的代码，仍是佛系一点吧。
（3）代码质量：跟1同样也是很明显的进步。一开始的ALS电梯出现了一个奇长无比的方法（虽然我也懒得改了），如今看来里面充斥着各类无用的废话。包括写第一次做业和第二次做业时候也还有造轮子之嫌。虽然有些人说造轮子并非彻底没有意义，但我本身看来这些轮子造的是真的没有意义。明明有更加方便的工具却仍是写了一堆冗长无用的废代码，确实很不该该。在了解了JAVA的方便以后，各类内置的工具确实比本身造的轮子高到不知到哪里去，可读性质量都比之前好了很多。如今看来以前的代码写的确实是辣鸡啊。
另一点进步就是心态，面向对象真的很锻炼心态，让我更加坚强了。
工程化的一点理解：
以前并无写过工程啊。。。也并不知道什么是工程化。
不过仍是得完成做业，在我看来工程化应该是不少人一块儿完成的。因此对于我的来讲，代码必定要保证精简和可读，作好封装、写好注释以及规格。
代码可读性强是基本的，毕竟在一个庞大的项目中，出现一个可读性差的代码显然不是明智的。而对于一个写好的代码，应该让项目的其余人更好的理解本身写的内容，因此规格和注释也是十分必要的。
同时还要作好代码的规范性，统一编程的规范才能让团队便于理解和维护。
小小的建议：
这里对课程的各个方面提出小小的建议和意见：
首先是难度方面的
若是不打算下降难度的话不算什么建设性意见，能够直接跳过。毕竟个人oo旅程已经快结束了，再难也跟我不要紧了，但愿下届的学生能撑过来吧hhh。
（1）课程内容方面（做业量）：
课程内容仍是十分丰富的，瑕疵是跨度和难度略大。尤为是做业量十分充足，一星期一个大工程。面向对象的程序都还不怎么会写，就已经要求写很难的多线程程序了。并且一星期速成多线程，仍是那么难的电梯，哪怕能写出来质量也不见得必定很高。并且据说下一届的os难度会加大，不知道双重课业压力之下，下一届的学生能不能承受住了。
就我本身来讲，在oo重压那一段时间基本是为了oo放弃了os的，多是由于我太菜了，实在是无力应对这样两门课程。
（2）做业安排方面：
多线程电梯很显然是最难的一次做业了，对于设计的难度且不提，对于线程安全的要求显然是最高的。安排在刚刚接触多线程的那一星期有一点难了。固然正值清明节假期时间比其余的一星期是要多一点。
至于IFTTT我以为是没什么必要的一次做业了。此次做业的目标说是“训练同窗们针对线程安全问题，如何平衡线程访问控制和共享对象之间的矛盾”。这一次做业主要自学了一段时间的文件系统，难度主要在文件系统和监控的实现上。而我在实际编写过程当中耗时最多的是实现，甚至并无太多关注线程安全。而在测试时发现哪怕对于同一个文件的操做，只要是SafeFile类文件的也不太会由于共享对象而出现线程安全问题。我认为这一次做业的难点实际上是理解指导书，自学文件系统和实现文件监控，甚至没有怎么涉及到线程安全问题。
而多线程电梯就不同了。请求不断的输入，请求队列不断地扫描，还要根据电梯的各类状态来进行判断和分配。请求队列的共享十分明显，并且对于线程安全的要求至关高，若是哪里同步出了一点问题都会有意想不到的状况发生。（指导书上竟然对“线程安全”四个字只字不提）
因此我认为能够删除IFTTT这一次做业，用两个星期来编写三线程电梯。事实上我感受IFTTT此次做业意义真的不是很大，若是用两个星期来编写电梯，若是真的能实现好这个电梯，对于线程安全的理解确定不会差的。
接下来是对于指导书的一点吐槽。
但愿下一届指导书可以更加明确，意思通顺。老师的初衷是但愿咱们能跟助教讨论共同完成指导书内容，本意是好的。可是我仍是但愿能在指导书中加入内容时审查一遍。
例如第七次指导书中：
多是个人语文很差，读了5遍仍是没能把“每每经过数字来表达的能力”这句读通顺。
最后是互测这一部分
（1）对于乱扣分，恶意扣分的人应该有惩处机制。若是仅仅依靠申诉或者仲裁，乱扣分现象是不会中止的。应该经过制度来约束。并且乱扣分现象少了以后，助教处理的申诉和仲裁也会减小。
（2）取消JSF的互测。不少学生连JSF的内容本身写都不必定能写好，却有资格去扣别人的JSF。并且这个东西主观性过于强，若是按照本身的理解来扣很容易扣许多。建议改成助教统一评判。
（3）互测出现的bug真的获得有效解决了吗？现阶段只测出别人的bug，而省略了debug这一步。
结语
一学期下来oo这门课总算到了尾声。
为这门课花了心思的老师辛苦了！
为咱们答疑解惑的助教辛苦了！
能把这门课经过的同窗（包括我本身）也辛苦了！
祝北航面向对象课程愈来愈完备愈来愈好。能被愈来愈少的学生喷。
总而言之这一学期的oo之旅就到此为止了。
-
每一个你不满意的现在，都有一个你没有努力的曾经。