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

1.論述測試與正確性論證的效果差異，比較其優缺點
測試通過大量測試數據來覆蓋測試代碼，比較直觀，優點在於知道測的是啥，特別直觀，缺點在於很難覆蓋所有情況。
正確性論證從邏輯關系對代碼進行理論上的驗證，優點在於能夠保證正確性，缺點在於不夠直觀，不好論證。

2.OCL

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

3.第十四次作業的UML圖

類圖

順序圖

狀態圖

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

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