UML状态图切片系统的设计与实现
UML各种图例齐全—用例图、类图、状态图、包图、协作图、顺序图详细说明书画法和功能
UML各种图例面向对象的问题的处理的关键是建模问题.建模可以把在复杂世界的许多重要的细节给抽象出.许多建模工具封装了UML（也就是Unified Modeling Language ™），这篇课程的目的是展示出UML的精彩之处.UML中有九种建模的图标，即：∙用例图∙类图∙对象图∙顺序图∙协作图∙状态图∙活动图∙组件图∙配置图本课程中的某些部分包含了这些图的细节信息的页面链接.而且每个部分都有一个小问题，测试一下你对这个部分的理解.为什么UML很重要?为了回答这个问题，我们看看建筑行业.设计师设计出房子.施工人员使用这个设计来建造房子.建筑越复杂，设计师和施工人员之间的交流就越重要.蓝图就成标准文档为了这个行业中的设计师和施工人员的必修课.写软件就好像建造建筑物一样.系统越复杂，参与编写与配置软件的人员之间的交流也就越重要.在过去十年里UML就成为分析师，设计师和程序员之间的“建筑蓝图”.现在它已经成为了软件行业的一部分了.UML提供了分析师，设计师和程序员之间在软件设计时的通用语言.UML被应用到面向对象的问题的解决上.想要学习UML必须熟悉面向对象解决问题的根本原则――都是从模型的建造开始的.一个模型model就是根本问题的抽象.域domain就是问题所处的真实世界.模型是由对象objects组成的，它们之间通过相互发送消息messages来相互作用的.记住把一个对象想象成“活着的”.对象有他们知道的事（属性attributes）和他们可以做的事（行为或操作behaviors or operations）.对象的属性的值决定了它的状态state.类Classes是对象的“蓝图”.一个类在一个单独的实体中封装了属性（数据）和行为（方法或函数）.对象是类的实例instances.用例图用例图Use case diagrams描述了作为一个外部的观察者的视角对系统的印象.强调这个系统是什么而不是这个系统怎么工作.用例图与情节紧紧相关的.情节scenario是指当某个人与系统进行互动时发生的情况.下面是一个医院门诊部的情节.“一个病人打电话给门诊部预约一年一次的身体检查.接待员找出在预约记录本上找出最近的没有预约过的时间，并记上那个时间的预约记录.”用例Use case是为了完成一个工作或者达到一个目的的一系列情节的总和.角色actor是发动与这个工作有关的事件的人或者事情.角色简单的扮演着人或者对象的作用.下面的图是一个门诊部Make Appointment用例.角色是病人.角色与用例的联系是通讯联系communication association（或简称通讯communication）标准文档角色是人状的图标，用例是一个椭圆，通讯是连接角色和用例的线.一个用例图是角色，用例，和它们之间的联系的集合.我们已经把Make Appointment作为一个含有四个角色和四个用例的图的一部分.注意一个单独的用例可以有多个角色.用例图在三个领域很有作用.决定特征（需求）.当系统已经分析好并且设计成型时，新的用例产生新的需求标准文档∙客户通讯.使用用例图很容易表示开发者与客户之间的联系.∙产生测试用例.一个用例的情节可能产生这些情节的一批测试用例.类图类图Class diagram通过显示出系统的类以及这些类之间的关系来表示系统.类图是静态的－它们显示出什么可以产生影响但不会告诉你什么时候产生影响.下面是一个顾客从零售商处预定商品的模型的类图.中心的类是Order.连接它的是购买货物的Customer和Payment.Payment有三种形式：Cash，Check，或者Credit.订单包括OrderDetails（line item），每个这种类都连着Item.标准文档UML类的符号是一个被划分成三块的方框：类名，属性，和操作.抽象类的名字，像Payment是斜体的.类之间的关系是连接线.类图有三种关系.关联association－表示两种类的实例间的关系.如果一个类的实例必须要用另一个类的实例才能完成工作时就要用关联.在图中，关联用两个类之间的连线表示.标准文档标准文档为了简单地表示出复杂的类图，可以把类组合成包packages.一个包是UML上有逻辑关系的元件的集合.下面这个图是是一个把类组合成包的一个商业模型.dependencies关系.如果另一个的包B改变可能会导致一个包A改变，则包A依赖包B.包是用一个在上方带有小标签的矩形表示的.包名写在标签上或者在矩形里面.点化线箭头表示依赖对象图Object diagrams用来表示类的实例.他们在解释复杂关系的细小问题时（特别是递归关系时）很有用.这个类图示一个大学的Department可以包括其他很多的Departments.标准文档这个对象图示上面类图的实例.用了很多具体的例子.UML中实例名带有下划线.只要意思清楚，类或实例名可以在对象图中被省略.标准文档每个类图的矩形对应了一个单独的实例.实例名称中所强调的UML图表.类或实例的名称可能是省略对象图表只要图的意义仍然是明确的.顺序图类图和对象图是静态模型的视图.交互图是动态的.他们描述了对象间的交互作用.顺序图将交互关系表示为一个二维图.纵向是时间轴，时间沿竖线向下延伸.横向轴代表了在协作中各独立对象的类元角色.类元角色用生命线表示.当对象存在时，角色用一条虚线表示，当对象的过程处于激活状态时，生命线是一个双道线.消息用从一个对象的生命线到另一个对象生命线的箭头表示.箭头以时间顺序在图中从上到下排列.标准文档协作图协作图也是互动的图表.他们像序列图一样也传递相同的信息，但他们不关心什么时候消息被传递，只关心对象的角色.在序列图中，对象的角色放在上面而消息则是连接线.标准文档对象角色矩形上标有类或对象名（或者都有）.类名前面有个冒号（：）.协作图的每个消息都有一个序列号.顶层消息的数字是1.同一个等级的消息（也就是同一个调用中的消息）有同样的数字前缀，再根据他们出现的顺序增加一个后缀1，2等等.状态图对象拥有行为和状态.对象的状态是由对象当前的行动和条件决定的.状态图statechart diagram显示出了对象可能的状态以及由状态改变而导致的转移.标准文档我们的模型例图建立了一个银行的在线登录系统.登录过程包括输入合法的密码和个人账号，再提交给系统验证信息.登录系统可以被划分为四种不重叠的状态：Getting SSN, Getting PIN, Validating, 以及 Rejecting.每个状态都有一套完整的转移transitions来决定状态的顺序.标准文档状态是用圆角矩形来表示的.转移则是使用带箭头的连线表示.触发转移的事件或者条件写在箭头的旁边.我们的图上有两个自转移.一个是在Getting SSN，另一个则在上Getting PIN.初始状态（黑色圆圈）是开始动作的虚拟开始.结束状态也是动作的虚拟结束.事件或条件触发动作时用（/动作）表示.当进入Validating状态时，对象并不等外部事件触发转移.取而代之，它产生一个动作.动作的结果决定了下一步的状态.活动图活动图activity diagram是一个很特别的流程图.活动图和状态图之间是有关系的.状态图把焦点集中在过程中的对象身上，而活动图则集中在一个单独过程动作流程.活动图告诉了我们活动之间的依赖关系.对我们的例子来说，我们使用如下的过程.“通过ATM来取钱.”这个活动有三个类Customer, ATM和 Bank.整个过程从黑色圆圈开始到黑白的同心圆结束.活动用圆角矩形表示.标准文档标准文档标准文档。
UML状态图的画法
转移类型：简单转移、自转移、自动转移、复合转移等。
14
事件
事件（event是指某个时刻发生的事情 事件中最常见的是：
信号事件（signal event）:从一个对象到另一个对象 的明确的单向信息流动。
购入项目 在店内
entry/ 令store = theStore本店)
弃置项目
租出项目 归还项目
已租出
租出项目
正常 entry/ 令store = null空值) 已出租do/ 每天检查到期时间
超过到期日子
过期 entry/ 通知会员
25
3.4.2 顺序子状态
顺序子状态：子状态是一个一个顺序转移的不是并发存在 的
源状态
目标状态1
源状态1
目标状态2
源状态2
目标状态
30
3.4.4 并发子状态—同步
在并发状态图中一个子状态图中 的子状态常常需要与另一个子 状态图中的子状态的行为同步 在UML中使示（伪状态，放 在分隔子状态的虚线上。
例：建筑住宅的并发状态图。 其中有二个子状态图，分别 代表主体工程施工和水电工程 施工，它们是并行进行的。
历史状态是一个伪状态的图形标记，只能作为组合状态中 的子状态，不能在顶层状态图中使用。
32
3.4.5 历史状态2
活动 停止
恢复
H
暂停
播发
中断
选择
影碟机对象工作的部分状态图
33
3.5 状态图的应用
状态图为一个对象的生命周期建立模型状态图可以表示一 个对象的历史引起一个状态向另一个状态转移的事件，以 及由于状态的转移而引发的动作。
UML中的活动图和状态图的区别与实际应用案例解析
UML中的活动图和状态图的区别与实际应用案例解析UML（Unified Modeling Language）是一种用于软件系统建模的标准化语言，它提供了一套丰富的图形符号和规范，帮助开发人员更好地理解和设计软件系统。
在UML中，活动图和状态图是两种常用的图形表示方式，用于描述系统中的活动流程和对象状态。
本文将探讨这两种图形的区别，并通过实际应用案例来解析它们的具体应用。
活动图是一种用于描述系统中活动流程的图形表示方式。
它主要由活动（Action）、控制流（Control Flow）和决策节点（Decision Node）等元素组成。
活动图可以清晰地展示系统中的各种活动以及它们之间的关系和顺序。
活动图通常用于描述业务流程、系统交互和软件系统中的算法等。
例如，在一个在线购物系统中，我们可以使用活动图来描述用户选择商品、添加到购物车、填写订单信息、确认支付等流程。
通过活动图，我们可以更好地理解和设计系统中的各个步骤，从而提高系统的可靠性和可维护性。
与活动图相比，状态图主要用于描述系统中对象的状态和状态之间的转换。
状态图由状态（State）、转移（Transition）和事件（Event）等元素组成。
状态图可以清晰地展示对象在不同状态之间的转换和触发条件。
状态图通常用于描述系统中的状态机、对象的生命周期和系统中的并发操作等。
例如，在一个自动售货机系统中，我们可以使用状态图来描述售货机的工作状态，如待机状态、售货状态和故障状态等。
通过状态图，我们可以更好地理解和设计系统中对象的状态变化，从而提高系统的可靠性和性能。
活动图和状态图在应用上有一些区别。
活动图主要用于描述系统中的活动流程，强调活动之间的顺序和关系。
它更适合于描述系统中的业务流程和交互流程等。
而状态图主要用于描述系统中对象的状态和状态之间的转换，强调对象状态的变化和触发条件。
它更适合于描述系统中的状态机和对象的行为。
下面通过一个实际应用案例来进一步解析活动图和状态图的具体应用。
基于依赖性分析的UML状态图切片技术
（ ｃ ｏ ｌ ｆＣｏ ｕｅ ｃｅ ｃ ｎ ｅ ｈ ｏｏ ｙ Ｈｕ ｚ ｏ ｇＵｎｖ ｒｉｙｏ ｃｅ ｃ ｎ ｅ ｈ ｏｏ ｙ Ｗ ｕ ａ ０ ４ Ｓ ｈ ｏ ｍｐ ｔｒＳ ｉｎ ｅａ ｄＴ ｃ ｎ ｌｇ ， ａ ｈ ｎ ｉｅ ｓｔ ｆＳ ｉｎ ｅａ ｄＴ ｃ ｎ ｌｇ ， ｈ ｎ４３ ０７ ） ｏ
通过依赖性分析 ，提 出了基于 模型的减少回归测试用例的方 法 。 ｐａ ｒ ｌ Ｇｕ ｔＨａｒ ｄ和 Ｓ ｆ ＿阐述 了利用切片技术进行回归测 ， ｏ ｏ ａ ｉ ４
定义 ２ 使用节点。节点 ｎ∈ Ｐ是变量 ｖ Ｇ（） ∈Ｖ的使用节 点 ，记作 ＵＳ （，． ，当且仅 当变量 ｖ的值在对应节点 ｎ的 ＥｆＶ ） 。ｎ
［ ｙｗｏ ｄ ］ＵＭＬ ＵＭＬｓ ｔｃａｔ ｉ ｒｍ； ｌ ｅ Ｄ ｐｎ ｅ ｃ ｎｌｓｓ Ｋｅ ｒ ｓ ； ａｅｈｒ ｄａ ａ Ｓｉ ； ｅ ｅｄ ｎ ｙａ ａ ｉ ｔ ｇ ｃ ｙ
传统 的软件技术主 要是基于数据流分 析和 控制 流分析 ，
先 给 出 几 个 相 关 定义 。
语句片段处使用 ， 为对应的成员方法 。 用节点的集合记为 ｆ 使
Ｓ。 ，即 ：
试 的方法 ：通过在改动的地方计算前向切片和后向切片判别
受 改动 影响 的程序——只有那些执行 了受影响的定义 引用对 的测试 用例需要重新执行 ，这就大大减少 了测试工作 。
［ ｓｒ ｃ｜Ｔ ｉ ｐｐｒ ｏ ｉｅ ｅｔｒｅｔｃ ｎｑ ｅ Ｍ Ｌｓａ ｃ ａｔ ｉｇａ ｐｏ ｒｍ ｓｃｎ ｎ ｏｔ ｒ ｔｓｎ ｇｔｅ ｅ ｅａｅｔｅＵ Ｌ Ａｂｔａｔ ｈｓ ａ ｅ ｍｂｎ ｓｈ ｅ ｈ ｉｕｓＵ ｔ ｈ ｒｄａ ｒｍ， ｒｇａ ｌ ｉｇａ ｄｓｆ ｅ ｅｔ ｇｔ ｅｈｒＯｇ ｎｒｔ ｈ Ｍ ｃ ｔ ｈ ｅ ｔｅ ｉ ｗａ ｉ ｏ ｔ
基于UML的系统分析与设计
系统分析
详细来说，分析阶段旳活动主要是： 辨认对象； 为对象分类； 拟定类旳属性和操作； 拟定类之间旳关系： 拟定对象之间旳交互： 拟定对象旳状态变化等。
1.辨认对象
辨认对象并不是从零开始旳工作，应该最 大程度地利用已经有旳劳动成果。比较经 典旳可利用旳资料有。
用例模型和用例描述。 术语表。权威旳术语定义集合。
邮件管理、协议管理
用例旳优化
拆分
对较大旳或复杂旳用例 用例描述，描述到了第四级，仍无法描述清楚，
需用例拆分 主流→子流→分支流→子分支流
用例旳优化
拆分例子 管理顾客涉及处理：添加顾客、修改顾客
信息、删除顾客、查找顾客、修改顾客口 令、变更顾客级别 拆分为：维护顾客信息、管理顾客权限两 个用例（按业务有关性）
基于UML旳系统分析与设计
UML建模
一种系统开发措施应由建模语言和开发过 程构成。
建模语言是设计旳表达符号,而过程则是描 述怎样进行开发所需旳环节。
UML旳开发过程涉及需求获取、系统分析、 系统设计、实现和测试5个环节。
第一阶段
需求获取
需求获取
1.需求获取 系统开发旳第一步工作就是进行需求搜
5.拟定顾客界面
拟定参加者怎样开启用例，以及用例以什 么形式向参加者提供信息，
是在构造顾客界面旳原型。 这项活动旳输入是：用例模型、详细描述
旳用例描述。 活动旳成果是顾客界面旳简图。 目旳是为参加者拟定顾客界面旳外观和感
UML动态建模工具——状态图
实验报告学院：专业：班级：姓名学号实验组实验时间指导教师成绩实验项目名称对象状态模型——状态图实验掌握利用UML动态建模工具——状态图的方法。
目的实验对案例《XX公司网上招聘系统》进行系统分析、通过用状态图对该系统进行状态建模。
要求实验利用UML建模工具建立系统状态模型。
原理实验Windows 2000 professional 以上环境，Rationsl Rose 2003,Sybase Power Designer 10 等。
环境实验见实验数据步骤实验内容系统整体结构根据用户的需求陈述，可以确定本项目分为客户端和管理端，客户端主要功能是提供应聘者的查询职位、简历录入、回答试题，提交简历等。
管理端的功能提供公司人力资源管理人员进行的知识库管理、试卷管理、职位管理、简历管理、用户管理等。
他们的关系如图A-1。
1我们采用面向对象分析作为主要的系统建模方法，使用UML(Unified Modeling Language)作为建模语言。
UML 为建模活动提供了从不同角度观察和展示系统的各种特征的方法。
在UML 中，从任何一个角度对系统所作的抽象都可能需要几种模型来描述，而这些来自不同角度的模型图最终组成了系统的映像。
Use Case 描述的是“actor ”(用户、外部系统以及系统处理)是如何与系统交互来完成工作的。
Use Case 模型提供了一个非常重要的方式来界定系统边界以及定义系统功能，同时，该模型将来可以派生出动态对象模型。
设计Use-case 时，我们遵循下列步骤：第一步，识别出系统的“actor ”。
Actor 可以是用户、外部系统，甚至是外部处理，通过某种途径与系统交互。
重要的是着重从系统外部执行者的角度来描述系统需要提供哪些功能，并指明这些功能的执行者(Actor)是谁。
尽可能地确保所有Actor 都被完全识别出来。
第二步，描述主要的Use Case 。
可以采取不断地问自己“这个Actor 究竟想通过系统做什么？”来准确地描述Use Case 。
UML中的状态图的细节拆分和优化技巧
UML中的状态图的细节拆分和优化技巧在软件开发过程中，UML（统一建模语言）是一种常用的建模语言，用于描述软件系统的结构和行为。
其中，状态图是一种重要的图表类型，用于描述系统中对象的状态转换和行为。
在使用状态图进行建模时，我们需要注意细节拆分和优化技巧，以确保图表的清晰和可读性。
首先，细节拆分是指将复杂的状态图拆分成更小的模块，以便更好地理解和管理系统的状态转换。
在进行细节拆分时，我们可以按照系统的功能或模块进行划分，将相关的状态和转换放在同一个模块中。
例如，对于一个电子商务系统，我们可以将用户登录和注册的状态和转换放在一个模块中，将商品浏览和购买的状态和转换放在另一个模块中。
这样一来，我们可以更加清晰地了解系统中的各个功能和模块之间的状态转换关系。
其次，优化技巧是指通过一些技巧和方法，使得状态图更加简洁和易读。
在进行状态图的优化时，我们可以采取以下几个方面的措施：1. 合并相似的状态和转换：如果系统中存在多个相似的状态或转换，我们可以考虑将它们合并成一个，以减少图表的复杂性。
例如，对于一个订单系统，如果存在多个相似的订单状态（如待支付、已支付、已发货等），我们可以将它们合并成一个订单状态，并使用不同的属性或条件来区分它们。
2. 使用子状态和超状态：如果系统中存在一些复杂的状态，我们可以考虑使用子状态和超状态来表示它们的层次结构。
通过使用子状态和超状态，我们可以将复杂的状态图拆分成多个较小的子图，从而使得图表更加清晰和易读。
3. 使用合适的符号和标记：在状态图中，我们可以使用一些合适的符号和标记来表示不同的状态和转换。
例如，可以使用箭头表示状态之间的转换关系，使用不同的颜色或形状表示不同的状态，以及使用标记表示状态之间的条件或动作。
通过使用合适的符号和标记，我们可以使得状态图更加直观和易懂。
4. 添加注释和说明：在状态图中，我们可以添加一些注释和说明，以帮助读者更好地理解图表的含义和用途。
例如，可以在状态之间添加注释，解释状态之间的转换条件或动作；可以在状态图的边缘添加说明，解释图表的整体结构和用途。
UML中的协作图和状态图的区别与实践应用
UML中的协作图和状态图的区别与实践应用UML（统一建模语言）是一种用于软件系统建模的标准化语言，它提供了一套丰富的图形符号和规范，方便开发人员进行系统设计和沟通。
在UML中，协作图和状态图是两种常用的图形表示方式，它们分别用于描述系统中的交互和状态。
本文将探讨协作图和状态图的区别，并介绍它们在实践中的应用。
首先，我们来了解协作图。
协作图是一种用于展示系统中对象之间的交互关系的图形表示方法。
它主要关注对象之间的消息传递和协作方式。
在协作图中，每个对象都表示为一个矩形框，框内包含对象的名称和类型。
对象之间的交互通过带箭头的消息线表示，箭头指向消息的接收者。
协作图还可以使用序列图表示对象之间的时序关系。
协作图的优势在于能够清晰地展示对象之间的交互流程，便于开发人员理解和沟通系统的设计。
与之相对应的是状态图。
状态图用于描述系统中对象的状态和状态之间的转换。
它主要关注对象的行为和状态变化。
在状态图中，每个对象都表示为一个矩形框，框内包含对象的名称和类型。
对象的状态由圆角矩形表示，状态之间的转换通过带箭头的转换线表示，箭头指向转换的目标状态。
状态图还可以使用活动图表示对象的行为流程。
状态图的优势在于能够清晰地展示对象的状态变化和行为流程，便于开发人员理解和设计系统的状态转换逻辑。
在实践中，协作图和状态图有着不同的应用场景。
协作图适用于描述对象之间的交互过程，特别是在涉及到多个对象协同工作的情况下。
例如，在一个电子商务系统中，协作图可以用于展示用户、购物车和库存管理系统之间的交互过程。
通过协作图，开发人员可以清晰地了解用户如何向购物车添加商品，购物车如何与库存管理系统交互以更新商品库存等。
协作图还可以用于系统的需求分析和系统设计的初步阶段，帮助开发人员捕捉和表达系统的功能需求和交互逻辑。
而状态图则适用于描述对象的状态变化和行为流程，特别是在涉及到复杂的状态转换逻辑的情况下。
例如，在一个自动售货机系统中，状态图可以用于展示售货机的各种状态（如待机、选择商品、支付等）以及状态之间的转换。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
２１ 年第 ７ ０２ 期
计 算 机 与数 字工 程
Ｃｏ ｕ ｅ ｍｐ ｔｒ＆ Ｄｉｉ ｌＥｎ ｉｅ ｒ ｇ ｇ ｔ ｇｎ ｅｉ ａ ｎ
Ｖｏ ． ０ Ｎｏ ７ １４ ．
１３ ４
ＵＭＬ 状 态 图 切 片 系 统 的 设 计 与 实 现
王
（． 汉 职 业 技 术 学 院 １武 武汉
产生了十分重要的影响 ， 中一 种技术 就是对 基于 状态 的 其
系 统 进 行 建 模 的 技 术 。值 得 注 意 的 是 ， 于状 态 的 系 统 能 基 够 用 形 式 化 描 述 语 言 来 建 模 ， 如 ＵＭＬ状 态 图 、 扩 展 的 比 可 有 限 状 态 机 （ Ｆ Ｍ） 规 格 描 述 语 言 （ Ｄ ） 虚 拟 有 限 自 Ｅ Ｓ 、 Ｓ ＬＥ 、 动 机 （ Ｓ ） Ｅ Ｔ Ｌ Ｅ。系 统 建模 减 少 了二 义 性 、 解 ＶＦ Ｍ 和 Ｓ Ｅ Ｌ 误 和 对 系 统 规 格 说 明的 不 确 切 的 理 解 ， 而 现 代 的 系 统 趋 向 然
Ｗ ＡＮＧ ｉ Ｃ旺 ＮＧ ｕ ｎ Ｘ Ｃｈ ａ ２ （ ． ｕ ａ ｌｔ ｃ ｎｃ １ Ｗ ｈ ｎ Ｐｏ ｙ ｅ ｈ ｉ ，Ｗ ｕｈ ｎ ４ ０ ７ ）（ ． ． ２ ｓ ａ ｃ ｎｓ ｉｕ ｅ ｏ Ｉ ａ ３ ０ ４ ２ Ｎｏ ７ ２ Ｒｅ ｅ ｒ ｈ Ｉ ｔｔ ｔ ｆＣＳ Ｃ，Ｗ ｕ ａ ４ ０ ７ ） ｈｎ ３ ０ ９
１ 引 言
近几年来出现了一些 新技术 ， 些新技 术对软 件测试 这
序 切 片 阶 段 。这 一 阶 段 以 面 向 对 象 的 程 序 切 片 研 究 为 主 ，
同时 出现 了程 序切 片 的多 种变体 ， 如无 定形 切 片 、 量切 度
片 、 据 切 片 、 件 切 片 、 束 切 片 以 及 基 于 ＵＭＬ模 型 的 数 条 约 切 片 ， 于 Ｚ规 格 的 切 片 ［ 等 。这 一 时 期 主 要 代 表 人 物 基 ３ 有 Ｆ ａ ｋ ｐ Ｉ Ｍ 研 究 中心 ）Ｋｏｅ 。（ 国 Ｉｏ ｉ Ｉｓｉ ｒｎ Ｔｉ（Ｂ ， ｒｌ ］美 ［ ｌ ｎｓ ｎｔ ｌ —
曦 程
川
武汉 ４０７） ３ ０ ９
４ ０ ７ ） ２ 中 国 船舶 重 工 集 团公 司 第 七 Hale Waihona Puke 二研 究所 ３０４（．摘
要
ＵＭＩ状 态 图切 片 系统 是 ～个 基 于 ｃ＋＋程 序 ＵＭＬ状 态 图 的切 片 生成 系 统 。 系统 生成 的 ＵＭＬ状 态 图切 片 可应 用 于 Ｃ ＋程 序 ＋
部分模型 。
学 ）８，ｈ ｏＪａｊｎ 日本 Ｆ ｋ ｏ ａ大学 ）９， 必信 （ ｌ Ｚ ａ ｉ ｕ （ ］ ｎ ｕｕｋ ［ 李 ３ 南京 大学 ） 等。 ［
本文 提出 了一 种 基 于模 型 的切 片 技术 ， 要 集 中在 主 Ｕ Ｌ状 态 图模 型 的 切 片 上 。 切 片 方 法 通 过 ＵＭＬ 状 态 图 Ｍ 的依 赖 性 分 析 能够 自动 识 别 受 某 个 元 素影 响 的 可 能 所 有 相 关 的状 态 。ＵＭ Ｌ状 态 图切 片工 具 的设 计 和实 现 表 明 ＵＭＬ 状态 图 的 切 片 方法 是可 以达 到 的 。
ｔｔ ｏ ｃｎ ｌｇ ） Ｂ ｒ ｙＢ ｒ［ ］ 美 国 Ｉｏ ｉ Ｉｓｉ ｕｅ ｆ ｈ ｏ ｙ ， ｏｉ Ｖａｓ ｕｇ Ｔｅ ｏ ｓ （ ｌ ｎｓ ｎ ｔ ｌ — ｔｔ ｏ ｅｈ ｏｏ ｙ ， ｕ ｙＨ．Ｔ ｈ ｔ 贝 尔 实 验 室 Ｌ ｃｎ ｕｅ ｆ ｃ ｎ ｌ ）Ｌ ａ Ｔ ｇ ａ ａ［ （ ｕｅ ｔ
ｓ ｒ ｃ ｕ ｅ ａ ｄ ｓｉｉ ｇ ａ ｇ ｒｔ ｍ ｓ ｄ ｉ ｈ ｙ ｔ ｒ ｔ ｕ ｔ ｒ ｎ ｌ ｎ ｌ ｏ ｉｈ ｕ ｅ ｎ ｔ ｅ ｓ ｓ ｅ ￣ ｃ Ｋ ｙ ｏｒ ＵＭ Ｉ ｔ ｔ ｃ ａ ｔｓ ｉｅ ａ ａ ｄ ｐ ｎ ｎ ｅ，ｃ ｎｔｏ ｅ ｅ ｄ ｎ ｅ ｌ ｉ ｇ ｃ ｉｅ ｉ ｅ Ｗ ｄｓ ｓ ａ ｅ ｈ ｒ ｌ ，ｄ ｔ ｅ ｅ ｄｅ ｃ ｃ ｏ ｒ ｌｄ ｐ ｎ ｅ ｃ ，ｓ ｉ ｎ ｒｔ ｒａ ｃ Ｃｌｓ ｍ ｂ ｒ ＴＰ ９ ａ ｓ Ｎｕ ｅ ３３
的测试 、 回归测试 、 排错 、 维护等方面。文章主要介绍 ＵＭＬ状态图切片系统的设计思想、 系统的结构 、 工作原理以及系统实现的重要技术细节 。 关键词 ＵＭＬ状态图切 片；数据依赖；控制依赖 ； 切片原则
Ｔ ３３ Ｐ ９ 中 图分 类 号
Ｄ ｅ ｉ ｎ ａ ｍ ｐｌｍ ｅ ａ ｉｎ ｏ ｓｇ ｎｄ Ｉ ｅ ｎｔ ｔｏ ｆＵＭ Ｌ ｔ ｔ ｃ ｒ ｌｃｎｇ Ｓｙ ｔ ｍ Ｓ ａ ｅ ｈａ ｔＳ ｉｉ ｓ ｅ
Ａｂｓ ｒｃ Ａｎ ＵＭ Ｉ ｔ ｔｅ ｒ ｌ ｉｇ ｓ ｓｅ ｉ ｅ ｅｏ ｅ ｏ ｈ ｔａ ｔ ｓａ ｅｈａｔｓｉ ｎ ｙ ｔｍ ｓｄ ｖ ｌ ｐ ｄｆ ｒｔ ｅＣ＋ ＋ ｃ ｄ Ｔｈ ｃ ｏ ｅ． ｅＵＭ Ｌ ｔｔ ｃ ａ ｔｓｉｅ ａ ｅａ ｐｉｄ ｉ ｈ ｉｌ ｆ ｓａｅ ｈ ｒ ｌ ｓｃｎ ｂ ｐ ｌ ｎｔ ｅｆｅｄｓｏ ｃ ｅ ｔ ｅｔｎ ｈｅｔｓｉｇ，ｒｇ ｅ ｓｏ ｅ ｉｇ，ｄ ｂ ｇ ｉｇ，ｍ ａｎｔｎ ｎｃ ｆＣ＋ ＋ ｃ ｄ ．Ｔｈｓｐ ｐ ｒｉ ｇ ｉｇ ｔ ｒ ｓｎ ｈ ｅ ｅ ａ ｄ ａｏ ｈ ｅ ｉｎ，ｓ ｓｅ ｅ ｒ ｓ ｉｎ ｔｓｎ ｅ ｕ ｇｎ ｉ ｅ ａ ｅｏ ｏｅ ｉ ａ ｅ ｓ ｏｎ ｏｐ ｅ ｅ ｔｔ ｅｇ ｎ ｒｌｉｅ ｆｔ ｅｄ ｓｇ ｙ ｔｍ
Ｔｅｈ ｏｏｉｓ ，Ｍａｒ ｃｎ ｃｎ ｌｇｅ） ｒｙ Ｊａ Ｈａｒｌ （ 国 Ｃｅ ｏ 大 ｒｏ 美 ｄ ｌ ｍｓｎ
于大型和复杂 以至 于非常难 以理解 、 改和调 试 。因此 分 修 析 系统 特 别 是 关 于 某 个 特 殊 系 统 功 能 的 分 析 ， 如 某 个 系 例
统 的特 殊 特 征 、 条 需 求 或 一 个 改 变 就 尤 为 重 要 。在 软 件 一 系 统 的维 护 阶段 ， 件 开 发 人 员 必 须 识 别 关 注 某 个 功 能 的 软