OO第四次课程总结分析
测试与正确性论证的效果差异及优缺点
测试，即使用测试样例来验证我们的程序是否能完成相应功能的过程。测试数据的产生基于前置条件和后置条件，通过执行测试数据检查方法输出是否满足需求。由此，测试的优缺点显而易见。优点是易于实施，可以针对特定的功能构造相应的测试数据去加以检验，好的测试数据能有效及时地发现错误；缺点是我们构造的测试数据并不能完全保证覆盖到了所有的情况，即我们无法保证程序的正确性，程序可能还存在我们未发现的bug。
正确性论证，就是针对规格化的代码，通过对代码逻辑进行分析，确认是否所有满足前置条件的输入都能产生满足后置条件的结果的过程。其优点是可以保证程序的正确性（当然前提是规格得写的正确）；缺点是验证过程比较耗时间，且无法保证自然语言层次逻辑推理的严谨性。
因为是最后一次作业才用到正确性论证，还没有真正感受到正确性论证的强大之处，现在几乎还是用测试来进行论证，但不能完全保证正确（心里没个底），今后会试着使用正确性论证来论证自己程序的正确性。
OCL语言与JSF规格
OCL即对象约束语言(Object Constraint Language),是一种指示用户建模系统中的限制方式,它是UML可选的附加内容，可以用来更好地定义对象的行为，并为任何类元指定约束。是规范说明性语言，具有精确、无二义性的特点。
二者的相同点在于他们都是一种形式语言，在程序中进行无二义的逻辑约束。二者表达式也基本相同，OCL包括附加在模型元素上的不变量或约束的表达式、前置条件、后置条件和监护条件等，而JSF格式上有repOK()，前置条件，后置条件和Modifies。
二者的差异在于OCL的能力比JSF要强，可以约束附加在模型元素上、操作上等，比较自由，OCL也具有强大的可计算性，相比之下虽然JSF功能上并没有OCL丰富，但也能进行规范，且有着方便快捷的优点。
第十四次作业
类图
顺序图
状态图
学期总结
-
四个单元模块知识点之间的关系
第一单元重要是体会java和面向对象的思想，从面向过程转向面向对象。
第二单元初步引入多线程，程序可同时处理多个任务，功能更加丰富，同时也引入了同步与并发安全的问题，在设计上要考虑避免资源共享等问题。
第三单元引入规格化设计，软件工程发展到如今，规格化的程序尤为重要。不能只一味地追求实现功能即可，应该在实现功能的同时，也要考虑程序的规范性。
第四单元主要是关于测试及论证，通过测试及论证等方法来验证程序的正确性。
通过分析发现，课程安排并不失其可理性，是一个循序渐进的过程。
- 梳理与进步
程序框架上，从一开始的一类一方法到现在的多类多方法，类的分工，各个方法的工作分配比之前更加成熟。
程序逻辑上，通过规格化设计，程序的逻辑比之前更加清晰，可读性有所加强。
工程化思想得到加强，不再以自己能看懂为中心，应做到以人为本。
- 对工程化开发的理解
工程化开发，基本上是要与人合作，不再像写作业那般想怎么写就怎么写，只要实现即可；工程化开发团队每个人有各自的分工，所以规格化设计就显得尤为重要，需要考虑的事情不再只是单纯地功能实现，变量的命名、程序的可移植性、用户的体验等，这些都是工程化开发中必不可少的因素。此外，用户的需求是多变的，程序的鲁棒性也有很高要求。
- 期望与建议
建议嘛，其实指导书可以进行一些改进，也省去了一直问助教的麻烦，可能有些要求改了在群里说过但被刷了没发现，就很痛（建一个需求改动通知群？），大致就是这些吧；最后期望课程能越办越好，同时也要感谢老师和助教一学期以来的付出！