OO第四次博客

Posted cqblogs

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了OO第四次博客相关的知识,希望对你有一定的参考价值。

一.测试与正确性论证

测试:争对程序构造样例去验证程序的正确性。

正确性论证根据程序的逻辑去判断程序的有效性和正确性。

测试的难度较正确性论证容易,但测试并不能说明测试已经全部覆盖程序。

二.OCL语言和jsf的异同

OCL对象约束语言,用来约束定义,形式化的无二义的语言,说明建模元素的有关细节。

相同的: 都具有前置条件、后置条件。无二义性。

不同点:语法不同。OCL和jsf的范围不同,OCL表达式和特定的上下文有关。

三.第十四次单线程电梯

技术分享图片

 技术分享图片

技术分享图片

四.总结

课程从最开始的程序设计开始,不断加深课程难度,引入多线程的控制,后续对程序的规格进行设计,最后对代码的进行测试和论证。

代码的难度不断地提升,对于程序的把控逐渐降低,把重心移到了功能的实现上,对于程序到整体架构没有把控好。多次互测可以看到他人的设计思路,清楚的了解到自己对设计的不熟练。从单线程电梯到多线程电梯,再到出租车调度,代码的逻辑虽然更加清晰,但还是有一些功能的混杂,对各个部分的定义和实现没有明显的边界。前半学期忙碌的码代码让我们疲惫,后半学期对自己所写的代码进行规格化分析,论证,从课程的安排,老师更加希望我们注重设计,我依然不能保证自己是否已经能设计出好的程序,希望再接再厉吧。

以上是关于OO第四次博客的主要内容,如果未能解决你的问题,请参考以下文章

oo第四次博客

OO第四次博客

OO第四次博客

OO第四次博客总结

OO第四次博客

OO第四次博客总结