OO第四次总结

一、论述测试与正确性论证的效果差异

---

 1.测试

　　测试：基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出是否满足后置条件

　　优点：易于实施，工程广为采用

　　缺点：无法确保正确性

2.正确性论证

　　优点：折衷，形式验证与自然语言层次逻辑推理相结合

　　缺点：无法确保自然语言层次逻辑推理的严谨性

---

 

二、调研OCL语言

---

 

1.概念　　

　　OCL（object constraint language），对象约束语言，是用来进行约束定义的、形式化的无二义的语言。它作为图形符号的补充，说明建模元素的有关细节。

2.OCL vs JSF

　　相似点：

　　（1）.都有不变式、前置条件、后置条件

　　（2）.都采用形式化的逻辑语言，对程序设计进行约束

　　不同点：

　　（1）.OCL支持上下文，但是JSF不支持

　　（2）.JSF约束的是类和方法，OCL约束的是对象

　　（3）.OCL有着丰富性和完备的可计算性，允许自然语言的表述

---

 

三、图

---

1.UML类图

2.时序图

3.状态图

 

---

四、学期总结

---

1.阐述四个单元模块知识点之间的关系

　　第一单元：对象与类、OO程序构造、层次化设计

　　第二单元：对象运行机制、线程交互、线程安全设计

　　第三单元：过程规格设计、类规格设计、设计原则

　　第四单元：自动化测试、基于规格的程序正确性证明、程序的模型化表示

　　关系：前两个单元是训练代码能力，后两个单元是基于规格基于测试提高代码的质量。

2.梳理自己所设计实现的程序，分析自己在设计、测试和质量上的进步

　　这个学期设计实现了多项式加减、电梯系列、IFTTT、出租车系列的作业，从一开始的面向过程程序、一个方法几百行到现在写的程序有了面向对象的影子，方法也只有几十行的规模。在接触了规格和测试之后，再回过头去看自己之前写的ALS电梯，真的会有一种惨不忍睹的感觉。现在再写程序，在设计之前我会好好构思，测试的时候会尽可能的全覆盖，代码质量也比之前的好多了。

3.阐述自己对工程化开发的理解

　　对于工程化开发，要求代码有统一的规格，必须要规范、可扩展、可移植，且易于理解，对每个类都要进行很好的封装，对外提供接口，使其具有良好的移植性。在代码完成之后，要进行充分的测试或者正确性的论证，力求自己的代码能最大程度的满足需求。

4.对课程的任何期望或建议

　　这门课是从第一周就开始很紧张的一门课，尤其是对于我这种没有java基础的小白。虽然一直在吐槽，但是在经过这么多次训练之后，也能理解课程组这么设计的原因。最大的槽点就是互测制度吧，希望课程组能修改一下互测的制度，减少疯狂扣分和随意无效的情况。想法是好的，程序有bug也应该吃到教训，但是不应该让学生觉得努力没有意义，也不应该成为某些人达到某些目的的工具：)