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

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

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

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

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

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

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

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

基于UML状态图的面向对象软件测试用例生成

本文提出了一种基于UML状态图的测试用例生成方法，生成较少但有效的测试用例，便于实现自动化测试。测试用例从状态图中的转换（转换路径）中产生，一个用例代表了一条转换路径。对深度优先算法进行改进后，给出了从UML模型视图的状态图中获得测试用例的算法，该算法从状态图中的初始状态到终止状态进行遍历，可以得到所有的转换路径，根据循环复杂度来得到状态图的基本路径的最大数量，即测试用例的最小数量。     

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

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

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

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

基于UML的生成场景测试用例研究

使用UML生成场景测试用例,有利于测试者设计测试用例。使用UML的类图、状态图和顺序图来说明DHCP实例的场景测试用例的生成方法,讨论基于UML顺序图生成场景测试用例的方法,从找出场景到生成测试用例,分析与每一个场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例。结果表明,该方法生成的测试用例数量少,减少了测试工作量和测试用例的重复生成。     

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

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

基于UML状态图的测试场景生成法

提出了一种基于UML状态图的测试场景生成方法。测试场景从状态图的基本转换路径中产生,一条转换路径对应一个测试场景。文中给出了从UML状态图获得基本转换路径的算法。该算法从状态图中的初始状态到终止状态进行遍历,得到所有的基本转换路径,根据环路复杂度可得到状态图的基本路径的最大数量,即测试场景的最小数量。根据测试场景设计测试用例,可生成较少而有效的测试用例。     

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

目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准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的测试基,并依据一定的合成规则和Wp－方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较好的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。     

基于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模型的测试用例自动生成技术日益受到关注。本文提出了通过对UML Sequence Diagram进行形式化分析产生测试场景的技术，定义了相应的测试覆盖准则，分析了测试数据的生成。并探讨了将测试工具和建模工具相结合的具体实现方法。     

Model-based testing using UML activity diagrams: A systematic mapping study

Context:The Unified Modeling Language (UML) has become the de facto standard for software modeling. UML models are often used to visualize, understand, and communicate the structure and behavior of a system. UML activity diagrams (ADs) are often used to elaborate and visualize individual use cases. Due to their higher level of abstraction and process-oriented perspective, UML ADs are also highly suitable for model-based test generation. In the last two decades, different researchers have used UML ADs for test generation. Despite the growing use of UML ADs for model-based testing, there are currently no comprehensive and unbiased studies on the topic.Objective:To present a comprehensive and unbiased overview of the state-of-the-art on model-based testing using UML ADs.Method:We review and structure the current body of knowledge on model-based testing using UML ADs by performing a systematic mapping study using well-known guidelines. We pose nine research questions, outline our selection criteria, and develop a classification scheme.Results:The results comprise 41 primary studies analyzed against nine research questions. We also highlight the current trends and research gaps in model-based testing using UML ADs and discuss some shortcomings for researchers and practitioners working in this area. The results show that the existing approaches on model-based testing using UML ADs tend to rely on intermediate formats and formalisms for model verification and test generation, employ a multitude of graph-based coverage criteria, and use graph search algorithms.Conclusion:We present a comprehensive overview of the existing approaches on model-based testing using UML ADs. We conclude that (1) UML ADs are not being used for non-functional testing, (2) only a few approaches have been validated against realistic, industrial case studies, (3) most approaches target very restricted application domains, and (4) there is currently a clear lack of holistic approaches for model-based testing using UML ADs.     

基于UML Statecharts的测试用例生成

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

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     

UML模型检测方法的研究

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