基于UML活动图的测试用例生成方法设计

传统的软件测试主要依赖人工来产生测试用例,易出错、完备性差、自动化程度低。为了提高测试的完备性和自动化程度,基于模型的测试越来越受到人们的关注,这种方法的优点在于可以及早的发现缺陷,缩短开发时间。文章提出一种基于统一建模语言（Unified Modeling Language,UML）活动图模型生成测试用例的方法,结合实例重点介绍测试路径生成的具体步骤。根据该方法生成的测试用例,可以自动生成测试路径,提高了测试的完备性和自动化程度。     

基于遗传算法的UML活动图测试用例优化研究

测试用例的选择在软件测试中十分重要,良好的测试用例可以减少时间和资源的使用,因此提出了一种基于遗传算法的UML活动图自动生成测试用例的算法。通过建立UML活动图模型,将活动图转换为有向图,然后采用深度优先搜索方法获得测试路径,应用遗传算法优化得到测试路径。该算法可以提供优先需要测试的路径,用于自动生成高质量的测试用例,提高测试任务的工作效率。     

基于ODDWG的面向对象软件集成测试序列生成

为了更好地完成面向对象软件测试中的集成测试,提出了一种基于UML类图的面向对象软件集成测试方法。首先从UML类图的文件中利用RationalRose提供的接口将类图中的类内信息、类间信息提取出来,并计算每个类的内聚度以及类间耦合度,同时把每个类看作有向图的结点,类的内聚度、类间耦合度的加权作为节点的权值,类间关系的出度作为关系的权值。根据动态绑定的特点,在图中添加类间可能存在的动态绑定线索;然后,遍历该动态对象赋权图生成集成测试的测试序列;最后对生成的序列进行筛选,得出最有效的测试序列。实验证明该方法是有效的。     

一个基于UML协作图的集成测试用例生成方法

UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为,确认它们是否被正确实现是集成测试的工作.本文提出了一个基于UML协作图生成集成测试用例的方法,将表示设计的协作图作为测试模型,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列,最后使用范畴-划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例,用于测试一个协作场景路径上的交互行为.该方法,集成了白盒方法和黑盒方法,在覆盖所有的测试需求的前提下,生成的测试用例较少.     

C++语言中面向对象程序设计的表示法

C 语言的面向对象程序设计模式实际上是"对象=数据结构 算法","程序=对象 … 对象"。统一建模语言(UML)和问题分析图(PAD)被用于描述C 语言的面向对象程序,其中,在逻辑视图的静态结构中,类图描述了类的申明;在逻辑视图动态运行中,用顺序图描述了类的交互;PAD图描述了执行过程中的程序流程。     

基于UML的学生网上选课系统建模

本文讨论了面向对象技术的基本概念和UML建模语言,分析了高校学生网上选课的特点,结合软件工程和面向对象技术,设计了基于UML用例图和顺序图等的学生网上选课系统模型,并运用UML的活动图描述了学生网上选课的工作流程。     

面向对象软件的回归测试策略研究

面向对象软件测试已成为软件工程领域的一个重要研究课题.目前已提出的回归测试策略大都是针对结构化程序的,对面向对象软件的回归测试策略研究得很少.文章在分析面向对象程序设计语言对软件测试影响的基础上,讨论了面向对象软件测试的测试策略,重点研究了基于类的回归测试策略.     

基于深度强化学习的类集成测试序列生成方法

类集成测试序列的生成是面向对象软件测试中的关键步骤，当类的测试序列不同时，相应的测试代价也不相同.在集成测试中生成一个合理的类集成测试序列可以有效降低软件测试的代价.本文将深度强化学习中的Advantage Actor-Critic算法应用于解决类集成测试序列生成问题.首先，利用类间各种依赖关系构建与智能体交互的环境模型；然后，记录智能体从初始状态到终止状态的路径，即每次选择的动作对应每次选择集成到序列的类编号；最后，得出最终的类集成测试序列.实验结果表明，本文方法所得到的类集成测试序列花费的总体测试桩复杂度，在选取的7个项目中有5个表现最佳，在剩余2个项目中表现中等.     

基于UML的面向对象软件回归测试研究

研究了UML图及事物间的关系,提出了基于UML的面向对象软件回归测试技术,它能有效地控制测试范围和缩减测试用例,帮助软件测试人员在不增加测试风险的情况下选择合适的测试用例和减少测试量,提高软件回归测试的有效性和降低软件测试成本.     

基于实时UML的雷达软件设计

实时统一建模语言（UML）和面向对象的建模技术代表着雷达软件设计的一个发展方向。文中介绍了使用UML的用例图、状态图、顺序图等进行系统分析、设计、实现和测试，并讨论了如何选择UML工具与实时框架以及实时性分析等问题。     

Dependence analysis for UML class diagrams

Though Unified Modeling Language (UML) has been widely used in software development, the major problems confronted lie in comprehension and testing. Dependence analysis is an important approach to analyze, understand, test and maintain programs. A new kind of dependence analysis method for UML class diagrams is developed. A set of dependence relations is definedcorresponding to the relations among classes. Thus, the dependence graph of UML class diagram can be constructed from these dependence relations. Based on this model, both slicing and measurement coupling are further given as its two applications.     

基于UML自动测试系统软件面向对象建模

分析了自动测试系统的现状,提出运用UML工具,对自动测试系统进行面向对象建模的思想.介绍了对航电模拟器系统软件进行面向对象建模的过程.采用UML中的用例图、类图和序列图,从功能、静态模型和动态模型,3方面对航电模拟器系统软件平台进行了描述.     

UML在管理信息系统设计与实现中的应用

统一建模语言（UML）已成为一种面向对象建模语言的标准,是一种通用的可视化建模语言,基于面向对象观点,对软件进行描述、可视化处理和构造等,它融入了软件工程领域的新思想、新方法和新技术。本文以销售管理信息系统的设计与实现为例,针对面向对象的建模方法,介绍了应用UML建模的方法和流程,探索了基于UML的管理信息系统建模及UML中多种模型图的使用方法和适用范围。     

The Effect of Coupling on Understanding and Modifying OCL Expressions: An Experimental Analysis

Not all the model constraints can be defined using only UML graphical features due to the limited expressiveness of diagram-based UML notation. To solve this problem, the OCL language was defined as a textual add-on to the UML diagrams, allowing the specification of a wide range of constraints of objects. Aware of the lack of metrics to capture the quality aspects of UML/OCL models and the importance of models in recent initiatives of model-Driven software engineering (such as Model-Driven Development and Model-Driven Architecture), we define a set of metrics for measuring the structural properties of OCL constraints in UML/OCL models. Many of these metrics are defined in terms of navigations, a core concept of OCL that defines coupling between objects. This paper carefully describes a family of experiments we have conducted to ascertain whether any relationship exists between object coupling (defined through metrics related to navigations and collection operations) and two maintainability subcharacteristics: understandability and modifiability of OCL expressions. Empirical evidence that such a relationship exists is shown in the obtained results, however they must be considered as preliminaries results. Further validation is needed to strengthen the conclusions and external validity.     

一种基于状态的面向对象类测试策略

基于状态的类测试足面向对象测试技术的一个重要方面。一种新的基于状态的多角度的面向对象类测试策略,即融合UML Starecharts和EFSM这两个基于状态的模型,并引入Verification＆Validati。n思想。     

基于UML的UDP通信仿真测试软件设计与实现

针对在搭建某控制及通信软件的仿真测试平台时出现的有关用户数据报协议（UDP）通信的测试用例、故障难以注入的问题,提出了UDP通信仿真测试软件解决方案,并采用统一建模语言（UML）对该软件进行设计和描述,实现了对多个与被测件进行UDP通信的外围软件的通信功能仿真,方便了用户在所搭建的仿真测试平台中注入与UDP通信相关的测试用例、故障,提高了软件测试的效率及有效性。     

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems

This paper describes a new approach for model-based test case generation (MBTCG) for large systems, which not only supports the expression of complex requirements (constraints) using OCL, but also lays ground for improving the efficiency (i.e. maximum coverage with minimal number of test cases) of the generated test case set. For that purpose, UML/OCL models are transformed to (object-oriented) action systems, where test cases are generated by means of mutation. The resulting "abstract" test cases represent input/output sequences with possible branches according to valid alternatives in system responses. They have finally to be transformed to "concrete" test cases which can be applied to the target application. The described work is part of the European project MOGENTES.