一种UML序列图到层次状态图合成方法

UML序列图和状态图从不同侧面简洁、明了地描述了系统的动态行为.层次性状态图有利于提高系统对象的可理解性和可读性.本文提出了一种自动的、递增的多个UML序列图到层次性状态图的合成方法,并集成在Rose工具中.     

基于COM原理的UML模型信息提取技术

提出了一种提取UML模型信息的方法.UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便.同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试.因此,研究如何从UML图中提取相应的模型信息有其现实意义.利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息.     

基于UML状态图的类测试用例自动生成方法

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML状态图的类的测试用例自动生成方法。     

扩展UML状态图在软件测试中的应用

在可测试性方面，UML状态图模型存在不完整性和二义性及结构复杂不便于状态分析等缺陷。该文讨论了基于扩展UML状态图模型的测试用例生成技术，分析了基于扩展UML状态图模型的测试用例生成技术。针对UML状态图的不完整性和二义性进行扩展，以提高其可测试性。     

基于UML状态图的测试技术研究

统一建模语言UML具有定义良好、易于表达、功能强大的特点,同时还提供了非常强大的图例模型.目前,UML统一建模语言已经广泛应用于软件开发之中,而基于UML状态图的测试技术研究,目的就是为了能够有效地发现软件中存在的缺陷和故障,保证相应软件质量.讨论分析了基于UML状态图的测试用例生成技术,提出一种基于UML状态图的测试用例生成方法,生成较少但有效的测试用例,便于实现自动化测试,并介绍了基于状态图的测试覆盖标准,最后讨论了未来可以研究的方向.     

基于UML图和动态切片的回归测试研究

重点将UML图和动态切片应用于回归测试中。针对现在应用于软件开发的UML图不能很好地满足软件测试的要求,引入了时序状态图和改进后的状态图,对两种图进行形式化定义,并且通过实例说明定义内容,其中时序状态图用于类间测试,改进后的状态图用于类内测试。对定义的图进行切片分析,形成测试步骤和测试算法。网上购物实例表明时序状态图和改进状态图可以提高回归测试效率。     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。     

使用时间化自动机形式化带有时间扩展的UML状态图

严格建模是嵌入式实时系统设计的核心技术，通过UMI。方法与形式化方法结合可以给严格建模提供很好的工具支持。时间化自动机(Timed Automata)是一种用于描述、验证实时系统的理论模型。文中提出了一种通过时间化自动机来形式化带有时间扩展的UML状态图的方法，这种方法为UMI。与形式化方法的结合构造了桥梁作用。带有时间扩展的UML状态图用于嵌入式系统动态模型的建模，从时间化自动机模型得到形式化规范将更容易。UML状态图的形式化分为两部分完成；层次状态图的平面化以及时间化自动机的构造。     

基于UML状态图的类测试用例实现的研究和设计

UML状态图能有效的表现系统的并发控制和类的嵌套,但用其实现的类测试用例复杂.研究了UML状态图和扩展有限状态机这两种方法在软件测试中状态转换的特点,利用扩展有限状态机状态转换单一线索化的特点降低UML状态图在类测试用例生成中的复杂性.以一个坐标图形显示类的测试用例生成为例,详细讨论了结合扩展有限状态机状态转换特点的UML状态图在面向对象测试技术中的应用.     

UML状态图在回归测试中的应用

基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供一种方法,并运用SATM实例讨论该技术在回归测试中的应用。     

UML顺序图与状态图的一致性检查

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得到自动机树。制定新的顺序图和状态图一致性检查准则和Promela代码结构,用模型检验工具SPIN进行顺序图及其相关状态图的一致性检验。     

由序列图合成状态图

序列图和状态图对于描述和理解面向对象软件系统有着极其重要的作用。符合UML标准的序列图和状态图存在信息重叠，根据序列图提供的信息可以合成状态图。给出了在Rational Rose中由序列图合成状态图工具的实现。     

基于BISON的 UML语法分析器设计

目前基于UML类图和状态图做面向对象软件测试方面已有不少研究，因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器，通过对UML文档的词法语法分析，实现了从UML文档中自动提取用于软件测试的信息，提高了软件测试效率。在VC6.0环境下对该分析器仿真，实验结果表明，软件能正确提取测试需要的信息。     

UML状态图的测试用例自动生成

现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析,并讨论了其对相关测试用例生成算法的影响;改进了UMLstatechart语义对伪状态的定义,对伪状态进行适当的转换,同时扩充现有算法对伪状态的支持;提出了一套可以处理伪状态的UML状态图平坦化算法以及相应的测试用例生成方法,并对实际应用效果进行了验证。     

基于UML图依权限有序的Web链接测试用例生成方法

针对传统Web测试用例生成方法因缺少权限性和时序性考虑而产生的误判断问题,提出结合基于统一建模语言(UML)活动图与状态图,根据不同用户权限及交互活动流程分析Web页面链接而生成测试用例的方法。该方法生成含信息元素的扩展状态图,通过对扩展状态图的转换及相应路径的时序重排得到最终具有权限与时序性质的Web链接测试用例。通过实验分析,与缺少权限性和时序性考虑的Web测试用例生成方法相比,该方法有效地避免了测试中的误判断,在测试覆盖率、正确率及测试效率三方面均有明显的优势。实验结果表明,该方法有效地提高了Web测试的测试效率,增强了测试的可靠性与可行性。     

扩展UML语义以支持并行和分布式仿真系统设计

标准UML中不包含虚拟时间和时间同步语义，因而缺乏对并行和分布式仿真(parallel and distributed simulation，PADS)系统设计的支持，对标准UML语义进行扩展以支持PADS领域的概念并降低PADS系统构造的复杂性．主要的工作包括在UML，中引入虚拟时间语义，用包含虚拟时间标记和约束的状态图和交互图来描述仿真实体的功能属性，另外，通过创建虚拟时间同步构造型(stereotype)，提出“分离法”将时间同步细节与仿真模型内部的功能属性逻辑地分离，不仅使得仿真对象建模更加容易，而且使仿真模型和时间同步策略两者的重用性大大提高。     

UML Statechart图的操作语义

面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Statechart图的绝大部分特征,为UML Statechart图的代码产生、模拟和测试用例生成奠定了基础.根据上述语义,基于Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟.     

从UML顺序图生成状态图的一个方法

UML (Unified Modeling Language) is a visual modeling language used for specifying,visualizing,constructing,and documenting the artifacts of software systems by various diagrams.It has been widely accepted as a standard modeling language in both academic and industrial areas.UML sequence diagrams are mostly used in specifying system requirements.By representing interactions,which are arranged in time sequence,between the objects in a system,sequence diagrams can construct scenarios indicating the system‘‘s functions.A UML statechart diagram is a graph shows the sequences of states that an object or an interaction goes through during its life in response to received stimuli,together with its responses and actions.It‘‘s useful in the design stage of system development.This essay discusses the computer-aided transformation from sequence diagrams to statechart diagrams,which can offer strong support for the transfering from requirement analysis to system design in the software development process.With OCL (Object Control Language) semantic constrain,a transform algorithm is provided in the paper.And the differences with the related works are also mentioned.     

基于依赖性分析的UML状态图切片技术

将UML状态图、程序切片和软件测试技术三者结合起来，生成基于依赖性分析的UML状态图切片，为软件测试中待测试的程序的理解、发现和修改错误提供了一种方法。最后运用实例讨论了该切片方法的实用性，应用于回归测试中具有较高的效率。