摘要：uml 顺序图是基于 uml 开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于 uml 顺序图的场景测试方法,它以 uml 顺序图为主要测试模型,结合 uml 状态图和类图生成所有的测试场景,最后使用范畴-划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例,用于测试该场景中对象之间的交互。由于 uml已广泛用于软件分析和设计阶段,通过 uml 模型生成测试用例可充分利用已有的设计结果,减少测试阶段所需的费用,对于已使用 uml 的工业界有着重要的意义。

摘要：地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能建立uml顺序图模型,并对其进行场景分析;基于图论中有向图的含义,由uml模型构造有向图;以深度优先算法遍历有向图的连通性来确定测试路径,最后组合约束条件及测试场景生成测试用例集.以选排进路生成测试用例过程,验证了该方法能够避免重复生成测试用例,从而能够减少测试工作量.

摘要：多态性是面向对象软件的一个重要特征。它在增强程序开发的灵活性和代码的复用性的同时,也对软件测试提出了新的挑战。首先提出了基于uml顺序图的测试场景生成算法,然后分析了多态性在测试场景生成过程中的影响,最后给出了针对多态性影响的解决方案。

摘要：统一建模语言uml是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但uml不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。

摘要：面向对象的软件测试是在面向对象软件开发过程中不可缺少的一个环节,对于保证软件质量、提高软件可靠性至关重要。uml（Unified Modeling Language）状态图是在软件开发的早期设计阶段确定下来的,它描述了对象以及对象间相互传递的消息,并根据面向对象顺序图的特点,结合类图和状态图来设计测试用例。本文,笔者介绍了基于uml顺序图的软件测试方法。

摘要：首先在分析uml模型可测试性的基础上,解析顺序图,得到场景测试树,再遍历该树,得到场景的输入、预期输出、约束条件以及场景环境,这4部分组成了测试用例。再通过比较uml设计修改前后两个版本的顺序图,找出其中的改变信息,并在测试用例和变化信息间建立映射关系,最后从原测试用例组中挑选出与映射关系有关的测试用例。

摘要：为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用uml顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动验证并发系统需求设计的一致性和完备性,最后为证明上述方法的有效性给出一个基于场景的ATM系统需求设计验证实例.实验结果表明,该方法能够有效地发现并发系统需求设计中的错误与不一致,为改进设计提供帮助.

摘要：利用设计模型信息,提高测试自动化程度是测试领域的重要课题。uml 顺序图是广泛使用的场景规约语言。本文研究了面向场景规约的运行时测试方法,并应用该方法实现了一个基于 uml 顺序图场景规约的测试工具SDT;它从 Ration Rose 的规约文件中提取顺序图信息,生成表示预期行为属性的事件有向无环图,对代码进行插装,并利用随机测试用例执行代码,最后将反向工程得到的运行时轨迹与有向无环图进行比较,对实现和设计的一致性进行自动化验证。

摘要：针对基于uml设计的面向对象软件在修改后进行回归测试的情况,提出一种回归测试用例生成的新方法。获取软件修改后进行回归测试时必须重新测试的类和方法,分析与需要重测试类有关的uml顺序图,对顺序图中每个包含不等关系的条件断言生成与其有关的动态程序切片,根据该动态程序切片生成与其相应的回归测试用例。

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