OO第四次博客总结

 OO第四次博客总结

1、测试与正确性论证

二者都旨在发现程序中的BUG，同时更深入的理解程序的执行过程；可是其效果对比各有优缺点。

测试：

　　优势：能够更加具体的理解程序的执行过程，对于一些不易经过单纯思考得出结论的状况，测试能够直观的看出其存在的问题或者可能疏漏的状况；

　　缺点：极可能没法涵盖所有的状况，对于某部分代码，可能因为分支太多仅能经过大部分状况而不是所有状况来判断其正确性。

正确性论证：

　　优势：能够比较全面的分析到全部的状况；

　　缺点：过于理想化，从某种程度上来讲，正确性论证就至关于经过看代码的方式来debug，这种方式不少时候仅仅能发现比较明显的错误，可是在实际状况中可能大部分人的状况是看似代码已经没有问题，可是进行测试时却没法出现预期的结果，只能经过调试的方法发现具体问题所在，因此正确性论证在某些时候可能没法发挥其做用起到事倍功半的效果。

2、OCL语言调研

OCL（Object Constraint Language）语言，即对象约束语言，做为图形符号（UML）的补充，因为UML图通常缺少与规范相关的描述，致使使用天然语言产生歧义。由此发明OCL语言，对建模元素的有关细节进行说明，它是一种用于施加在指定的模型元素上约束的语言。

相同点：

（1）都有不变式，前置条件，后置条件；

（2）都只关心方法或对象在运行先后的属性状态，不关心具体的实现过程。

不一样：

（1）OCL语言能够对类，类的属性和操做等等任意的进行约束，而JSF仅针对类和方法。

（2）JSF是一种轻量化的语言，可是描述能力尚显不足；OCL结构较为复杂，可是描述能力较强；

3、UML类图

4、顺序图

 

5、状态图

6、学期总结

　　四个单元模块：Java基础、多线程和线程安全设计、抽象与规格、测试与论证。四个模块相互关联按部就班，最开始因为不少同窗基础较弱，因此先进行Java基础模块的学习；有了必定的基础以后经过多线程的学习进一步熟悉java编程和多线程的概念；而后为了让你们理解和掌握工程化编程的方法引入规格；最后是测试测试和论证的系统学习。

　　一个学习的OO学习总算是结束，从一开始的java编程小白一步步走到如今，付出了不少，也收获了不少，过程当中有惊喜有沮丧，固然也少不了一些埋怨，对于课程体系的见解，虽然说其中缺陷很多，效率不高，同窗花费了太多的精力和时间可是总感受事倍功半，可是实事求是的说，可能目前暂时没法发现更加合适的方法来替代这样的规则，互测的一些要求可能确实带来一些负面的影响，可是咱们也仍是须要确定这其中咱们所收获的技能。更加乐观的来讲，有时当你们由于互测愤怒或是埋怨的时候，是否是也可能换一个角度，这样的事经历一遍，之后在其余状况碰壁的时候，是否是也能够慢慢学会淡然处之了。固然这是比较乐观的说法，

　　仍是但愿课程组能对互测作出一些实质的改进，我以为最重要的一点是：一门课尽管辛苦，可是它应该让人在付出以后感受到本身的付出是值得，在获悉结果的时候，达到预期的同窗感到欣喜，能有成就感，没有达到预期的同窗尽管沮丧却会以为本身仍然须要努力。然而很惋惜，OO课目前的现状却彻底不知足这一点，归纳一下就是负能量满满，我以为对一门课程来讲这一点是很可悲的，因此但愿互测环节能够有更高的信服力，更高的效率，不至于让同窗感受收获彻底没法匹配付出，结果没法给出一个让人信服的标准。

　　仍然感谢老师和助教的付出，祝OO课愈来愈完善优秀。