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

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

模型驱动的移动应用测试方法

移动互联网时代,移动智能终端和移动应用已经成为各领域竞相采用的祖尧解决方案。与此同时,移动终端硬件和平台的多样性和异构性,造成了移动应用开发和测试中存在大量工作冗余以及难以复用的情况,带来了跨平台问题,成为了学术界和工业界研究和实践的热点。文中提出使用模型驱动的移动应用测试方法。首先,使用UML状态机模型刻画移动应用的行为;然后,基于移动应用的行为模型,自动生成平台无关的测试用例;最后,将与平台无关的测试用例映射到多个移动平台,产生可执行的自动化测试用例。在此基础上,选择形如掌上电力的应用作为案例,分别实现IOS和Android平台上的自动化测试,验证了模型驱动移动应用测试方法在解决跨平台问题时的有效性。     

一种从UML模型生成测试用例方法的研究与实现

测试用例生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型来自动生成用例的技术日益受到关注。在UML模型中,顺序图描述了软件系统的动态行为,是软件集成测试中一个重要的来源。文中提出一种基于UML顺序图与类图相结合的方法来自动生成测试用例,定义了相应的测试覆盖准则及测试衡量标准,并用一个具体实例验证了测试用例的生成过程。最后给出了测试用例自动生成工具的框架。     

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

基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术.随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向.结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证.     

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

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

UML模型测试的研究综述

目前,随着面向对象的技术的成熟和广泛使用,关于UML模型的测试方法逐渐成为研究的重点,而且取得了很多的研究成果。该文首先对软件测试的概念和分类进行了介绍,其次简单介绍了UML模型的自动化测框架、测试用例的生成方法、覆盖的规则和测试用例的优化方法。     

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

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

UML活动图在组件系统测试用例生成中的应用研究

近年来，基于UML的测试成为组件系统测试的研究热点。为了从UML活动图模型中自动生成组件系统的测试用例，本文采用灰盒测试方法，给出了活动图的形式化描述。分析了活动图并发特征所引起的测试场景集数量爆炸问题，提出增加约束条件的解决方法，减少了测试场景集数量。提出了一种基于活动图的组件系统测试场景与测试用例生成方法，使自动化生成测试用例可行性有一定的提高。     

UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具

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

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

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

UML模型驱动的划分测试用例生成方法研究

测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余等问题,提出了基于UML活动图模型驱动的划分测试用例自动生成方法。该方法将测试场景归为五种类型,并为每种类型规划了测试数据取值范围和选择方法。构建了基于该方法的原型工具软件,提供被测软件原模型和数据约束即可生成测试用例。实验结果表明,该方法能够在不降低测试覆盖率的情况下,能生成数量少、针对性强的测试用例集。     

基于UML的CPN模型在软件测试中的应用

UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型,往往无法自动生成测试用例。将UML模型与Petri网相结合,能够弥补其数学支持的不足。文章给出了基于UML的CPN模型的测试框架和一个从UML模型构造CPN模型的算法,并根据该方法给出了自动化支持工具U2CPN的类图结构。     

基于粒子群算法的改进SCOTEM模型测试数据生成方法

UML已经成为建模语言的事实标准,如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战.为测试用例提供测试数据是其中的关键环节.ShaukatAli等人在UML基础上提出SCOTEM模型,但是该模型的测试数据需要人工生成.针对SCOTEM模型进行了改进使其适于灰盒测试,以OCL约束测试数据的生成和运行结果的验证,并提出了一种为基于粒子群算法的改进SCOTEM模型自动生成测试数据的方法.针对不同的覆盖标准,试验结果表明,该方法能够以更高的效率生成高质量的测试数据.     

基于UML协作图和DFA的测试用例生成方法研究

UML协作图能够描述对象之间动态的交互关系及对象之间消息传递的过程,根据协作图中的消息流和控制流可以获取有用的场景模型并生成测试用例。本文在研究UML协作图和确定有穷自动机（DFA）之间对应关系的基础上,提出一种将UML协作图转换为DFA,再从DFA中提取测试场景生成测试用例的方法,并将该方法应用于实际项目的测试用例生成。最后,通过对结果进行数据对比和分析,说明该测试用例生成方法的有效性。     

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

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

基于顺序图的软件可靠性测试用例生成方法

将面向对象技术特别是UML中的建模要素应用到软件可靠性测试过程是一个值得研究的问题。对基于UML的操作剖面开发以及基于UML顺序图的测试用例生成方法进行了研究。重点讨论了测试用例生成方法的步骤、具体的建模活动以及自动生成测试用例的“基于模型的代码设计”方法，给出了相应的算法。最后对所讨论方法的有效性进行了分析，从理论上说明了方法的可行性。     

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

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

基于UML顺序图的场景测试用例生成方法

本文提出了一个基于UML顺序图的场景测试方法,它以UML顺序图为主要测试模型,结合类图和状态图生成所有的测试场景,然后找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例。该方法完全基于UML,而且生成的测试用例数量少,减少了测试工作量。     

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

基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列，引入人机动态交互的方法在测试场景生成算法上加以约束，避免了测试场景集数量爆炸，使自动化生成测试用例可行性有一定提高。最后，讨论了从测试场景到测试用例的方法，从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法。     

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

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