基于UML模型和OCL约束的类间交互测试用例生成方法研究

 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.     

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

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

基于UML集成测试模型的生成方法

UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.     

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

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

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

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

基于UML的聋人高等教育网站的构建

面向对象技术是软件工程领域中的重要技术,统一建模语言UML则是近几年国际上比较流行的面向对象的标准建模语言.建模是开发优秀软件所有活动的核心部分.采用统一建模语言UML对聋人高等教育网站系统进行需求收集、分析与设计,用Microsoft的UML绘图软件Visio绘制系统的类图、用例图、活动图和泳道图为系统建立静态和动态模型.     

基于UML的面向对象建模方法的研究

为了研究较好的软件建模方法,运用UML中的5种图对面向对象建模的方法进行讨论及技术研究,提出如下建模过程：首先是系统需求;随后分析问题领域,建立系统的用例图;接着,建立系统的静态结构模型,并将系统的功能需求分解到各个对象类,以确定各个对象类的责任;然后,建立系统的动态行为模型;最后,给出物理模型。通过实例,对UML的面向对象建模机制做了系统概述,表明UML是一种优秀的建模语言,使用UML有助于开发者对整个系统有清晰的认识,从而建立各种系统模型,为后期编码工作做好充分的前期准备。     

面向方面动态行为建模研究

静态模型和动态模型从不同角度反映了系统的结构与行为.横切关注点的静态模型反映了系统的静态结构,为进一步开发提供了静态视图;动态模型则描述了系统结构元素的动态特性及行为,描绘了参与用例的所有对象之问的交互,通过对象间交互实现系统的功能.由于面向对象系统的动态建模通常由UML交互图表示,所以本文在UML交互图基础上,建立面向方面横切关注点的动态模型.     

基于UML的需求分析方法在电力遥测信息系统中的应用

文中介绍了基于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的嵌入式温室环境监测系统设计

为了实现对温室环境监测的需求,改进落后的软硬件系统设计方法,提出了一种先进的嵌入式温室环境监测系统设计方案。该系统主要以S3C2440为核心,采用UML的方法,利用UML用例图、类图等静态建模法和状态图、顺序图等动态建模法,完成对系统的建模。实际应用表明UML方法可以清晰、直观的实现系统。     

基于UML的ADSL装机管理系统的设计与实现

概述了ADSL装机管理业务的处理流程,以ADSL装机管理系统为研究对象,引入了一种通用的可视化建模语言——UML,抽象出Web＂类＂来进行高效率、低成本的快速开发。利用UML对系统的实现进行了需求分析、静态和动态建模。通过Microsoft Office Visio分别绘制出用例图、类图、顺序图和活动图等。最后开发出A...     

基于UML状态图的类测试用例生成

针对完整的类测试用例(包括测试序列和测试数据),采用灰盒测试技术,提出对UML状态图进行改进的广度优先搜索和深度优先搜索遍历后转化为测试树,再对树进行遍历得到测试序列,测试数据由等价划分方法和边界值法设置,通过实例可验证此方法有效可行。     

基于UML的学生毕业设计选题系统研究

为了完成本科毕业设计选题的自动化和培养学生设计分析开发软件的能力,避免结构化模型的不足;采用UML建模技术,借助于Rose工具,对学生毕业设计选题系统进行有效地建模和模型分析,采用ASP技术完成系统的研究与开发;利用UML建模思想,能够避免结构化建模技术的不足,完成系统的可视化表达,构建学生选题系统的用例图,状态图,类图等,自动生成和维护系统代码,并有效地提高系统的开发效率。     

教务管理信息系统的数据库建模

数据库建模是数据库应用系统开发的关键步骤。在传统的结构化系统设计中,将需求分析阶段得到的ER图转化为关系数据库模型,而ER图仅仅着眼于数据。为了提高开发效率。采用面向对象的系统分析和设计方法,用系统分析阶段所获得的UML类图为基础进行数据库的逻辑结构设计,把类图转化为关系数据库模型。UML类图不但对数据建模,而且能对行为建模,这些行为在物理数据库中被设计成触发器和存储过程。在此以已开发的教务管理信息系统的数据库建模为例,讨论基于UML类图的数据库建模的方法与过程,该系统主要实现学生学籍管理和成绩管理。     

基于UML的考试管理系统设计

利用计算机实现排考,简化了操作过程,提高了教务管理效率。文中着重解决UML在完成各阶段任务中的应用、分析设计流程等问题,就类图与时序图两者设计次序进行探讨。UML有利于各类人员之间的沟通,提高了系统建模的效率。