面向對象OO第15次做業總結

面向對象OO第15次做業總結

1.論述測試與正確性論證的效果差別，比較其優缺點
測試經過大量測試數據來覆蓋測試代碼，比較直觀，優勢在於知道測的是啥，特別直觀，缺點在於很難覆蓋全部狀況。
正確性論證從邏輯關係對代碼進行理論上的驗證，優勢在於可以保證正確性，缺點在於不夠直觀，很差論證。

2.OCL

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

3.第十四次做業的UML圖

類圖

順序圖

狀態圖

 

4.學期總結
4.1四個單元模塊知識點之間是按部就班的關係，從一開始讓咱們認識面向對象編程，到後來開始接觸多線程編程，而後再對設計進行規範化，讓咱們一步步地深刻了解面向對象編程。
4.2我本身實現了電梯和文件檢測。本身在設計上可以較好地按對象開始設計程序，測試方面有待提升，不能很好的設計出錯誤用例。
4.3工程化開發我認爲就是通力協做也好一個大程序，每一個人寫這個工程的一小部分，可是這些部分最後可以拼裝成一個大程序，向流水線做業最後整合同樣，因此要事先規定好大的規格。
4.4但願可以簡單一點。