面向对象OO第15次作业总结
1.论述测试与正确性论证的效果差异，比较其优缺点
测试通过大量测试数据来覆盖测试代码，比较直观，优点在于知道测的是啥，特别直观，缺点在于很难覆盖所有情况。
正确性论证从逻辑关系对代码进行理论上的验证，优点在于能够保证正确性，缺点在于不够直观，不好论证。
2.OCL
对象约束语言简称OCL,它是一种用于施加在制定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条件和限制来表现对该对象的约束，其中包括附加在模型元素上的不变量或约束的表达式，附加在操作和方法上的前置条件和后置条件等。
3.第十四次作业的UML图
类图
顺序图
状态图
4.学期总结
4.1四个单元模块知识点之间是循序渐进的关系，从一开始让我们认识面向对象编程，到后来开始接触多线程编程，然后再对设计进行规范化，让我们一步步地深入了解面向对象编程。
4.2我自己实现了电梯和文件检测。自己在设计上能够较好地按对象开始设计程序，测试方面有待提高，不能很好的设计出错误用例。
4.3工程化开发我认为就是通力协作也好一个大程序，每个人写这个工程的一小部分，但是这些部分最后能够拼装成一个大程序，向流水线作业最后整合一样，所以要事先规定好大的规格。
4.4希望能够简单一点。