設(shè)計(jì)準(zhǔn)則ppt課件(已修改)
2025-05-11 03:37 本頁(yè)面
【正文】 第三章 設(shè)計(jì)準(zhǔn)則 I: 正確性和健壯性Design Principles ICorrectness and Robustness軟件設(shè)計(jì)的目標(biāo)： 正確性、健壯性、靈活性、可重用性和高效性正確性、充分性 靈活性、可重用性純粹的極限程序設(shè)計(jì)XP(extreme programming)適應(yīng)未來(lái)許多需求變化的設(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)行簡(jiǎn)單和模塊化設(shè)計(jì)。一個(gè)設(shè)計(jì)足以實(shí)現(xiàn)需求設(shè)計(jì)必須完全可理解設(shè)計(jì)非常模塊化一個(gè)正確設(shè)計(jì)有時(shí)稱為 …最小目標(biāo)接下來(lái) ……達(dá)到這個(gè)目標(biāo)的常用方法是 …… 達(dá)到正確性的正式方法 包含了用數(shù)學(xué)邏輯的方法來(lái)分析變量變化的方向。 類不變式例 : Invariants for Class Automobile1. mileage = 02. mileage 10000003. vehicleID 至少為 8個(gè)字符4. value = 300 (300美元是一輛報(bào)廢車的處理價(jià)格 )5. originalPrice = 06. (type == “REGULAR” amp。amp。 value = originalPrice) || (type == “VINTAGE” amp。amp。 value = originalPrice)Automobile類的方法要考慮這些不變式，這正是我們經(jīng)常將變量設(shè)為私有的原因。 模塊 接口 類的接口Shipment原始形式ShipmentsetVehicle()perishable()getWidth ()printRoute()describeType()getLength()getDuration()setType()getWeight ()DimensionsgetWidth ()getLength()getWeight ()
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1