统一建模语言状态图的测试用例生成方法

目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts.作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法.考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中按照时间扩展UML statecharts的语义,论述了时间扩展UML satecharts的混合时间Petri网模型的构造方法、混合时间Petri网模型测试用例生成方法,最终实现对时间扩展UML statecharts的测试.     

基于UML Statecharts的测试用例生成

直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的，提出了一种从UML statecharts图产生测试用例的方法：先把UML statecharts图转换成FREE(Flattened Regular Expression)模型图，再以FREE模型图为基础生成类的测试用例，同时，提出了FREE模型的测试覆盖准则，并提出了由FREE模型产生有限的迁移序列的算法。     

基于对象状态的面向对象软件测试方法研究

主要介绍了面向对象软件的类测试技术。从基于对象状态方面分析UML状态图的组成、并发的优点,描述继承的对象动态行为、并发的动态行为,给出利用UML状态图构造复合状态测试树算法并产生测试用例的面向对象软件测试方法。     

基于扩展UML statecharts的协议测试

提出了一种基于扩展UML statecharts的协议一致性测试方法.实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测试序列.     

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

测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构，提出了对UML状态图分层产生测试用例的测试用例生成方法。对迁移关系冲突而导致测试无法正确执行的情况，给出了插入测试子序列来避免迁移冲突的测试方法。     

基于UML序列图的测试方法*

提出了一种基于UML序列图的面向对象类簇级测试的方法.这种方法根据序列图进行分析提取类交互信息和用户的输入数据生成测试用例,并根据序列图对代码进行插桩,构造测试模块;最后测试驱动器执行测试模块得到测试结果. 该方法也支持UML2.0 中为序列图添加的新特征.     

基于UML活动图的测试用例生成方法研究

基于模型的测试用例生成方法已经被软件行业所接受。这种方法的优点在于可以及早地发现缺陷,减少软件开发的时间等等。现在,研究者已经考虑从UML图中获得测试用例。文中介绍了一种从UML2.0活动图中产生测试用例的方法。提出了活动路径覆盖准则,重点分析并发活动的顺序及排列,引入深度优先与广度优先结合的生成算法,避免了测试用例数量爆炸,提高了自动化生成测试用例的可行性,从而为UML活动动图的自动化测试提供了系统的、有效的、可行的方法。     

UML状态图和Petri网络在类测试用例生成的应用

分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的.     

基于UML的软件测试用例自动生成技术研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用，基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UML Sequence Diagram进行形式化分析产生测试场景的技术，定义了相应的测试覆盖准则，分析了测试数据的生成。并探讨了将测试工具和建模工具相结合的具体实现方法。     

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

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

基于UML规格说明测试用例生成工具

利用UML状态图,采用基于状态的测试数据生成标准生成测试用例。其中UML状态图是测试用例生成的关键部分,在某种意义上,UML状态图能够图容易生成测试用例。     

基于UML状态图的软件测试研究

UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得到软件测试路径。实例证明,该方法可以从UML状态图得出软件的测试路径。     

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

UML统一建模语言已经广泛应用于软件开发中，基于UML图的测试技术最近成为了一个研究的热点，其中对UML状态图的测试有着广泛应用前景。UML状态图是传统状态图的变体，增加了层次、并发、广播。所以UML状态图的测试方法建立在对传统状态机的测试方法的基础上，对层次、并发、广播的处理或转换。本文介绍了基于UML状态图的测试方法和测试工具的研究进展，最后讨论了未来可以研究的方向。     

基于UML Statechart语义的测试序列生成方法

UML Statechart是UML的一个主要组成部分，与其他类型的Statechart相比，由于采用事件队列的调度方式，UML Statechart有着更多的不确定性，使得针对UML Statechart 模型的测试非常困难。本文给出了一个形式化的语义模型，并将Stateehart转化为一个比较简单的标志变迁系统，利用路径选择算法得到一个基于标志变迁系统的测试集，然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义，从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。     

UML模型检测方法的研究

统一建模语言（UML）是设计和分析软件系统最常用的方法，如何保证UML模型满足某些特性是一个非常重要的问题，而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器（SPIN）对UML模型进行检测的方法。首先对UML模型进行形式化描述，使用层次自动机来描述状态图，然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA，使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束，通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。     

Test Synthesis from UML Models of Distributed Software

The object-oriented software development process is increasingly used for the construction of complex distributed systems. In this context, behavior models have long been recognized as the basis for systematic approaches to requirements capture, specification, design, simulation, code generation, testing, and verification. Two complementary approaches for modeling behavior have proven useful in practice: interaction-based modeling (e.g., UML sequence diagrams) and state-based modeling (e.g., UML statecharts). Building on formal V&V techniques, in this article we present a method and a tool for automated synthesis of test cases from scenarios and a state-based design model of the application, remaining entirely within the UML framework. The underlying "on the fly" test synthesis algorithms are based on the input/output labeled transition system formalism, which is particularly appropriate for modeling applications involving asynchronous communication. The method is eminently compatible with classical OO development processes since it can be used to synthesize test cases from the scenarios used in early development stages to model global interactions between actors and components, instead of these test cases being derived manually. We illustrate the system test synthesis process using an air traffic control software example     

A method for describing the syntax and semantics of UML statecharts

In this article we present a method for describing the language of UML statecharts. Statecharts are syntactically defined as attributed graphs, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graphs. The dynamic semantics of statecharts is defined by Abstract State Machines parameterized with syntactically-correct attributed graphs. The presented approach covers many important constructs of UML statecharts, including internal, completion, interlevel and compound transitions as well as history pseudostates. It also contains strategies to handle state entry/exit actions, state activities, synch states and choice pseudostates.     

基于EHA的异常处理模型检验方法

本文提出在整个Java程序开发链中通过使用UML Statecharts对异常处理建模,对Statechart进行模型检验,完成代码生成.首先将Statecharts转换为EHA,然后给出其操作语义,根据操作语义映射到一个自动机.使用基于自动机理论的模型检验方法来验证基于EHA的异常处理模型是否满足某些关键性质,最后自动产生相关代码.