0面向对欣赏象分析.pptVIP

? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心 创建操作契约的指导原则 契约不是必须的。如果用例可以提供大多数或者所有设计需要的细节，那么契约没有什么价值。创建操作契约的指导原则如下： 1.首先从系统顺序图中识别系统事件，然后针对每一个系统事件设计对应的系统操作。 2.对于那些复杂的、结果微妙的以及在用例中不清晰的系统操作，构造一个契约，作为用例的补充。 3.要描述后置条件。后置条件对于领域概念状态变化的描述关注下面三个方面： 实例创建和删除。 属性修改。 关联形成和断开。特别是在创建了新的实例后，往往需要和多个对象之间建立关联。 ? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心 创建操作契约的指导原则 4．后置条件的陈述应该采用过去时态的声明语气和被动句型，以强调系统状态所发生的变化，而不是强调这种变化是如何设计实现的。 5．在需求工作时，如果要为一个系统操作建立契约，那么为系统操作产生一个完整、详细的后置条件集有时是不可能甚至是不需要的。 ? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心 考试系统中的系统操作 考试系统中的8个系统操作： logon(role:string,Id:string,pwd:string) getAvailableTes