OO第四次总结

1、论述测试与正确性论证

　　测试是拿出测试数据来进行实际上的测试，而正确性论证则是经过代码规格来论述代码方法实现过程。

　　很明显大规模覆盖性的测试样例能够很快的发现bug可是要找到bug发生的根源则有必定上的难度，而正确性论证是创建在代码规格上的，因此很容易在论证过程当中找到不严谨的可能产生bug的地方。二者对应实践与理论，显然互相结合起来就能更好的规避bug。

2、OCL语言与JSF的不一样之处

　　对象约束语言（Object Constraint Language）简称OCL，是一种指示用户建模系统中的限制方式。它是UML可选的附加内容，能够用来更好的定义对象的行为，并为任何类元指定约束。

　　相同点：都有前置条件、后置条件和不变式； 都是对对象/方法的约束。

　　不一样点：OCL是一种语言，有许多基本数据类型，而JSF相对来讲简略并且没有一个较为具体的规范。

3、

　　类图：

　　

　　顺序图：

　　状态图：

4、总结

　　1.关系

　　　　第一单元经过多项式运算和简单电梯带咱们走进Java面向对象基础——提供基础。

　　　　第二单元接触多线程以及线程安全——工程化代码量基础。

　　　　第三单元代码工程化——工程化代码提供测试基础。

　　　　第四单元编写测试集、代码方法正确性论证——工程化代码测试。

　　2.梳理

　　本身的程序总刚开始时的面向过程逐渐向面向对象风格转变，类和方法的封装愈来愈驾轻就熟，代码之间更加紧密有条有理的联系在一块儿，而不是像之前的混成一团。从Java的基础开始慢慢地对工程化有所了解，体会到工程化的严谨对之后的工做确定是大有帮助的。

　　3.工程化开发自我感受就是把每次的做业所须要的每一个类分配给每个程序员来编写，每一个人各司其职，对本身负责的这个类进行各类安全性以及有效性的考量，同时要保证代码的可读性以及可维护性，最后编一个main类把每一个人写的类整合起来造成一个完整的程序。

　　4.本学期的OO学习中，我没有碰到其余同窗那样的各类撕逼什么的（多是菜鸡不想互啄8），bug基本报得有理有据，因此没有那种跟测试者或者被测者撕起来而影响到对OO的学习心态，因此感受OO是带点紧张（赶点ddl、星期五晚互测结果公布）和体验学到新知识的快乐中度过的。每次做业多多少少都能学到新的代码写法或者是产生新的代码构思逻辑。但OO的这种互测制度仍是有必定漏洞的，常见的就好比测试者恶意扣分，还有就是测试者不用心测试，可能代码都没有拉下来，这样对被测者是很不负责任的，并且在编写测试集的时候一般也能够发现本身的程序错误（本身常常测着测着发现找了本身几个bug被测的却都经过了）。还有就是被测者readme的过分限制虽然说指导书上没能说起的能够自行readme，但有的同窗就利用了readme来限制各类条件张口就来什么不能这么这么输入，而不是对本身的程序编写代码来应对readme内容的输入而后再readme说输入这些会怎么怎么样，有的人甚至指导书有要求的也要readme，我佛了，不过结合以前本身的经历多是互测时钻readme空子的人太多了8，因此你们都对本身readme文档比较注重。但愿之后的OO指导书指导得可以明确一点，issue是很重要的一个讨论区，但它毕竟不是指导书的补丁，同窗们可能就会在这上面对测试结果产生分歧什么的。