资源描述：
《软件工程课件ch9》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、9.2接口规格说明概述¢在系统开发上,我们做出了很多决策并创造了很多模型:¢对象分析模型ß对象分析模型可描述实体对象、边界对象和控制对象,这些对象对于用第9章户而言是可见的。对象分析模型包含了每一个对象的属性和操作。¢子系统分解ß子系统分解描述了这些对象是怎样被划分到相关部分中,然后这些相关部分被不同的独立开发小组开发。每一个子系统包括了高层服务描述,对象设计：接口规格说明以说明该子系统向其他子系统提供的功能。¢硬件/软件映射ß硬件/软件映射标识了建立虚拟机的构件,我们在该虚拟机上建立了解对象。这可能包括由己有构件定义的类和API。¢边界用例ß边
2、界用例从用户的角度出发,描述了系统要处理的正常情况或异常情况。¢设计模式ß在复用对象设计过程中选择的设计模式,描述了解决特定设计问题的部分对象设计模式。面向对象软件工程第9章对象设计：接口规格说明1面向对象软件工程第9章对象设计：接口规格说明2¢为了达到这个目标,接口规格说明包括以下活动:¢标识遗漏的属性和操作。在这个活动中,将检查每个子系¢对象设计的目标是生成一个对象设计模型,从统提供的服务以及每一个分析对象。我们标识了需要子系而将上面的所有信息集成在一个相关联和精确统服务实现的、但却被遗漏了的操作和属性。¢需要对当前的对象设计模型求精,同时也
3、对这些操作所用的整体中。到的参数进行求精。¢接口规格说明的目标,能足够清晰地描述每一¢标识可见性和签名。个对象的接口,这样就能通过独立的开发者实ß在这个过程中,将决定哪一个操作对其他对象和子系统是可用的,哪现这些对象,以满足最小集成的需要。一个操作仅仅是对本子系统可用的。还说明了每一个操作的返回类型,以及参数的数目和类型。ß这个活动的目标是减少子系统间的耦合度,并提供一个较小且简单的接口,这一接口可被独立的开发者理解。¢定义契约。根据约束描述了每一个对象操作应该提供的行为。特别地,对每一个操作,我们描述在该操作被调用之前所需满足的条件,还描述了操
4、作返回结果的规格说明。面向对象软件工程第9章对象设计：接口规格说明3面向对象软件工程第9章对象设计：接口规格说明49.3接口规格说明概念9.3.1类实现者、类扩展者和类使用者¢类实现者(classimplementor)负责实现待实现的类。¢类实现者、类扩展者和类使用者ß类实现者设计内部的数据结构,并为每个操作实现代¢类型、签名和可见性码。对类实现者而言,接口规格说明是分配任务之一。¢类使用者(classuser)在其他类的实现过程中,调用由待¢契约:不变式、前置条件和后置条件实现类所提供的操作,这个类成为客户类。¢对象约束语言OCLß对类使用者
5、来说,接口规格说明根据类提供的服务和对¢OCL收集:集合、包和序列客户类所做的假设,揭示了类的边界。¢类扩展者(classextender)开发待实现类的特定扩展。¢OCL量词:全称量词forAll和存在量词existsß与类实现者一样,类扩展者也可以调用其感兴趣类所提供的操作,类扩展者关注同一个服务的特定版本。对他们来说,接口规格说明既说明了当前的类行为,又说明了特定类提供服务的所有约束。面向对象软件工程第9章对象设计：接口规格说明5面向对象软件工程第9章对象设计：接口规格说明61¢例：ß实现游戏类(Game)的开发者,包括对所有游戏类(Gam
6、e)都适用的操作,----游戏类(Game)实现者。ß联盟类(League)和联赛类(Tournament)调用了由游戏类(Game)的接口提供的操作,来组织和举行各项比赛(Match)。负责联盟类(League)和联赛类(Tournament)的开发者,就是游戏(Game)类的使用者。类使用者调用类ßTicTacToe类和Chess类(TicTacToe和Chess是两种游戏类型)是将游戏类(Game)进行特定扩展后,得到的具体类,那么负责开发TicTacToe类和Chess类的开发者,就是游戏类(Game)的扩展者。开发者类实现者实现类联盟（
7、League）游戏（Game）1类扩展者改进类*联赛（Tournament）TicTacToeChess面向对象软件工程第9章对象设计：接口规格说明7面向对象软件工程第9章对象设计：接口规格说明89.3.2类型、签名和可见性¢一个操作或属性的可见性,是指说明该属性或操作是否能被其他类使用的一种机制。¢属性的类型说明了这个属性的取值范围,以及¢UML定义了可见性的3种级别:该属性能够进行的操作。ß私有属性。私有属性仅能被定义它的类访问。私有操作也仅能被定义它的类调用。私有属性和操作不能被子类和调用类ß操作参数和返回值也需要和属性一样进行类型确访问。
8、私有属性和操作仅能由类实现者访问或调用。定。类型约束了参数或是返回值可以取值的范围。ß保护属性或操作。保护属性或操作能够被定义它的类或是
