oo第四次博客

1、測試與正確性論證比較

　　正確性論證是論證程序達到預期目的的通常性陳述，而該論證與程序輸入數據的特定值無關，可以表明窮舉性測試。

　　程序測試是指測試者特地跳出一批輸入數據，經過運行程序，檢查每一個輸入數據所對應的運行結果是否符合預期要求。

　　測試只能說明程序有錯誤可是不能說明程序是正確的，而有效的正確性論證則能夠說明程序的正確性。

2、OCL語言與JSF規格的比較

　　OCL是面向對象設計中對圖形符號的補充。與jsf有相似，可是也有 不一樣。相同的地方在都是形式化語言，都沒有二義性，採用前置條件和後置條件對方法的運行加以約束。不一樣體如今變量的類型不一樣，好比OCL擁有本身的一套變量，可是jsf 不只有本身的內置變量還支持用戶自定義。變量的運算不一樣：jsf支持更多的運算方式。等等

3、單電梯系統結構梳理

一、UML類圖

 

二、順序圖

　

 

三、狀態轉換圖

電梯：

調度

指令隊列

 4、我的總結

經過一個學期的學習，也算是摸到了面向對象的一些門路，掌握了一些工程化編程的思想，學會了在寫工程化代碼時首先要注意的是對整個程序的設計，對類的劃分，對本身代碼有效性的論證。寫完代碼之後不是簡單的就把代碼扔到以便而是要對代碼進行有效的測試，對每一個類進行單獨的功能測試（優秀的類劃分應該作到每一個類之間功能互相獨立）。只有在寫代碼前注意設計，寫完代碼之後認真測試，才能真正的寫出高質量的代碼。