面向對象第四次課程總結

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前更改需求的狀況。