一、测试与正确性论证比较
正确性论证是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。
程序测试是指测试者特意跳出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。
测试只能说明程序有错误但是不能说明程序是正确的，而有效的正确性论证则可以说明程序的正确性。
二、OCL语言与JSF规格的比较
OCL是面向对象设计中对图形符号的补充。与jsf有类似，但是也有 不同。相同的地方在都是形式化语言，都没有二义性，采用前置条件和后置条件对方法的运行加以约束。不同体现在变量的类型不同，比如OCL拥有自己的一套变量，但是jsf 不仅有自己的内置变量还支持用户自定义。变量的运算不同：jsf支持更多的运算方式。等等
三、单电梯系统结构梳理
1、UML类图
2、顺序图
3、状态转换图
电梯：
调度
指令队列
四、个人总结
通过一个学期的学习，也算是摸到了面向对象的一些门路，掌握了一些工程化编程的思想，学会了在写工程化代码时首先要注意的是对整个程序的设计，对类的划分，对自己代码有效性的论证。写完代码以后不是简单的就把代码扔到以便而是要对代码进行有效的测试，对每个类进行单独的功能测试（优秀的类划分应该做到每个类之间功能互相独立）。只有在写代码前注意设计，写完代码以后认真测试，才能真正的写出高质量的代码。