一、测试和正确性论证
两个方法各有优缺点，在我看来应当合理结合使用。
测试关注的是结果，论证关注的是过程。在测试的过程中，我们往往采用给定一些样例的形式来让程序自我运行，并判断输出的结果；准确性论证则是要求从程序员的角度出发，论证代码的合理性和正确性。二者其实也有一定的相同之处，即都需要程序员对代码运行的所有情况有一个统一的认识，并提出合理的覆盖。测试在使用时较为方便也较为直接，是很多人乐意去采用的方式，相比之下论证可能会显得没有那么一针见血。当然，真正保证代码的正确性，还是需要两者的合理结合。在写代码的过程中，并不是所有的代码都适合测试或只适合论证，而在这时如果只是机械的重复一种方法可能不会取得什么效果。根据情况做出合理判断，完成对方法的取舍，更能提高验证的效率。
在本课程中，我们也学习到了一系列测试和论证的方法，在这个过程中收获的可能不仅是那几个方法，还有一些重要的思想，这些思想也可以应用到写程序的其他环节当中。
二、OCL与JSF
通过查询资料，我也加深了对规格的了解。
而二者是有很多相似之处的。从根本上看，它们都是为了对类和方法的规范而提出的，通过一系列借用数学思想的符号，来限定类和方法的工作方式。
区别在于，OCL在设定上更加丰富，而JSF更加简单易学。
三、第十四次作业
1.类图
本次作业没有对之前的代码进行重构。
2.时序图
3.状态图
四、总结
1.