OO第四次博客做業！

oo第四次博客做業

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

測試只是單方面片面的證實對於當前的輸入程序是正確的，測試只能證實程序有錯誤，不能說明程序是對的。

正確性論證是程序達到預期目的的通常性陳述，是經過規範化的論證來講明程序運行是否符合預期，嚴謹的證實是能夠有效說明程序的正確性的。

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

OCL(object constraint language)對象約束語言，一種用來進行約束定義的，形式化的無二義的語言。OCL是一個類型語言，任何表達式的值都是屬於一個類型的。這個類型能夠是預約義的標準類型例如Boolean或者Integer，也能夠是UML圖中的元素例如對象。也能夠是這些元素組成的集合，例如對象的集合、包、有序集合等等。

OCL與jsf有相似，可是也有不一樣。相同的地方在都是一種用來約束定義的語言，都沒有二義性，採用前置條件和後置條件對方法的運行加以約束。不一樣體如今jsf支持更多的運算方式，更加自由，而OCL則更加嚴謹。

3、單電梯系統結構梳理

一、uml類圖

二、順序圖

三、狀態轉換圖

4、總結

一、關係

按部就班

二、進步

從一開始的對面向對象有了必定的瞭解變成了本身對面向對象和jsf規格有了必定的瞭解。

三、工程化開發

工程化開發即爲經過必定的代碼規範來保證大型項目的開發不出現差錯。

四、對課程的指望

沒啥好說的，就祝oo越辦越好。