软件工程.pptVIP

软件工程 Software Engineering Fall, 2012 设计接口规格说明 在系统设计过程中所标识的子系统功能，都能通过设计接口规格说明，在类接口中详细说明。 接口规格说明的目标是足够清晰地描述每一个对象的接口，为实现这个对象打下基础。为此，设计接口规格说明的主要活动包括： 标识遗漏的属性和操作 标识类型、可见性和签名 描述前置条件和后置条件 描述不变式 接口规格说明的概念 类实现者、类扩展者、类用户 类型、签名和可见性 契约：不变式、前置条件、后置条件 契约是每一个操作在被调用之前所需满足的条件，操作完成后所需满足的条件，包括返回结果需满足的条件。 类实现者、类扩展者、类用户 类实现者－负责实现正在考虑中的类。 类实现者设计内部的数据结构，并为每个公共操作实现代码。 对类实现者而言，接口规格说明是一个工作分配。 类扩展者－开发正在考虑中的类的指定扩展。 对类扩展者而言，“接口规格说明”说明了当前的类行为，又说明了指定类提供服务的所有约束。 类用户－在其它类的实现过程中，调用正在考虑类所提供的操作，也称为客户类。 对类用户而言，接口规格说明根据类提供的服务和对客户类所做的假设，揭示了类的边界。 类型、签名和可见性 可见性 Class user (“Public”): + 公有的属性/操作可以被任何类访问 Class implementor (“Private”): - 私有的属性/操作可以被只能被定义它们的类访问； 不能被子类或其它类访问。 Class extender (“Protected”): # 保护的属性/操作被定义它们的类和子类访问 在UML中，“+”表示public, “-”表示private, “#”表示protected. 契约：不变式、前置条件、后置条件 Arena系统的契约例子: 一个已经注册的选手不能再注册了； 一个联赛(tournament )里的选手的数量不能大于能容纳的最大数量(maxNumPlayers)； 只有已经注册的选手才能被删除。 契约也可以采用UML建模。 对象约束语言，OCL(Object Constraint Language, OCL)，已经是UML标准的一部分了。 课堂练习 Stack的契约有哪些？ 契约的UML表示法 契约包含3种约束： 不变式(Invariant): 对于一个类的所有实例都总是为“真”(true). 前置条件（Precondition ): 在一个操作调用之前必须为“真”. 后置条件(Postcondition): 一个操作调用之后必须为“真”. 契约的UML表示法 UML类图，契约可以用注释表示 用对象约束语言(OCL: Object Constraint Language)表示。 课堂练习 用UML模型表示Stack的契约 OCL: Object Constraint Language 可以选用文本形式描述OCL表达式。 OCL是表示契约的一种语言。 OCL的基本概念 OCL表达式-返回“真”或“假”(True or False); maxNumPlayers /** The maximum number of players?* is positive at all times.?* @invariant maxNumPlayers 0?*/ private int maxNumPlayers; players /** The players List contains ??* references to Players who are?* are registered with the?* Tournament. */ private List players; /** Returns the current number of?* players in the tournament. */ public int getNumPlayers() {…} /** Returns the maximum number of?* players in the tournament. */ public int getMaxNumPlayers() {…} acceptPlayer (Player p) /** The acceptPlayer() operation?* assumes that the specified?* player has not been accepted * in the Tournament yet.?* @pre !isPlayerAccepted(p)?* @pre getNumPlayers()maxNumPlayers