基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

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

统一建模语言（UML）已经广泛应用于基于组件的软件开发过程中.许多UML模型，如交互图、状态图和组件图等从不同的角度刻画了组件的行为，可将其用于基于组件的软件系统的测试.本文首先提出了一个基于UML模型的测试框架，并对基于UML模型的组件集成测试方法进行了比较，然后将基于协作图的组件测试技术应用于ATC系统的集成测试，取得较好效果.     

基于FAD的UML活动图测试用例生成

在软件系统的设计过程或文档说明中,软件系统的动态行为可通过UML活动图描述,软件系统的正确性与可靠性要通过构造一定的测试模型来验证.由于UML活动图缺乏精确的数学模型描述,所以无法直接生成有效的测试模型.本文研究将UML活动图模型与FAD(形式活动图)相结合,应用FAD的片段方程式理论详细分析了生成测试用例的完整过程.其结果在软件测试中具有一定的理论指导意义和应用价值.     

基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

基于场景和UML图的CBSD软件集成测试方法研究

基于构件的软件开发(Component_Based Software Development,CBSD)是软件设计的新趋势,软件测试是软件质量的保证.构件化软件的测试核心是构件间的交互.介绍了一种基于场景和UML图的CBSD软件的集成测试方法,它以扩展的UML图为主要的测试模型,分析构件间的交互,并利用场景的思想生成测试用例.最后提出了一个构件化软件集成测试框架.     

基于模块化的软件可靠性模型

通过对J-M模型的分析,结合软件可靠性、软件可靠性工程和软件测试以及概率论的相关理论,设计了基于软件模块化的软件可靠性测试模型,同时给出了软件维修时间的估计模型,最后讨论了参数对模型的影响.     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

面向对象软件中基于服务的类测试

面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

面向组件的软件测试技术

使用组件,特别是第三方商业组件集成开发而成的软件越来越多,面向组件的测试技术的需求越来越大。UML是目前软件开发业应用最广泛的可视化标准建模语言,它能应用于整个软件开发过程的各阶段。UML的许多特点与面向组件的软件测试需求相吻合。基于UML的软件测试技术在对面向组件的软件开发具有广阔的研究和应用前景。     

基于UML软件测试技术的比较研究

近年来UML图广泛应用于软件开发的各个阶段，特别在软件测试领域，基于UML软件测试技术的研究成为学术热点．本文对基于UML的软件测试技术进行了详细地比较和研究，并且给出了组件工程中UML软件测试技术的几个可行的研究方向．     

一种基于UML模型的系统测试方法

针对基于用UML开发的软件系统的用例之间的复杂联系．设计了一种通过UML活动图表示UML用例图来对UML用例图中各个用例之间的联系进行描述，并对其中的用例进行扩展；在此基础上通过对UML活动图中用例遍历的系统测试方法．     

基于工作过程的软件技术专业《UML 建模技术》课程设计

UML建模技术的基本理论和方法有益于提高学生的抽象能力、逻辑思维能力和归纳分析能力等。UML建模技术课程对于培养学生的软件开发综合素质,提高学生的软件开发、测试、维护能力和软件项目管理能力具有重要的意义。本文通过科学的课程设计,使学生能够快速的掌握和运用这门课程。     

UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题，采用基于UML的实时系统软件测试程序设计方法，使测试程序模拟的环境和数据更逼真、可靠，以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例，分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点，利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型，并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．     

Software Maintainability Prediction with UML Class Diagram

Software system can be classified into many function modules from the perspective of user. Unified modeling language( UML) class diagram of each function module was extracted,and design characteristic metrics which influenced software maintainability were selected based on UML class diagram.Choosing metrics of UML class diagram as predictors,and mean maintenance time of function module was regarded as software maintainability parameter. Software maintainability models were built by using back propagation( BP) neural network and radial basis function( RBF) neural network, respectively and were simulated by MATLAB. In order to evaluate the performance of models,the training results were analyzed and compared with leaveone-out cross-validation and model performance evaluation criterion. The result indicated that RBF arithmetic was superior to BP arithmetic in predicting software maintainability.     

一种基于UML和CP-net集成描述的面向对象软件的交互测试方法

面向对象技术在软件工程中的推广使用，使得传统的测试技术和方法受到了极大的冲击．对面向对象技术所引入的消息传递、数据抽象、封装、继承、多态等新特点，传统的测试技术已经无法有效的进行测试．对面向对象软件的测试，测试策略或方法都需要出现相应的变革或更新．本文给出一种基于UML和CP-net集成描述的面向对象软件的类集成测试方法，重点在于测试不同的类方法之间的交互行为．这种方法首先用UML和CP-net集成描述用户需求，然后基于这个描述模型，按照基本路径覆盖的标准自动产生测试例．     

家庭自动化系统中的建模设计

该文以家庭自动化系统为背景,探讨了利用统一建模语言进行面向对象的建模问题,介绍了UML的结构和机制,说明如何在软件开发过程中运用UML建模.按照此模型进行系统的开发,可以大大地提高系统开发的产业化水平,是软件工程的一个发展方向.