测试与正确性论证的效果差异及各自的优缺点：
测试针对一些典型的输入情况进行方法验证，可操作性更强，结果直观。但不能完全覆盖所有的输入情况。
正确性论证则是根据代码逻辑从所有的方面对方法进行论证，可操作性很差，工程量大，不过验证出来的结果更加可信。
OCL语言与JSF规格：
OCL语言具有如下特点：
1.OCL是一种精确的，无二义性的语言
2.OCL是一种规范说明性语言，所有有关实现的问题都不能用OCL来表达
3.OCL是一种纯表达式语言，具有没有任何副作用的申明性语言
4.OCL是一种类型化语言，每一个表达式都是有类型的
5.OCL是一种程序设计语言，不能用OCL编写程序逻辑和控制流程
jsf是以命题逻辑为主，利用蕴含表达式将代码逻辑与结果表达清楚，主要用于描述方法规格，但在实际操作中，很难将复杂的逻辑表达式简单地用蕴含表达式表示清楚，表达能力有限，但这两者都是约束型的方法或者规格。
整理总结四个学期所学所练：
1.阐述四个单元模块知识点之间的关系：
第一单元是简单的java面向对象程序，其中第一次作业的感受就是程序对输入处理的重要性，二三次作业是简单的电梯调度的实现，第一单元是一个过渡单元，从过程编程到面向对象编程的过渡，另外就是熟悉java语言。
第二单元是多线程编程，经过了第一单元的洗礼，对面向对象有了一丝理解，java也有了一定的编程基础，接下来就是深入多线程编程，多线程编程也是由浅入深，从最开始三个多线程电梯，然后文件监控系统和100辆出租车，加深对多线程的理解和运用掌握。
第三单元是多线程编程的续写，100辆出租车的各种要求增加，难度系数提升，从红绿灯暂停，初始化文件，道路开闭等等，都是对多线程编程的进一步考验。
前三单元主要是对编程能力的提升，第四单元则重视程序规格，代码的质量。第四单元通过jsf测试和正确性验证等方法让我们对代码的设计更加重视，不断提升自己的代码质量，更合理地构造代码框架。
2.梳理自己所设计实现的程序，分析自己在设计、测试和质量上的进步
第一次作业入门级别，学会了正则表达，输入的处理重要性。电梯的调度程序，代码比较散乱，复杂。在程序处理方面没有大局观，想到一种情况就添加一种情况，完全没有考虑是遗漏了还是重复了；程序实现的方式不是最优。第二次多电梯重构了一次，代码明显减少。程序的质量不断提高，冗余代码明显减少。在出租车阶段，程序的输出处理变得更加友好。
3.对工程化开发的理解
看到有同学都提到了计算机组成，我想说我也是这样。仔细想来，要是自己没有经历过计组的洗礼，面对OO这门课的时候估计会不知所措，毕竟OO每周的程序作业都可以看作是一个系统，而不是一个简单的过程化程序，要想完成这样一个系统化程序，就必须有一个系统的观念。在我看来，工程化开发是对一个系统的开发模式，要有一个整体的观念，另外要懂得将各部分细化，再整合，也就是模块化。
4.期望与建议
这门课学起来是有意思，每次完成作业就像是自己做完了一个小系统，有成就感。另外自己的编程能力得到了锻炼，不管是代码质量，还是编程思想。希望老师和助教们继续加油，完善这门课内容和评测机制。