首页 > 其他 > 详细

迎来OO的曙光,总结规格的意义——OO第四次博客总结

时间:2018-06-25 16:32:37      阅读:59      评论:0      收藏:0      [点我收藏+]

标签:曙光   出租车   不可   span   对象   int   好处   变量   一起   

一切都要结束了,砥砺前行~


 

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

  测试,顾名思义就是我们暴力用大量数据轰炸编写的程序的过程。日常的OO过程中,我们经常互相寻求“测试集”,正是因为测试使用特定数据对我们的功能进行针对性测试,好处在于可以很直观很明显的找到bug所在,并且复现性也很强。但是偏向于穷举,也就是我们平常对于自己的数据集过小,而担心自己有没有完全覆盖所有的可能,即使自己测试的过程中没有发现问题,也心里惴惴不安,从而寻求更大测试集。这种方式便于实现与分析,但是不能完全验证程序正确性。

  测试则需要通过输入特定数据等方式,检查程序是否和预期相同,因为测试不可能穷举,导致了不穷举的测试不可能验证程序是完全正确的,只能验证程序在测试时没有发生错误,尽管如此,测试依然是一种高效的检查程序的方法,通过输入数据或复现现场,直观的发现代码的问题,进而在代码中找到问题的来源并修正。


 

二、OCL语言与JSF规格

  对象约束语言(Object Constraint Language),简称OCL,是一种指示用户建模系统中的限制方式。它是UML可选的附加内容,可以用来更好地定义对象的行为,并为任何类元指定约束。在对象约束语言中,对象代表了系统的组件,它定义了完善的项目,约束代表限制,而语言并非是指一种正式的计算机语言。

 

  OCL是一种形式语言,可以应用于任何实现方式的非正规语言。对象约束语言对UML中图形或其他组件都没有控制权,它只是在使用时返回值。OCL并不能修改对象的状态,而是用来指示对状态的修改何时发生。OCL表达式以附加在模型元素上的条件和限制来表现对该对象的约束,其中包括附加在模型元素上的不变量或约束的表达式、附加在操作和方法上的前置条件和后置条件等。


 

 

三、第十四次作业模型图

UML类图 

技术分享图片

 

UML时序图

技术分享图片

 

UML顺序图

技术分享图片


 

 

四、学期总结

1、四个单元模块知识点之间的关系

  第一单元主要是一些设计思想,类的抽象,属性私有化,接口,继承等等,第二单元是多线程的共享数据管理和冲突解决,只有掌握了第一单元的内容,封装好每个类,才能实现更好多线程的程序。第三单元是规格化设计。第四单元是单元测试和正确性论证,根据规格对每个方法进行测试和覆盖率检查,对每个类进行正确性论证。

2、梳理与进步

①多项式加减

②傻瓜单电梯

③可捎带单电梯

④可捎带多线程电梯

⑤文件变更扫描器

⑥出租车调度

⑦可开关道路的出租车调度

⑧可开关道路和带有红绿灯的出租车调度

⑨可开关道路和带有可追踪出租车和红绿灯的出租车调度

  一个学期的数次编程联系中,提高最大的应该是设计。以前在编写一个程序,看中的是算法,但当程序有了一定规模和多次的增补,没有一个好的设计很可能导致之后的新功能收到影响,甚至不得不重构。测试的水平却不想设计一样平稳上升,而是先上升后下降,主要原因在于后期作业的设计占了更多的时间,完成代码后往往已经没有足够的时间进行测试。

3、对工程化开发的理解

  工程化开发,在我看来是在写代码的漫漫长路上转阶段的一步,是从作业到项目的转变,因为作业可以是一个人完成的,你写的逻辑,你测试的方法你自己知道就可以工作,但是项目中,我们需要考虑到很多事情达成共识,例如变量的命名规则,类的设计,接口的统一,只有明确了这些,才能够保证代码可以互相开发,互相阅读,互相协作,一个明确的规范就是工程化开发的第一要义。

4、期望与建议

  我觉的目前课程挺好的,大家一起加油吧~

 

                                     

迎来OO的曙光,总结规格的意义——OO第四次博客总结

标签:曙光   出租车   不可   span   对象   int   好处   变量   一起   

原文:https://www.cnblogs.com/imageboom/p/9224386.html

(0)
(0)
   
举报
评论 一句话评论(0
0条  
登录后才能评论!
© 2014 bubuko.com 版权所有 鲁ICP备09046678号-4
打开技术之扣,分享程序人生!
             

鲁公网安备 37021202000002号