oo第四次博客做业

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

　　测试只能说明程序是在这组样例下，程序是正确的，并不能说明程序自己的正确性

　　而正确性论证就能够说明程序自己是正确的。

　　测试的优势在于方便、快捷、有针对性，他能够在短期内找到程序的错误点。

　　可是测试没法说明程序是彻底正确的。

　　正确性论证虽然测试的成本高，更难以完成，

　　可是正确性论证能够说明程序是彻底正确的，逻辑更加严密，更容易使别人信服。

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

　　

对象约束语言简称OCL(Object Constraint Language)，它是一种用于施加在指定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条件和限制来表现对该对象的约束，其中包括附加在模型元素上的不变量或约束的表达式，附加在操做和方法上的前置条件和后置条件等。

    对象约束语言是一种形式化语言，它主要用于表示UML模型中施加于模型上的约束。OCL具备以下特色：
    一、OCL是一种精确的，无二义性的语言
    二、OCL是一种规范说明性语言，全部有关实现的问题都不能用OCL来表达
    三、OCL是一种纯表达式语言，它是具备没有任何反作用的申明性语言。
    四、OCL是一种类型化语言，即OCL中的每个表达式都是具备类型的。
    五、OCL不是一种程序设计语言，不能用OCL编写程序逻辑和控制流程。

　这两个都没有二义性，都是一种严格的约束语言，可是又有一点细微的不一样之处。

　OCL语言有本身的变量，可是JSF能够本身定义变量。

　OCL不能编写程序逻辑和控制流程，可是JSF能够编辑逻辑。

3、单电梯图示

UML图：

顺序图：

状态图

 

4、学期总结

1.关系：

　　我以为四个模块之间按部就班，让人有一种逐渐深刻的过程

　　一开始，你们啥也不知道，就从一个比较简单的程序开始

　　以后，你们了解了一些东西，就能够进行比较复杂的操做

　　以后，你们对面向对象的了解更加深刻，就有了多线程的参与

　　最后，固然要对本身的程序进行论证，因此就有最后的测试环节了。

2.进步

　　在设计层面上，我以为我对面向对象的设计有了更加深入的了解，一开始，设计的很是很差，也没有办法对以前的代码进行改进，若是有新的要求，那么就要重现写本身的代码，可是，以后由于每次都是新加要求，因此在设计上会考虑到之后的重构问题。而且在测试上，我也变得更加有针对性，更加全面，曾经只是瞎测，如今就有针对了。一样，代码质量也变得更好，之前的代码写出来BUG不少，在经历了一个学期写了不少代码以后，我就以为代码质量变得更好了。

3.工程化开发

　　我以为工程化开发是很是有必要的，由于大的项目每每是要有工程化开发的，因此我以为应该推广工程化开发。

4.对课程的指望

　　改要求建议不要悄悄改，各个班要求但愿统一。