第四次博客
一、测试与正确性论证的比较
测试具有针对性，能从一些方面完美的展现出代码的正确性，但是它的验证度取决于样例的质量。
优点是方便，快捷，结果明显；缺点是可能不会覆盖到方方面面。
正确性论证能从所有的方面给别人展现出正确性，具有很强的逻辑性。
优点是全面，说服力好；缺点是比较麻烦，而且论证可能出错。
二、OCL语言与JSF规格的比较
对象约束语言简称OCL（Object Constraint Language）。它是用来进行约束定义的，形式化的无二义的语言。
这两种语言的相同点是都是形式化的语言，都没有二义性；
不同点是变量的类型不同，OCL有自己的变量，JSF可以自己定义变量；
JSF支持更多的运算方式。
三、单电梯图示
UML图：
顺序图：
状态图：
四、学期总结
4.1
这些模块层次分明，循序渐进，相互依赖，逐渐提升我们的水平，最终让我们有非常大的收获。
4.2
自己从最开始只能写出面向过程的java程序，到最后能写出具有良好功能的面向对象程序，从设计上，具有了更好的设计思路，测试上，具有了更全面的测试，质量上完成度也更高，有极大的进步。
4.3
我对工程化开发的理解是，它能极大的规范化我们的编程，让我们在设计思路以及正确性上都有较大的提高，是非常值得推广的。
4.4
希望指导书更明确，不要讨论来讨论去的。