面向对象第四次课程总结

1、测试与正确性论证的效果差别

　　测试，描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过程。在规定的条件下对程序进行操做，以发现软件错误，衡量软件质量，并对其可否知足设计要求进行评估的过程。软件测试的主要工做内容是验证和确认，验证是保证软件正确地实现了一些特定功能的一系列活动， 即保证软件以正确的方式来作了这个事件，确认则是一系列的活动和过程，目的是想证明在一个给定的外部环境中软件的逻辑正确性。即保证软件作了你所指望的事情。换句话说，软件测试是一种实际输出与预期输出之间的审核或者比较过程，通常较难覆盖全部可能的状况。

　　正确性论证，经过对代码是否正确实现需求的论证，对代码的具体实现进一步梳理，可能更容易发现可能存在的问题，实现的正确性有保障。

2、OCL语言

　　对象约束语言简称OCL(Object Constraint Language)，它是一种用于施加在指定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条件和限制来表现对该对象的约束，其中包括附加在模型元素上的不变量或约束的表达式，附加在操做和方法上的前置条件和后置条件等。OCL语言和JSF同样是一种纯表达式语言，是没有任何反作用的声明性语言。不一样于JSF，OCL中预约义了一组基本类型和集合类型。

3、UML

1. UML类图

2. 时序图

 

4、学期总结

1. 第一单元感受是让咱们熟悉java编程的“基操”，第二单元实现多线程，同时注意线程安全问题，第三单元规格化设计，第四单元实现测试及论证，四单元层层深刻，让咱们对面向对象编程有更清晰的认识。

2. 我的在前几回做业中都有较多缺点，在这几回的重构后，感受程序质量有较大的进步。

3. 在工程化开发中，首先就要注意规格化设计，而后就要按照设计好的规格来实现具体代码，同时测试应该尽早进行，最好在需求阶段就开始介入，由于最严重的错误不外乎是系统不能知足用户的需求。

4. 但愿能尽早明确需求，或是直接容许在readme中本身定义，避免出现DDL前更改需求的状况。