軟件構造複習2

1.設計規約 前置條件：對客戶端的約束，在使用方法時必須滿足的條件 後置條件：對開發者的約束，方法結束時必須滿足的條件 契約：如果前置條件滿足了，後置條件必須滿足。前置條件不滿足，則方法可做任何事情 spec變強：更放鬆的前置條件+更嚴格的後置條件 在不衝突的情況下，強規約可以替代弱規約 S2比S1有更嚴格的後置條件：在滿足S1的前置條件的前提下，S2後置條件強於S1的後置條件 Diagrammi

>>阅读原文<<