測試只是單方面片面的證明對於當前的輸入程式是正確的，測試只能證明程式有錯誤，不能說明程式是對的。
正確性論證是程式達到預期目的的一般性陳述，是通過規範化的論證來說明程式執行是否符合預期，嚴謹的證明是可以有效說明程式的正確性的。
ocl(object constraint language)物件約束語言，一種用來進行約束定義的，形式化的無二義的語言。ocl是乙個型別語言，任何表示式的值都是屬於乙個型別的。這個型別可以是預定義的標準型別例如boolean或者integer，也可以是uml圖中的元素例如物件。也可以是這些元素組成的集合，例如物件的集合、包、有序集合等等。
ocl與jsf有類似，但是也有不同。相同的地方在都是一種用來約束定義的語言，都沒有二義性，採用前置條件和後置條件對方法的執行加以約束。不同體現在jsf支援更多的運算方式，更加自由，而ocl則更加嚴謹。
循序漸進
從一開始的對物件導向有了一定的了解變成了自己對物件導向和jsf規格有了一定的了解。
工程化開發即為通過一定的**規範來保證大型專案的開發不出現差錯。
沒啥好說的，就祝oo越辦越好。
OO第四次部落格
一.測試與正確性論證 測試 爭對程式構造樣例去驗證程式的正確性。正確性論證根據程式的邏輯去判斷程式的有效性和正確性。測試的難度較正確性論證容易，但測試並不能說明測試已經全部覆蓋程式。二.ocl語言和jsf的異同 ocl物件約束語言，用來約束定義，形式化的無二義的語言，說明建模元素的有關細節。相同的 ...
OO第四次部落格
body body first child body last child p,blockquote,ul,ol,dl,table,pre h1,h2,h3,h4,h5,h6 h1 tt,h1 code,h2 tt,h2 code,h3 tt,h3 code,h4 tt,h4 code,h5 tt,...
OO第四次作業總結
測試是用通過構造資料，讓程式在某種特定情況下執行，觀察程式的執行結果和預期結果比較，來判斷在這種情況下程式的正確性。我們每次作業oo的互測，以及第13次作業中的junit測試，都是測試的例子。測試像是把程式，看成乙個黑盒，不關注其內部具體的實現。測試往往需要大量的資料，而且需要對輸入劃分成各種情況，...