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

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

基于UML的雷达导引头软件建模研究

本文主要介绍了UML(Unified Modeling Language,统一建模语言)在雷达导引头系统软件设计中的应用分析,利用UML在建模方面的优势,通过对导引头系统软件建立用例图、行为图、静态图、交互图和实现图等系统模型,使导引头系统软件在设计过程中更加清晰、直观,对导引头系统软件在提升开发效率、质量等方面具有显著的效果。     

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

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

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

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

基于UML的航空兵作战指挥控制系统建模研究

面向对象的建模方法是目前建模领域最流行的方法之一,UML是支持面向对象思想的一套建模规则。文章分析了基于UML的面向对象建模的一般过程,并针对航空兵攻防作战的一个典型模式,对其作战指挥控制系统进行了建模研究,验证了这套理论在仿真系统建模中的可行性。同时,使用基于UML的面向对象建模方法能够缩短仿真系统建模周期,增强仿真模型的易理解性和可重用性。这套方法也可为军工行业中同类型仿真系统建模活动作借鉴和参考。     

高度综合化航电系统对象管理模型设计与应用

针对航空电子信息系统对象建模过程存在效率低下的问题,结合高度综合化航电系统特点,采用面向对象设计思想及建模方法,分析了航电系统对象组成及相互关系,研究了系统基类设计构型,并在此基础上提出了基于虚拟表单的高度综合化航电系统对象管理模型。该模型的应用为航电系统设计研制提供了灵活、动态的管理手段,在辅助开发设计人员对系统进行面向对象建模的同时,显著提高了系统研发管理效率。     

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

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

基于UML的高校学生请假系统的建模与实现

高校学生请假系统是适用于高等院校学生请假的网络应用软件.在需求分析过程中,将整个系统分为学生请假模块、辅导员和学生主任模块、主管院长模块和教师模块等6部分,使用统一建模语言UML对系统进行面向对象的分析和建模,完成了系统的静态建模.在数据库设计中用E-R图建立了数据库的概念模型.系统采用B/S结构开发,在校园网上进行测试,实现了预期目标.     

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

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

网上自助食堂订餐系统的建模

通过统一建模语言UML,利用面向对象的系统分析思想对网上自助食堂订餐系统进行分析,并利用建模工具Rational Rose对系统建立需求模型、基本模型和辅助模型。通过对网上自助食堂订餐系统的分析与建模,阐述了UML在实际中的建模过程和方法,证明UML可以为软件人员减少工作量,为实际开发带来便利。     

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

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

统一建模语言在自动称量系统软件上的应用

统一建模语言作为面向对象程序设计的实际工业标准,已经成功地应用于很多软件的建模中。以自动称量系统软件为例,对统一建模语言的5个视图进行了描述,并给出了软件模型。     

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

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

基于UML的软件建模工具的研制

本文讨论了基于UML的软件建模工具的设计和实现技术.介绍了面向对象的软件建模工具所应支持的概念与模型,对工具的系统功能结构与设计进行了详细地阐述,并给出了一套具有通用性的具体实现方法.     

基于UML的面向对象的系统建模

UML是一种通用的可视化建模语言，用于对软件进行描述、可视化处理、构造和建立软件系统的文档。它是面向对象分析和设计过程中重要的建模工具。本文以办公自动化系统的建模为实例，介绍了一种基于UML的面向对象的系统建模方法。     

Efficient test case generation for validation of UML activity diagrams

Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for automated test case generation is one major bottleneck in the UML activity diagram validation. This article presents a methodology for automatically generating test cases based on various model checking techniques. It makes three primary contributions: First, we propose coverage-driven mapping rules that can automatically translate activity diagram to formal models. Next, we present a procedure for automatic property generation according to error models. Finally, we apply various model checking based test case generation techniques to enable efficient test case generation. Our experimental results demonstrate that our approach can reduce the validation effort drastically by reducing both test case generation time and required number of test cases to achieve a functional coverage goal.