首页 > 其他 > 详细

oo第四篇博客作业

时间:2018-06-25 20:05:53      阅读:239      评论:0      收藏:0      [点我收藏+]

 

测试与正确性论证的效果差异及各自的优缺点:

测试针对一些典型的输入情况进行方法验证,可操作性更强,结果直观。但不能完全覆盖所有的输入情况。

正确性论证则是根据代码逻辑从所有的方面对方法进行论证,可操作性很差,工程量大,不过验证出来的结果更加可信。

OCL语言与JSF规格:

OCL语言具有如下特点:

1.OCL是一种精确的,无二义性的语言

2.OCL是一种规范说明性语言,所有有关实现的问题都不能用OCL来表达

3.OCL是一种纯表达式语言,具有没有任何副作用的申明性语言

4.OCL是一种类型化语言,每一个表达式都是有类型的

5.OCL是一种程序设计语言,不能用OCL编写程序逻辑和控制流程

jsf是以命题逻辑为主,利用蕴含表达式将代码逻辑与结果表达清楚,主要用于描述方法规格,但在实际操作中,很难将复杂的逻辑表达式简单地用蕴含表达式表示清楚,表达能力有限,但这两者都是约束型的方法或者规格。

技术分享图片

技术分享图片

 

技术分享图片

 

整理总结四个学期所学所练:

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

第一单元是简单的java面向对象程序,其中第一次作业的感受就是程序对输入处理的重要性,二三次作业是简单的电梯调度的实现,第一单元是一个过渡单元,从过程编程到面向对象编程的过渡,另外就是熟悉java语言。

第二单元是多线程编程,经过了第一单元的洗礼,对面向对象有了一丝理解,java也有了一定的编程基础,接下来就是深入多线程编程,多线程编程也是由浅入深,从最开始三个多线程电梯,然后文件监控系统和100辆出租车,加深对多线程的理解和运用掌握。

第三单元是多线程编程的续写,100辆出租车的各种要求增加,难度系数提升,从红绿灯暂停,初始化文件,道路开闭等等,都是对多线程编程的进一步考验。

前三单元主要是对编程能力的提升,第四单元则重视程序规格,代码的质量。第四单元通过jsf测试和正确性验证等方法让我们对代码的设计更加重视,不断提升自己的代码质量,更合理地构造代码框架。

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

第一次作业入门级别,学会了正则表达,输入的处理重要性。电梯的调度程序,代码比较散乱,复杂。在程序处理方面没有大局观,想到一种情况就添加一种情况,完全没有考虑是遗漏了还是重复了;程序实现的方式不是最优。第二次多电梯重构了一次,代码明显减少。程序的质量不断提高,冗余代码明显减少。在出租车阶段,程序的输出处理变得更加友好。

3.对工程化开发的理解

看到有同学都提到了计算机组成,我想说我也是这样。仔细想来,要是自己没有经历过计组的洗礼,面对OO这门课的时候估计会不知所措,毕竟OO每周的程序作业都可以看作是一个系统,而不是一个简单的过程化程序,要想完成这样一个系统化程序,就必须有一个系统的观念。在我看来,工程化开发是对一个系统的开发模式,要有一个整体的观念,另外要懂得将各部分细化,再整合,也就是模块化。

4.期望与建议

这门课学起来是有意思,每次完成作业就像是自己做完了一个小系统,有成就感。另外自己的编程能力得到了锻炼,不管是代码质量,还是编程思想。希望老师和助教们继续加油,完善这门课内容和评测机制。

 

oo第四篇博客作业

原文:https://www.cnblogs.com/wangjianbing123/p/9225842.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!