OO第四次总结博客

Posted 2020-11-20 shininglin

一、测试和正确性论证

　　两个方法各有优缺点，在我看来应当合理结合使用。

　　测试关注的是结果，论证关注的是过程。在测试的过程中，我们往往采用给定一些样例的形式来让程序自我运行，并判断输出的结果；准确性论证则是要求从程序员的角度出发，论证代码的合理性和正确性。二者其实也有一定的相同之处，即都需要程序员对代码运行的所有情况有一个统一的认识，并提出合理的覆盖。测试在使用时较为方便也较为直接，是很多人乐意去采用的方式，相比之下论证可能会显得没有那么一针见血。当然，真正保证代码的正确性，还是需要两者的合理结合。在写代码的过程中，并不是所有的代码都适合测试或只适合论证，而在这时如果只是机械的重复一种方法可能不会取得什么效果。根据情况做出合理判断，完成对方法的取舍，更能提高验证的效率。

　　在本课程中，我们也学习到了一系列测试和论证的方法，在这个过程中收获的可能不仅是那几个方法，还有一些重要的思想，这些思想也可以应用到写程序的其他环节当中。

 

二、OCL与JSF

　　通过查询资料，我也加深了对规格的了解。

　　而二者是有很多相似之处的。从根本上看，它们都是为了对类和方法的规范而提出的，通过一系列借用数学思想的符号，来限定类和方法的工作方式。

　　区别在于，OCL在设定上更加丰富，而JSF更加简单易学。

 

三、第十四次作业

　　1.类图

　　本次作业没有对之前的代码进行重构。

　　2.时序图

　　3.状态图

四、总结

　　1.