面向对象第四次课程总结

一、测试与正确性论证的效果差异

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

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

二、OCL语言

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

三、UML

1. UML类图

2. 时序图

 

四、学期总结

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

2. 个人在前几次作业中都有较多缺点，在这几次的重构后，感觉程序质量有较大的进步。

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

4. 希望能尽早明确需求，或是直接允许在readme中自己定义，避免出现DDL前更改需求的情况。