第四次部落格

#撲克牌的物件導向建模：建立兩個列舉型別suit（花色），rank（等級）；建立兩個類card（牌），cardsset（五張牌的集合）；要求cardsset實現comparable介面，按照德州撲克規則比較不同牌型的大小。

//列舉型別表示一副撲克牌：

console.log("列舉型別表示一副撲克牌：");
//定義個已個表示「玩牌」的類
function card( suit , rank )
//使用列舉類定義換色和點數
card.suit = enumeration( );
card.rank = enumeration(  ) ;
//定義用以表示一副標準撲克牌的類
function deck());
});}

第四次部落格

測試與正確性論證 測試的目的是將程式的 做到全覆蓋，從而確保每個分支都執行一遍，進而分析 中是否有錯誤，錯誤出在 這個方法是實用的，但不是完備的。而正確性論證則通過大量的窮舉，基於repok和jsf來論證正確性，是邏輯層次的，可以說絕對正確，但相對複雜。私以為，二者的區別在於，測試可以說明沒找到錯，...

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,...