第九章 对象设计 接口规格说明教案.doc

大理学院课程教案 （理论教学） 课程名称： 软件工程 课程类型：（ 2 ）1、必修；2、选修；3、其它 授课对象： 计算机科学与技术 专业（本、专科） 2011 级 1,2班 授课时间： 2013 至 2014 学年第 3 学期 计划学时： 64 学时（其中：理论 48 ，实验： 16 ） 任课教师： 杜英国 所属学院： 数学与计算机学院 课程管理部门（教研室）： 软件教研室 大理学院教务处 制  课程名称：软件工程 教 材：面向对象软件工程－使用UML、模式与Java（第2版） 清华大学出版社出版，Bernd Bruegge 编著， 2006 年第 2 版 讲 授 人：杜英国 专业技术职务：讲师 学 历： 研究生 学 位：硕士 讲授题目：第九章 对象设计：接口规格说明 所属章节：第九章 对象设计：接口规格说明 计划学时：4 教学目的和要求： 掌握：接口规格说明概念；类实现者、类扩展者和类使用者；契约：不变式、前置条件和后置条件。 熟悉：类型、签名和可见性；接口规格说明活动；标识遗漏的属性和操作；说明类型、签名和可见性；说明前置条件和后置条件；说明不变式；继承契约；对象设计文档化；分配责任；在需求分析中使用契约。 了解：对象约束语言；OCL收集：集合、包和序列；OCL量词：全称量词forAll和存在量词exists；管理对象设计；实例分析。 教学重点： 类型、签名和可见性；接口规格说明活动；标识遗漏的属性和操作；说明类型、签名和可见性 教学难点： 标识遗漏的属性和操作。 教学方法： 多媒体教学，系统讲授，实践教学 使用教具： 多媒体教学系统 思 考 题： 参考资料： 1． 《UML实践教程—面向.NET开发人员》 （美）Martin L. Shoemaker著 清华大学出版社 2．《UML和模式应用》 （美）Craig Larman著 李洋 郑龚译 机械工业出版社 3．《SOFTWAREENGINEERING》A PRACTITIONER’S APPROACH ROGER S. PRESSMAN 清华大学出版社 第九章 对象设计：接口规格说明 对象设计中接口描述活动包括： 确定遗漏的属性和操作 描述类型签名和操作 描述不变式 描述前置条件和后置条件 9.1接口规格说明概述 回顾系统开发阶段创建的重要模型： 对象分析模型：描述实体对象、边界对象和控制对象。对象分析模型包含每一个对象的属性和操作。 子系统分解：描述系统中的对象是怎样被划分到相关部分中，然后这些相关部分被不同的独立开发小组开发。 硬件/软件映射：标识建立虚拟机的构件，在虚拟机上建立解对象。 边界用例：描述系统要处理的边界事务或者是异常情况。 设计模式：描述了解决特定设计问题的对象设计方法。 9.2 接口规格说明概念 9.2.1 类实现者、类扩展者和类使用者 类实现者（class implementor）负责实现待实现的类。 类使用者（class user）在其它类的实现过程中，调用由待实现类所提供的操作，这个类成为客户类。 类扩展者（class extender）开发待实现类的特定扩展。 9.2.2 类型、签名和可见性 类型：说明了属性的取值范围，以及该属性能够进行的操作。 签名：给定一个操作，由参数类型和返回值类型构成的元组，称为操作的签名。 可见性：一个操作或属性的可见性，是指说明该属性或操作是否能被其它类使用的一种机制。UML定义了可见性的3种级别： 私有属性或操作：私有属性仅能被定义它的类访问。私有操作仅能被定义它的类调用。 保护属性或操作：保护属性或操作能够被定义它的类或者是子类访问。 公有属性或操作：公有属性或者操作能够被所有的类访问。在UML中，可见性是通过在属性或操作的名字前面加一个前缀来表示：—表示私有，#表示保护，+表示共有。 9.2.3 契约：不变式、前置条件和后置条件 契约就是在一个类上定义的，确保有关该类的类实现者、类使用者、类扩展者都要遵循的假设条件。契约包括3种类型的约束： 不变式：不变式是一个对该类的所有实例而言都为真的谓词。不变式是和类或接口有关的约束。 前置条件：前置条件是在调用一个操作之前，必须为真的谓词。前置条件用来说明类使用者在调用一个操作之前必须满足的约束。 后置条件：后置条件是在调用一个操作之后必须为真的