OO第四次博客做业！

oo第四次博客做业

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

测试只是单方面片面的证实对于当前的输入程序是正确的，测试只能证实程序有错误，不能说明程序是对的。

正确性论证是程序达到预期目的的通常性陈述，是经过规范化的论证来讲明程序运行是否符合预期，严谨的证实是能够有效说明程序的正确性的。

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

OCL(object constraint language)对象约束语言，一种用来进行约束定义的，形式化的无二义的语言。OCL是一个类型语言，任何表达式的值都是属于一个类型的。这个类型能够是预约义的标准类型例如Boolean或者Integer，也能够是UML图中的元素例如对象。也能够是这些元素组成的集合，例如对象的集合、包、有序集合等等。

OCL与jsf有相似，可是也有不一样。相同的地方在都是一种用来约束定义的语言，都没有二义性，采用前置条件和后置条件对方法的运行加以约束。不一样体如今jsf支持更多的运算方式，更加自由，而OCL则更加严谨。

3、单电梯系统结构梳理

一、uml类图

二、顺序图

三、状态转换图

4、总结

一、关系

按部就班

二、进步

从一开始的对面向对象有了必定的了解变成了本身对面向对象和jsf规格有了必定的了解。

三、工程化开发

工程化开发即为经过必定的代码规范来保证大型项目的开发不出现差错。

四、对课程的指望

没啥好说的，就祝oo越办越好。