第四次博客

 第四次博客

一、测试与正确性论证的比较

测试具有针对性，能从一些方面完美的展现出代码的正确性，但是它的验证度取决于样例的质量。

优点是方便，快捷，结果明显；缺点是可能不会覆盖到方方面面。

正确性论证能从所有的方面给别人展现出正确性，具有很强的逻辑性。

优点是全面，说服力好；缺点是比较麻烦，而且论证可能出错。

二、OCL语言与JSF规格的比较

对象约束语言简称OCL（Object Constraint Language）。它是用来进行约束定义的，形式化的无二义的语言。

这两种语言的相同点是都是形式化的语言，都没有二义性；

不同点是变量的类型不同，OCL有自己的变量，JSF可以自己定义变量；

JSF支持更多的运算方式。

三、单电梯图示

UML图：

顺序图：

状态图：

 

四、学期总结

  4.1  

   这些模块层次分明，循序渐进，相互依赖，逐渐提升我们的水平，最终让我们有非常大的收获。

  4.2

   自己从最开始只能写出面向过程的java程序，到最后能写出具有良好功能的面向对象程序，从设计上，具有了更好的设计思路，测试上，具有了更全面的测试，质量上完成度也更高，有极大的进步。

  4.3

   我对工程化开发的理解是，它能极大的规范化我们的编程，让我们在设计思路以及正确性上都有较大的提高，是非常值得推广的。

  4.4

   希望指导书更明确，不要讨论来讨论去的。