oo第四次博客作业
一、测试与正确性论证比较
测试只是单方面片面的证明对于当前的输入程序是正确的，测试只能证明程序有错误，不能说明程序是对的。
正确性论证是程序达到预期目的的一般性陈述，是通过规范化的论证来说明程序运行是否符合预期，严谨的证明是可以有效说明程序的正确性的。
二、OCL语言与JSF规格的比较
OCL(object constraint language)对象约束语言，一种用来进行约束定义的，形式化的无二义的语言。OCL是一个类型语言，任何表达式的值都是属于一个类型的。这个类型可以是预定义的标准类型例如Boolean或者Integer，也可以是UML图中的元素例如对象。也可以是这些元素组成的集合，例如对象的集合、包、有序集合等等。
OCL与jsf有类似，但是也有不同。相同的地方在都是一种用来约束定义的语言，都没有二义性，采用前置条件和后置条件对方法的运行加以约束。不同体现在jsf支持更多的运算方式，更加自由，而OCL则更加严谨。
三、单电梯系统结构梳理
1、uml类图
2、顺序图
3、状态转换图
四、总结
1、关系
循序渐进
2、进步
从一开始的对面向对象有了一定的了解变成了自己对面向对象和jsf规格有了一定的了解。
3、工程化开发
工程化开发即为通过一定的代码规范来保证大型项目的开发不出现差错。
4、对课程的期望
没啥好说的，就祝oo越办越好。