一.測試與正確性論證
測試：爭對程式構造樣例去驗證程式的正確性。
正確性論證根據程式的邏輯去判斷程式的有效性和正確性。
測試的難度較正確性論證容易，但測試並不能說明測試已經全部覆蓋程式。
二.ocl語言和jsf的異同
ocl物件約束語言，用來約束定義，形式化的無二義的語言，說明建模元素的有關細節。
相同的： 都具有前置條件、後置條件。無二義性。
不同點：語法不同。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第四次部落格作業！
測試只是單方面片面的證明對於當前的輸入程式是正確的，測試只能證明程式有錯誤，不能說明程式是對的。正確性論證是程式達到預期目的的一般性陳述，是通過規範化的論證來說明程式執行是否符合預期，嚴謹的證明是可以有效說明程式的正確性的。ocl object constraint language 物件約束語言，...
第四次部落格
撲克牌的物件導向建模 建立兩個列舉型別suit 花色 rank 等級 建立兩個類card 牌 cardsset 五張牌的集合 要求cardsset實現comparable介面，按照德州撲克規則比較不同牌型的大小。列舉型別表示一副撲克牌 console.log 列舉型別表示一副撲克牌 定義個已個表示 ...