oo第四次博客總結

1.論述測試與正確性論證的效果差別，比較其優缺點

　　測試：經過大量測試樣例覆蓋測試代碼，來檢測代碼功能的實現是否正確是否完善。測試一個程序的正常輸入比較容易，但難點就在於大量的非法輸入，測試只能發現bug，卻不能保證程序正確。正確性論證：經過對代碼規格和邏輯的嚴密分析，推論和證實，來驗證代碼實現的正確性。因此若是分析論證正確的話，就能保證程序的正確性，但因爲正確性論證是形式論證和天然語言層次邏輯的結合，而天然語言的正確性也難以保證，這就致使正確性論證也會出現錯誤，而沒法保證程序正確性。因此在工程中，這二者一般是結合使用的。

2.調研OCL語言，並比較其與課程所介紹的JSF規格之間的類似和不一樣之處

　　OCL(object constraint language)是對象約束語言，它是一種用於施加在指定的模型元素上約束的語言。OCL表達式以附加在模型元素上的條件和限制來表現對該對象的約束，其中包括附加在模型元素上的不變量或約束的表達式，附加在操做和方法上的前置條件和後置條件等。

　　OCL具備以下特色： 

    　　一、OCL是一種精確的，無二義性的語言 

    　　二、OCL是一種規範說明性語言，全部有關實現的問題都不能用OCL來表達

　　　　三、OCL是一種純表達式語言，它是具備沒有任何反作用的申明性語言。     

　　　　四、OCL是一種類型化語言，即OCL中的每個表達式都是具備類型的。

　　　　五、OCL不是一種程序設計語言，不能用OCL編寫程序邏輯和控制流程。

　　相同點：都是形式化的約束語言，在程序中進行無二義的邏輯約束。都有一樣的前置條件，後置條件和不變式。

　　不一樣點：約束的時間不一樣：OCL主要是在寫程序前理論建模的時候，對每一個類進行約束，JSF則主要在代碼功能實現前，對每一個類進行約束。表達的不一樣：JSF主要使用邏輯表達式，天然語言使用的少。OCL的表達式和數據都有基本類型。

3.根據第十四次做業的單電梯系統，針對調度器、電梯、請求隊列和 請求，至少整理出 一幅UML類圖、一幅順序圖和一幅狀態圖，並使用 圖(graph)來表示出模型

　　第十四次做業沒有提交，因此不作整理。

4.整理總結一個學期所學所練

　　4.1闡述四個單元模塊知識點之間的關係

       　　 第一單元 Java和麪向對象基本概念入門

        　　第二單元 多線程程序設計入門

        　　第三單元 規格化設計

        　　第四單元 測試與論證

　　4.2梳理本身所設計實現的程序，分析本身在設計、測試和質量上的進步

　　　　可能最大的進步即是弄明白了多線程，以及瞭解到了一個好的代碼風格和代碼註釋有多麼重要吧，若是一個代碼只是一次做業，我可能就不會很重視代碼風格，但若是一個程序須要不少次完善與維護，那麼代碼風格以及註釋就頗有必要了，由於你可能須要幾星        期後仍是能一眼看懂本身的代碼，以及修改過代碼後會產生什麼樣的問題。

　　4.3闡述本身對工程化開發的理解

      　　  規格化設計很重要，一個方法或者一個類，若是你能確保其正確，那麼在維護以及修改代碼時將輕鬆不少。此外在多人的工程式開發中，每一個人相互協調也會由於這種規格化而輕鬆許多。

　　4.4對課程的任何指望或建議

   　　　 我以爲課程挺好的，就是有點累。