论述测试与正确性论证的效果差异，比较其优缺点
程序的正确性论证通过需求规格，论证所写的程序程序是否符合规格的过程。
缺点是不如代码和测试数据直观，且工作量巨大。好处是对代码整体进行了具体的剖析，可以在一定程度上保证程序的正确性。
测试是指通过输入特定数据，检查程序运行结果是否和预期相同。
缺点是只能验证程序在现有的测试情况下有没有发生错误。可能因为测试数据的不够全面导致无法发现错误。好处是测试十分高效，能直观的发现代码的问题，进而在代码中找到问题的来源并修正。
调研OCL语言，并比较其与课程所介绍的JSF规格之间的相似和不同之处
OCL语言的全称是(Object Contraint Language)[https://www.omg.org/spec/OCL/2.2/PDF]，即对象约束语言，是UML中约束定义的语言。
总的来说，OCL取了自然语言和数学符号的折中，偏向于建模。而JSF强调使用数学语言，偏向于行为描述。
根据第十四次作业的单电梯系统，针对调度器、电梯、请求队列和请求，至少整理出 一幅UML类图、一幅顺序图和一幅状态图，并使用图(graph)来表示出模型
类图
顺序图
状态图
整理总结一个学期所学所练
oo第一单元学习了oo面向对象的理论基础和语法基础。包括了很多oo中的重要思想，例如类的抽象，私有，接口和继承等等。
oo第二单元学习了多线程编程，以及多线程的通信，安全，调试等等。
oo第三单元是规格设计，第四单元是单元测试和正确性论证。这两个是对前两个单元的工业要求。
通过四个单元的学习，java代码能力得到了很大的提升，对oo编程思想有了更深的了解。也对java的语言特性有了一定的认识。
对工程开发的认识：低耦合，高内聚。提前做好规格设计。
期望和建议：减少作业量，例如只布置2-3个大作业。