面向对象OO第15次做业总结

面向对象OO第15次做业总结

1.论述测试与正确性论证的效果差别，比较其优缺点
测试经过大量测试数据来覆盖测试代码，比较直观，优势在于知道测的是啥，特别直观，缺点在于很难覆盖全部状况。
正确性论证从逻辑关系对代码进行理论上的验证，优势在于可以保证正确性，缺点在于不够直观，很差论证。

2.OCL

对象约束语言简称OCL,它是一种用于施加在制定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条件和限制来表现对该对象的约束，其中包括附加在模型元素上的不变量或约束的表达式，附加在操做和方法上的前置条件和后置条件等。

3.第十四次做业的UML图

类图

顺序图

状态图

 

4.学期总结
4.1四个单元模块知识点之间是按部就班的关系，从一开始让咱们认识面向对象编程，到后来开始接触多线程编程，而后再对设计进行规范化，让咱们一步步地深刻了解面向对象编程。
4.2我本身实现了电梯和文件检测。本身在设计上可以较好地按对象开始设计程序，测试方面有待提升，不能很好的设计出错误用例。
4.3工程化开发我认为就是通力协做也好一个大程序，每一个人写这个工程的一小部分，可是这些部分最后可以拼装成一个大程序，向流水线做业最后整合同样，因此要事先规定好大的规格。
4.4但愿可以简单一点。