oo第四次博客

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

　　正确性论证是论证程序达到预期目的的通常性陈述，而该论证与程序输入数据的特定值无关，可以表明穷举性测试。

　　程序测试是指测试者特地跳出一批输入数据，经过运行程序，检查每一个输入数据所对应的运行结果是否符合预期要求。

　　测试只能说明程序有错误可是不能说明程序是正确的，而有效的正确性论证则能够说明程序的正确性。

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

　　OCL是面向对象设计中对图形符号的补充。与jsf有相似，可是也有 不一样。相同的地方在都是形式化语言，都没有二义性，采用前置条件和后置条件对方法的运行加以约束。不一样体如今变量的类型不一样，好比OCL拥有本身的一套变量，可是jsf 不只有本身的内置变量还支持用户自定义。变量的运算不一样：jsf支持更多的运算方式。等等

3、单电梯系统结构梳理

一、UML类图

 

二、顺序图

　

 

三、状态转换图

电梯：

调度

指令队列

 4、我的总结

经过一个学期的学习，也算是摸到了面向对象的一些门路，掌握了一些工程化编程的思想，学会了在写工程化代码时首先要注意的是对整个程序的设计，对类的划分，对本身代码有效性的论证。写完代码之后不是简单的就把代码扔到以便而是要对代码进行有效的测试，对每一个类进行单独的功能测试（优秀的类划分应该作到每一个类之间功能互相独立）。只有在写代码前注意设计，写完代码之后认真测试，才能真正的写出高质量的代码。