OO第四次博客

Posted 2020-11-20 cqblogs

一.测试与正确性论证

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

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

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

二.OCL语言和jsf的异同

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

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

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

三.第十四次单线程电梯

 

四.总结

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

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