软件开发环境方案.ppt

[5]测试和配置 完成系统编码后，需要对系统进行测试，它通常包括：单元测试、集成测试、系统测试和验收测试。 在单元测试中使用类图和类的规格说明，对单独的类或一组类进行测试；在集成测试中，使用组件图和合作图，对各组件的合作情况进行测试；在系统测试中，使用用例图，以检验所开发的系统是否满足例图所描述的需求。 系统的配置是实际地交付系统，包括文档和组成模型等。 聚集（Aggregation）用来表达整体－部分关系的关联。组合（Composition）是一种聚集，是关联更强的形式。 Polygon Point 1 3..* points Contains Polygon Window Slider 1 2 Scrollbar Header 1 Title 1 1 Panel 1 Body 聚集 组合 静态建模关系－聚合和组合 泛化是一般化和具体化之间的一种关系。 继承就是一种泛化关系，更一般化的描述称为双亲，双亲的双亲称为祖先，更具体化的描述称为孩子，在类的范畴，双亲对应超类，孩子对应子类。 Tree Oak Elm Birch 孩子 双亲 Person Student Graduate 祖先 静态建模关系－泛化 多重继承：一个孩子可以从多个双亲继承属性和方法。多重继承可能存在冲突，因为被继承的双亲可能存在相同的类声明，这时，最好显式解决冲突问题。 Assistant Teacher Student 静态建模关系－多重继承 依赖指明两个或两个以上模型元素之间的关系。 依赖有很多种类，比如：实现（realize）、使用、（usage）、实例化（instantiate）、调用（call），派生（derive）、访问（access）、引入（import）、友元（friend）等等。 subsystem Application Server subsystem DataBase usage 依赖类型 静态建模关系－依赖 实现是依赖的一种，但由于它具有特殊意义，所以将它独立讲述。实现是连接说明和实现之间的关系。 String isEqual(String) : Boolean Hash() : Integer … Comparable interface Comparable isEqual(String) : Boolean Hash() : Integer … 实现 特殊的实现标记 静态建模关系－实现 约束用来表示各种限制，如关联路径上的限制，和属性特征检测（存在、所有）。 Person Committee Member-of 约束 Chair-of {subset} 静态建模关系－约束 静态视图是UML的基础，静态视图表示为类图，主要是描述类和类之间的关系。 继承 关联 Person House residence 0..* owner 0..* FinancialInstitution client creditor 0..* 0..* Mortgage principal rate term 关联类 {ordered} 0..* 1 Bank TrustCompany 静态建模－类图 对象图是系统在某一时刻的快照。 Smith : Person cottage : House home : House first : Mortgage second : Mortgage RoyalBank : Bank 链 静态建模－对象图 状态机图 用例图 活动图 顺序图 协作图 动态建模 状态机图是对单个类的对象的生命周期进行建模，描述了对象时间上的动态行为，每个对象被认为是事件驱动的孤立实体。 状态机图是由状态和跃迁组成的图，通常状态机附属于类，描述类实例对接受事件的响应。 事件表达对象间的调用、显式信号、值的改变或时间的推移。 调用事件、变更事件、信号事件、时间事件 状态描述对象生命周期的一段时间，可以是等待其它事件时所处的时间，或是执行某一活动时所处的时间，状态分为简单状态和复合状态。 动态建模-状态机图 跃迁定义对象对某一事件发生的反应，通常，迁移具有触发事件、跃迁条件、动作和目标状态。 跃迁的种类有外部跃迁和内部跃迁。外部跃迁是最普通的跃迁，会发生状态改变；内部跃迁不发生状态改变。 跃迁有两个隐式动作：进入动作和退出动作。无论何时进入和退出时都要执行，这方便进入时进行初始化工作，退出时进行资源的释放工作。 动态建模-状态机图 created ready HandleEvent InitializeObject TerminateObject Wait forEvent start/^master.ready() poll/^master.ack() stop/ 初始状态 结束状态 状