摘要：针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代码生成的基础,提出了一套代码自动生成算法.该算法把活动图拆分成若干独立的活动子图;再把每个活动子图解析成若干进程和信号量;最后对每一个进程和信号量进行代码生成.实验证明,基于本算法开发的原型系统取得了较满意的效果,同时也证明了所提出的方法和算法的正确性、有效性.

摘要：UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所有执行路径(每条路径称为一个测试场景),然后根据测试场景中的节点和转换所代表的活动及其输入/输出变量、相关约束条件等生成测试用例·并根据该方法实现了一个自动生成测试用例的工具UMLTGF,它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例·该工具能够提高软件测试的效率,降低测试成本·

摘要：基于模型的系统工程(Model-Based System Engineering,MBSE)作为复杂系统设计和验证的手段受到学术界和工业界的广泛关注。建模和仿真作为MBSE理论中复杂系统的设计过程最重要的两个步骤,其重要性不言而喻。文章先对活动图建模软件需要解决的问题进行了详细的拆解,提出了在底层模型、模型可视化、语义和功能扩展等方面的实现方法;然后设计一套用于模型仿真中模型执行的操作语义,保证仿真引擎的轻量化,并在原有元模型的基础上扩充了运行时概念并定义了动态语义;最后给出实例,验证了个该方法的可行性。

摘要：系统需求分析是软件信息系统开发活动的起始环节,使用UML模型进行软件需求分析是目前面向对象的需求分析方法的一种重要方法,根据不同软件系统的需求描述,选取适当的UML分析模型从不同的角度对需求中的功能点进行描述,可以使系统用户、需求分析人员以及未来的设计开发人员能通过多个角度观察目标系统的应用场景、业务流程、系统对象的状态变化;从抽象的维度了解目标系统的功能、系统对象之间的关系、业务规则和约束。通过一个用于车辆管理的信息化系统的需求分析过程,分别探讨了用例图、活动图(业务流程图)、状态转换图三种UML模型的适用场景和使用方法,以及在实践工作中的注意事项。为相似的信息化系统的需求分析实践提供一种可供参考的操作方法。

摘要：在软件系统的设计过程或文档说明中,软件系统的动态行为可通过UML活动图描述,软件系统的正确性与可靠性要通过构造一定的测试模型来验证.由于UML活动图缺乏精确的数学模型描述,所以无法直接生成有效的测试模型.本文研究将UML活动图模型与FAD(形式活动图)相结合,应用FAD的片段方程式理论详细分析了生成测试用例的完整过程.其结果在软件测试中具有一定的理论指导意义和应用价值.

摘要：由于UML模型在设计过程中产生,作为测试模型不需要额外的开支,因此以UML作为测试模型的研究很多。目前的研究方法大多数采用灰盒测试方法[1]对各种模型的条件、节点、方法等进行遍历,得到测试场景。然而在实际中,通过这些方法从UML模型中会得到很多的测试场景,目的就是要对找出的灰盒测试用例进行优先级判断,找出较为重要的测试用例,这些测试用例能为实际的测试过程提供着重测试的依据。

摘要：为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin/OdellOOA/D方法,该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为,并且也适用于业务过程建模。但由于UML的语义是用纯文本的方式描述的,通常不够准确,故而此文提出了使用ASM扩展语义的活动图描述包含上述建模技术的业务过程。

摘要：针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图转化为相应的PRISM可执行模型的转化规则。利用该转化规则可以把SysML活动图模型转化为概率模型检测器支持的格式,实现对模型的精确分析和定量验证。实验结果表明,该规则能够有效对SysML活动图模型进行转化,为模型检测提供支持。

摘要：提出了用UML活动图描述工作流异常处理的方法。根据工作流系统特点,对UML活动图作适当扩展,为扩展后的活动图定义了的形式化语句,通过实现一个RCT步来描述一个潜在发生的异常状况,并对不同处理策略下的处理过程进行了描述。结果使得UML活动图适合描述含有异常的工作流系统;由于是采用了UML建模语言,编码实现更容易。

摘要：测试自动化是提高软件测试效率的重要途径。基于UML模型的面向对象软件测试是当前研究的热点。这些研究大都是类或集成测试,对于如何自动生成较为完整、合理的系统测试用例较少。在总结研究现状的基础上,以应用举例的方式提出一种从描述系统用例间顺序依赖关系的活动图和用例实现的活动图中获取系统功能测试线索的方法。