基于UML的集成化CASE平台的研究和实现

统一建模语言提供了研制和开发面向对象软件集成化开发环境的理论基础，指出UML本质上是一套文档符号，提出UML增减原则：是否有利于自动文档生成；是否有利于自动程序生成。提出一个“开环”的集成化开发平台的构造框架。最后，基于上述设计思想和结合软件项目实际情况，开发出一个集成化CASE平台，平台具有数据库文档自动生成、界面自动生成、代码自动生成和构件重用等功能。     

基于UML的面向对象软件测试系统

设计和实现了一个基于UML的C 测试集成开发环境CppTestlDE.它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置.同时,对源代码插装,以便度量代码覆盖率.在此基础上,编译测试装置和源代码,生成测试装置执行文件.最后,驱动测试装置执行文件,分析测试结果,生成测试报告.     

软件工厂模式的软件产品快速构建技术

在研究了现代信息系统软件架构模式的基础上,提出了软件工厂模式的项目软件快速开发和构建技术.设计了一个自动模型开发和代码自动生成方法,通过CodeSmith代码模板可以将数据模型转化成为平台无关的可执行程序,并在此基础上研究了基于逆向工程的项目文档自动生成技术.通过在实际项目中的验证,使软件产品的开发时间缩短到1/10,设计文档编写的时间缩短到1/17,并且代码质量极大提高,应用开发和维护成本大大降低.     

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

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

使用Rhapsody软件框架和UML的实时系统开发

UML已成为复杂系统建模的工业标准,并可借助代码自动生成工具实现从分析到编码的开发过程自动化。而实时系统的行为特征可以很好地用UML的状态机表示,从而成为自动代码生成、测试、分析和校验的最佳选择。ILogix公司的Rhapsody是一个基于UML支持模型驱动开发的CASE工具,它使用一套为实时系统量身打选的软件框架实现实时系统软件的开发自动化。     

XML的数据建模及其应用

分析了XML文档在应用中存在的静态和动态特性，提出了静态模型和动态模型的建模准则，并利用UML将XML文档的开发融入软件统一开发过程中。重点讨论如何通过数据建模设计出一个良好的XML文档，并简单介绍了一个XML文档实例。     

使用Rhapsody软件框架和UML的实时系统开发

UML[1]已成为复杂系统建模的工业标准,并可借助代码自动生成工具实现从分析到编码的开发过程自动化.而实时系统的行为特征可以很好地用UML的状态机表示[2],从而成为自动代码生成、测试、分析和校验的最佳选择.ILogix公司的Rhapsody是一个基于UML支持模型驱动开发的CASE工具,它使用一套为实时系统量身打造的软件框架实现实时系统软件的开发自动化.     

使用Rhaphsody软件框架和UML的实时系统开发

UML已成为复杂系统建模的工业标准，并可借助代码自动生成工具实现从分析到编码的开发过程自动化，而实时系统的行为特征可以很好地用UML的状态机表示。从而成为自动代码生成，测试、分析和校验的最佳选择，ILogix公司的Rhapsody是一个基于UML支持模型驱动开发的CASE工具，它使用一套为实时系统量身打造的软件框架实现实时系统软件的开发自动化。     

基于知识的UML图形文档自动生成

基于领域本体的需求获取使得用领域术语描述用户需求,并进行应用模型的自动分析成为可能,以尽可能地保证需求描述的正确性和完整性。从以领域概念为背景的应用模型,到以软件概念为基础的应用软件模型,是需求工程要完成的一个实质性跨越。UML是目前软件需求描述的一个实际上的标准。该文主要论述了从基于领域本体的应用需求描述到基于UML的软件需求文档的自动转换过程,文章提出建立从领域本体概念到UML概念映射规则库,以及根据UML概念填写用XML表示的UML图元模板的规则库,设计并实现了一个基于规则的,从应用需求概念到UML图元模板的自动转换工具。     

数据库结构自动生成工具的开发

论述了从数据库设计文档自动生成关系型数据库结构代码的方法,详细介绍数据库结构自动生成方法的工作原理、工作过程及优点.对数据库设计文档的模板提出了原则性的要求和推荐的格式.详细描述了所开发的数据库结构自动生成工具的特点以及在项目开发中的应用情况.应用表明,该工具能大大提高工作效率,对开发MIS系统等类型的软件有很大帮助.     

Experiences from introducing UML-based development in a large safety-critical project

UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using methods based on UML. However, there is no reported empirical evaluation of UML-based development in large, industrial projects. This paper reports a case study in ABB, a global company with 120,000 employees, conducted to identify immediate benefits as well as difficulties and their causes when introducing UML-based development in large projects. ABB decided to use UML-based development in the company’s system development projects as part of an effort to enable certification according to the IEC 61508 safety standard. A UML-based development method was first applied in a large, international project with 230 system developers, testers and managers. The goal of the project was to build a new version of a safety-critical process control system. Most of the software was embedded. The project members were mostly newcomers to the use of UML. Interviews with 16 system developers and project managers at their sites in Sweden and Norway were conducted to identify the extent to which the introduction of UML-based development had improved their development process. The interviewees had experienced improvements with traceability from requirements to code, design of the code, and development of test cases as well as in communication and documentation. These results thus support claims in the literature regarding improvements that may be obtained through the use of UML. However, the results also show that the positive effects of UML-based development were reduced due to (1) legacy code that it was not feasible to reverse engineer into UML, (2) the distribution of requirements to development teams based on physical units and not on functionality, (3) training that was not particularly adapted to this project and considered too expensive to give to project members not directly involved in development with UML, and (4) a choice of modelling tools with functionality that was not in accordance with the needs of the project. The results from this study should be useful in enabling other UML adopters to have more realistic expectations and a better basis for making project management decisions.

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

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

基于UML的COSMIC-FFP度量方法

针对目前的软件规模度量方法中存在的主观性强、可重复性差的问题,通过将UML引入到度量过程中来改善当前的软件度量方法。分析UML主要部件(用例图、类图和时序图)的语义和COSMIC-FFP的主要元素(功能用户、层、边界、数据组和功能过程),建立其间的对应关系,给出15条映射规则,同时还提出基于UML的COSMIC-FFP度量步骤。实例结果证明,该方法能客观有效地度量软件功能规模。     

UML集成化开发平台研究与实现

针对目前UML CASE工具不能满足中小型项目开发的现状,设计面向中小型项目开发的协同式UML集成化开发平台,明确提出系统最终目标及目前实现的功能,并对系统开发过程中使用到的关键技术以及该系统的创新之处做了系统的阐述.     

PKUMoDEL:模型驱动的开发和语言家族支持环境

OMG发布的UML语言家族和MDA架构促进了模型驱动软件开发的思想成为现实.建模语言版本升级或者面向不同领域的语言家族新增成员的不断出现,要求模型驱动开发环境除了使得模型成为软件开发生命周期中的主体之外,还应该具有元模型的定义和操纵能力.模型驱动的开发和语言家族支持环境PKUMoDEL是基于MOF的元建模环境和基于UML2.0的建模环境的集成体,很好地解决了诸如元模型的定义、扩展和评估、建模工具的自适应和演化、不同类型工具之间的集成、模型复用、从模型到运行环境的直接映射和部署等问题.     

基于COM原理的UML模型信息提取技术

提出了一种提取UML模型信息的方法.UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便.同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试.因此,研究如何从UML图中提取相应的模型信息有其现实意义.利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息.     

An experimental investigation of formality in UML-based development

The object constraint language (OCL) was introduced as part of the Unified Modeling Language (UML). Its main purpose is to make UML models more precise and unambiguous by providing a constraint language describing constraints that the UML diagrams alone do not convey, including class invariants, operation contracts, and statechart guard conditions. There is an ongoing debate regarding the usefulness of using OCL in UML-based development, questioning whether the additional effort and formality is worth the benefit. It is argued that natural language may be sufficient, and using OCL may not bring any tangible benefits. This debate is in fact similar to the discussion about the effectiveness of formal methods in software engineering, but in a much more specific context. This paper presents the results of two controlled experiments that investigate the impact of using OCL on three software engineering activities using UML analysis models: detection of model defects through inspections, comprehension of the system logic and functionality, and impact analysis of changes. The results show that, once past an initial learning curve, significant benefits can be obtained by using OCL in combination with UML analysis diagrams to form a precise UML analysis model. But, this result is however conditioned on providing substantial, thorough training to the experiment participants.     

集成化UML建模环境研究

提出了集成化UML建模环境的思路,讨论了其基本组成,并在结构化图形编辑生成工具SGEG等的基础上研究了UML集成建模环境的实现。     

基于UML的电子商务在线销售系统分析与设计

随着面向对象技术的不断发展,利用面向对象思想进行系统建模,已成为当前软件项目开发的主流。本文针对运用UML进行信息系统建模的过程以及模型的选择进行研究,并结合UML系统建模的优势,以电子商务在线购物系统为例,给出基于UML的信息系统建模的完整实现过程。     

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

在当今社会随着经济和科学技术的发展,UML也逐渐应用于诸多领域,其中最常用的是建立软件系统的模型。同时伴随着UML的推广,对于在其基础之上的测试用例生成发法的研究也逐渐得到了人们的关注。本文通过介绍UML的发展及具体相关内容,来探讨基于UML测试用例生成法的研究。