第四次课程总结

一.测试与正确性论证的效果差别
1.测试
优势:测试寻找bug的方式比较简单, 能够很快速的验证程序的基本功能, 调试很是方便.
缺点:测试很难达到对程序的全面覆盖, 构造一些复杂的测试样例可能难度较大.测试没法证实程序是彻底正确的.
2.正确性论证
优势:正确性论证能够证实程序是正确的.
缺点:论证步骤复杂,难度较大, 而且若是论证的条件存在问题一样可能致使错误的论证.

二.调研OCL语言
OCL语言是用来描述UML建模细节的对象约束语言, 是一种形式化的语言,
和jsf的类似之处有:
在理想状况下都没有二义性, 都使用了不变量, 前置条件和后置条件对方法进行了约束.
不一样之处:
OCL使用了数学语言和天然语言结合的方式, 而JSF用的是数学语言.
OCL是一种类型语言, 任何表达式的值都是属于一个类型的.

三. 第十四次做业的单电梯系统的UML类图、一幅顺序图和一幅状态图

1.UML图

 

 二.顺序图

 

三.状态图

 

 

四.总结
1.课程总结

第一单元重点在于对于面向对象编程思想的学习. 是从面向过程编程到面向对象编程的一个过渡学习.

第二单元重点在于学习多线程, 基于第一单元所编写的单线程电梯, 将其改写成多线程电梯.侧重于实际应用, 难度较大, 调试bug的难度也比第一单元难了很多, 而且常常出现死锁或者其余crash.
第三单元学习了规格化,JSF, 这单元再也不侧重于编写程序, 而在于构建程序, 规格化程序, 学习让本身程序规格更加规范.
第四单元是正确性论证. 正确性论证基于第三单元的编写的规格(jsf), 同时和测试也是向对立的两种彻底不一样的验证程序的方法.

2.程序梳理
刚开始编写程序的时候, 对我来讲处理输入是一个很大的难点, 对于正则使用不熟练, 致使对于输入的判断很复杂, 思路不清晰, 同时设计程序时, 常常将许多语句堆在一个代码中, 或者代码中出现了许多重复的语句.经过练习, 我正则使用的更加熟练了, 关于处理数据方面的代码写得更加的整洁, 思路清晰, 对于代码中常常出现的部分也都封装成了一个函数, 程序结构的设计也更加的合理.

3.本身对工程化开发的理解
工程化开发是很是有必要的, 咱们如今写的代码还比较短, 处理起来还比较简单, 当代码多到必定程度时, 若是没有工程化的方法, 可能修改一个很小的参数都许多废很大的劲. 工程化对于代码的可维护性是很是有必要的. 同时工程化写出的代码由于遵照相应的规则, 阅读性和拓展性也很是好.

4.对课程的建议该课程对我学习面向对象的编程有很大的做用, 可是该课程的做业量实在是太大了, 对我学习其余课程产生了很大的负面做用. 建议适当的为学生们减负, 明确每次做业的重点. 其实该课程的互测环节对你们的做用是弊大于利