第三部分 细化迭代1--基础(08-11章).ppt

11.5 示例：enterItem后置条件 创建和删除实例： 创建了SalesLineItem的实例sli 修改属性： 将sli.quantity数值为Quantity 关联形成和消除 将Sli关联到当前Sale 基于itemID的匹配， 将sli关联到ProductSpecification 11.6 准则：是否应该更新领域模型 在迭代和进化式方法中，所有分析和设计制品都不是完善的，要根据新发现对其改进 11.7 准则：契约在何时有效 契约可能并不需要：如果开发者在没有操作契约的情况下，能够准确地理解所需完成的工作，则可以不编写契约。 可以尽早编写后置条件，但是并不需要写得完整和详细，因为后面可以进一步改进 11.8 准则：如何创建和编写契约 为了制定一个契约: 从SSD中识别系统操作 对于复杂的，结果比较微妙的系统操作，或者在用例中表达不清楚的系统操作，构造一个契约 为了描述后置条件，使用下列列表 实例创建或删除 属性修改 关联形成和清除 以说明性的、被动式的过去时态编写后置条件。 常见的错误是遗漏了关联的形成，特别是当创建了新实例 时，通常需要建立与若干对象的关联。 11.9 示例：pos契约 Pos 领域模型的修改： Sale isComplete：Boolean dateTime 11.12 过程： UP的操作契约 初始：初始阶段不会引人契约，因