1、总览要点：用例、摘要、非正式、详述、测试用例、用例分析与迭代联系起来。
2、示例：Process Sale
1）、客户携带所购商品到达收银台。
2）、收银员使用pos系统记录每件商品。
操作契约：方法（详细描述）+post-conditions
post-conditions：领域模型中对象的状态图或其他动作等。
附：
1、总览要点：用例、摘要、非正式、详述、测试用例、用例分析与迭代联系起来。
2、示例：Process Sale
1）、客户携带所购商品到达收银台。
2）、收银员使用pos系统记录每件商品。
操作契约：方法（详细描述）+post-conditions
post-conditions：领域模型中对象的状态图或其他动作等。
附：