oo第四次博客做业

oo第四次博客做业

 

一,测试与正确性论证比较
1.测试的结果是绝对正确的,可是正确性认证可能由于人为疏忽致使论证正确了,可是实际是错误的.
2.测试的结果是片面的,测试只能说明当前运行的一部分程序是正确的,或者说该输入对应的输出是正确的,而不能证实程序是绝对正确的.
3.在将来添加新的功能时,利用正确性论证能够快速的证实我新添加的这部分功能运行的正确性,而测试则不能保证这点.
4.正确性论证虽然对于写程序的人来讲,是比较易读的,可是对于读代码的人来讲,自己读代码就是很累人的工做了,还要对应代码去读正确性论证,要是原本程序是绝对正确的还好,要是藏了什么bug,而正确性论证又没有发现,那么极可能读代码的人也会发现不到bug.而测试则能保证当别的程序员要使用代码时,能彻底相信某部分的功能是正确的.
二,OCL语言与JSF规格的比较
OCL和JSF都是对于程序设计上的约束.
不一样点在于OCL更加严谨,OCL使用了一系列规范且多样的符号系统提供给程序员用于表达,代价就是须要付出大量的时间去学习和使用,相比之下,jsf使用起来就比较简单快捷了.带来的反作用就是因为符号系统的不足,不少程序的表达上比较困难.
3、单电梯系统结构梳理
1,uml类图

2,顺序图

 

 

3,状态转换图

 

四,总结
1,关系
承上启下
2,进步
从一开始对于面向对象一窍不通,到码了上千行面向对象代码,对于面向对象有了必定的了解
3,工程化开发
经过代码规范,程序间接口的规范来是大型项目开发的过程当中更加合理,出现更少的bug,或者更快的找到bug
4,对课程的指望
但愿不要再先难后易了,对于我这种彻底没接触过面向对象的人来讲,一开始写的代码就是一团糟,更惨的是,我不只要把这坨东西反复再添加两遍,还要再论证它三遍.但愿可以由易入难,从代码规范开始,慢慢写出好代码.