软件构造复习2

1.设计规约 前置条件：对客户端的约束，在使用方法时必须满足的条件 后置条件：对开发者的约束，方法结束时必须满足的条件 契约：如果前置条件满足了，后置条件必须满足。前置条件不满足，则方法可做任何事情 spec变强：更放松的前置条件+更严格的后置条件 在不冲突的情况下，强规约可以替代弱规约 S2比S1有更严格的后置条件：在满足S1的前置条件的前提下，S2后置条件强于S1的后置条件 Diagrammi

>>阅读原文<<