第四次博客

 第四次博客

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

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

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

正确性论证能从全部的方面给别人展示出正确性，具备很强的逻辑性。

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

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

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

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

不一样点是变量的类型不一样，OCL有本身的变量，JSF能够本身定义变量；

JSF支持更多的运算方式。

3、单电梯图示

UML图：

顺序图：

状态图：

 

4、学期总结

  4.1  

   这些模块井井有条，按部就班，相互依赖，逐渐提高咱们的水平，最终让咱们有很是大的收获。

  4.2

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

  4.3

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

  4.4

   但愿指导书更明确，不要讨论来讨论去的。