設(shè)計(jì)準(zhǔn)則ppt課件-在線瀏覽
2025-06-16 03:37本頁面
【正文】 e通過接口使 Shipment類的結(jié)構(gòu)變清晰 : 兩種表示方法Java 部分實(shí)現(xiàn)代碼 : interface Dimensions{ public double getWidth()。amp。amp。一個(gè)設(shè)計(jì)足以實(shí)現(xiàn)需求設(shè)計(jì)必須完全可理解設(shè)計(jì)非常模塊化一個(gè)正確設(shè)計(jì)有時(shí)稱為 …最小目標(biāo)接下來 ……達(dá)到這個(gè)目標(biāo)的常用方法是 …… 達(dá)到正確性的正式方法 包含了用數(shù)學(xué)邏輯的方法來分析變量變化的方向。第三章 設(shè)計(jì)準(zhǔn)則 I: 正確性和健壯性Design Principles ICorrectness and Robustness軟件設(shè)計(jì)的目標(biāo)： 正確性、健壯性、靈活性、可重用性和高效性正確性、充分性 靈活性、可重用性純粹的極限程序設(shè)計(jì)XP(extreme programming)適應(yīng)未來許多需求變化的設(shè)計(jì) 正確性和充分性 目標(biāo) : 每個(gè)項(xiàng)目都要滿足指定的需求， 然后一 起滿足所有應(yīng)用程序的需求。Goal: That each artifact satisfies designated requirements, and that together they satisfy all of the application’s requirements. 實(shí)現(xiàn)正確的途徑 達(dá)到正確性的非正式方法 在確定最終結(jié)果之前， 應(yīng)該進(jìn)行簡單和模塊化設(shè)計(jì)。 類不變式例 : Invariants for Class Automobile1. mileage = 02. mileage 10000003. vehicleID 至少為 8個(gè)字符4. value = 300 (300美元是一輛報(bào)廢車的處理價(jià)格 )5. originalPrice = 06. (type == “REGULAR” amp。 value = originalPrice) || (type == “VINTAGE” amp。 value = originalPrice)Automobile類的方法要考慮這些不變式，這正是我們經(jīng)常將變量設(shè)為私有的原因。 public double getLength()。}…… class Shipment implements Dimensions, TransportationMeans, GoodsTy
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1