标签：com 思路 根据 图片 没有 说明 inf 规格 第四次
一.测试与正确性论证
测试：争对程序构造样例去验证程序的正确性。
正确性论证根据程序的逻辑去判断程序的有效性和正确性。
测试的难度较正确性论证容易，但测试并不能说明测试已经全部覆盖程序。
二.OCL语言和jsf的异同
OCL对象约束语言，用来约束定义，形式化的无二义的语言，说明建模元素的有关细节。
相同的： 都具有前置条件、后置条件。无二义性。
不同点：语法不同。OCL和jsf的范围不同，OCL表达式和特定的上下文有关。
三.第十四次单线程电梯
四.总结
课程从最开始的程序设计开始，不断加深课程难度，引入多线程的控制，后续对程序的规格进行设计，最后对代码的进行测试和论证。
代码的难度不断地提升，对于程序的把控逐渐降低，把重心移到了功能的实现上，对于程序到整体架构没有把控好。多次互测可以看到他人的设计思路，清楚的了解到自己对设计的不熟练。从单线程电梯到多线程电梯，再到出租车调度，代码的逻辑虽然更加清晰，但还是有一些功能的混杂，对各个部分的定义和实现没有明显的边界。前半学期忙碌的码代码让我们疲惫，后半学期对自己所写的代码进行规格化分析，论证，从课程的安排，老师更加希望我们注重设计，我依然不能保证自己是否已经能设计出好的程序，希望再接再厉吧。
标签：com 思路 根据 图片 没有 说明 inf 规格 第四次
原文地址：https://www.cnblogs.com/cqblogs/p/9224673.html
