Software Engineering Technology for the 21^(st) Century

In this paper we will discuss the software engineering technology for the 21 st century. First we review development over the last half century, overview application requirement and environment, accept a challenge. Then we outline following software engineering techniques: 1) Process;2) Analysis;3) Design;4) UML;5) Component;6) Java +XML;7) Integrated;8) Quality(ISO9000&CMM).

基于“SE-CDIO-CA”的UML课程教学改革

统一建模语言(UML)是软件工程课程体系中的重要课程,工程教育认证与新时代人才需求的驱动,使得该课程需要增强工程教育人才培养对产业发展的适应性。虽然现有的UML课程改革方案从案例分析、混合式教学等方面进行了改进,但结合“做中学”和“团队合作案例式教学”仍存在不足。考虑软件工程相关专业学生对编程的敏感性,以SE-CDIO工程教育理念为指导,将IBM-RSA和PlantUML命令行建模、案例启发、在线教学辅助有机融合到SE-CDIO方法中,同时提出基于“SE-CDIO-CA”的UML课程教学方法。该方法从从软件工程专业培养目标与毕业要求出发,结合整个软件生命周期,从项目需求分析与建模、项目设计与优化、项目实现与优化、项目维护与发布4个方面具体设计。整个教学过程紧紧围绕工程实践教学的基本理念,不断提升学生利用UML理论知识解决实际工程问题的兴趣和能力。

基于UML活动图模型生成测试场景的设计

文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列覆盖准则,根据准则制定活动图的一般处理思路,然后针对活动图中并发结构、对象流、信号流提出相应处理方法,最后反推出作图的一些假定条件,以及在场景基础上生成测试用例的一些设计构想。

UML 软件开发过程和支持环境研究

从当前对软件工程过程的需求出发，结合软件工程领域的最新成果统一建模语言ＵＭＬ（ＵｎｉｆｉｅｄＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅ），重点讨论了适应需求变化的迭代式软件开发过程，提出了柔性软件开发模型．在此研究的基础上，设计了集成化ＵＭＬ软件开发环境的框架，指出其组成应包括ＵＭＬ可视化建模系统、ＵＭＬ模拟系统、ＵＭＬ代码生成系统和ＵＭＬ逆向变换系统４个部分，并提出了需要解决的问题．

一种基于UML的面向对象需求分析方法

提出一种实用的基于UML的需求分析及其建模方法 ,以活动图模型来表达业务模型 ,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑 ,以用例表达系统需求 ,讨论了需求分析及其建模的过程概念 ,方法实施的构造算法。

基于UML的列车运行调度系统软件模型

按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两个角度描述调度系统的软件模型。用例图从用户的角度描述系统的功能;类结构图指明系统中存在的类以及类之间的静态关系,描述系统的静态模型;序列图着重描述控制流在对象之间的流动过程,状态转移图描述对象的转移过程以及状态变化的条件。序列图和状态转移图从不同的角度描述系统的动态行为,建立系统的动态模型。该模型已用VC++6.0实现,并在高速铁路综合调度仿真系统中得到应用。

UML技术在实际工程中的应用

UML(标准建模语言)是面向对象技术一个重要应用,也是近代软件工程环境中对象分析和设计的重要工具。该文首先介绍了UML的基本内容,然后结合课题的分析设计过程对UML技术的具体应用做了详细的描述。

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具 ,又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是 ,Petri网是用来描述和分析要开发的系统模型的工具 ,不是计算机的实现工具 ,必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言 )具有友善的用户界面 ,易于编程实现 ,故提出一种利用UML作为过渡的Petri网软件实现方法。

基于UML状态机与B方法的高可信嵌入式软件开发

提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。

UML类图层次化自动布图算法

UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此外,类图布局需要考虑相关的领域知识以及绘制准则,因而通用嵌套有向图层次化布局算法不能直接用于类图的绘制,它们必须加以扩展.但是,已有的类图层次化方法并没有考虑类图中图元的嵌套关系,这将导致自动布局方法不能处理类图中包与类、接口之间的包含关系.在考虑图绘制美学、UML类图绘制以及软件可视化等相关知识的基础上,选取了一组布图准则并分析了嵌套关系在层次分配、层内排序和坐标分配中引入的约束,通过在层次化方法的主要步骤中引入嵌套约束,提出了嵌套有向图层次化布图算法.实验结果表明,扩展的布图算法能够适应于逆向类图的绘制,它具有层次清晰、支持图元嵌套、交叉数目少以及占用面积小等优点.

UML状态机到B形式化规约的转换

文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点,将其转换为B形式化模型,然后在B工具环境中遵循B方法的精化原则和正确性验证方法,开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则,涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明,这套转换规则行之有效。

UML在系统分析与设计中的应用

介绍统一建模语言UML(Unified Modeling Language)的产生、发展和建模过程。以零件销售管理系统的分析和设计为实例,阐述UML在系统开发的开始阶段、细化阶段和构造阶段中的应用、注意点和意义。着重探讨和解决UML在完成各阶段主要任务中的应用场合、分析设计的流程以及阶段衔接等问题,并指出应用UML进行分析与设计的优点和存在的问题。

基于UML语音发票查询系统的研究及应用

UML建模是面向对象技术的一个重要应用,也是近代软件工程环境中对象分析和设计的重要工具。本文首先介绍了UML的建模原理,然后结合海口地税语音发票查询系统项目的分析设计过程,对UML技术的具体应用作了详细的描述。

《面向对象技术&UML》教学改革与实践

《面向对象技术&UML》是软件学院为大二学生开设的一门专业基础必修课,在软件工程专业中占据重要位置。本文针对该课程在教学中存在的一些问题,从整个软件工程专业课程体系出发,提出基于项目驱动的教学理念,促进整个专业课程教学的有机结合;同时,改进教学案例并辅助以专题课程教学网站帮助学生学习讨论。实践结果表明,新的教学手段很大程度上提高了学生的学习兴趣,对培养学生软件分析和设计能力起到了良好的效果。

UML结合软件工程教学改革探讨

结合本校计算机专业的实际教学情况,深入分析UML课程教学内容,并结合软件工程教学,以汽车销售管理系统为例,通过分析汽车销售管理系统,并在设计过程中融入软件工程思想,将软件工程与UML完美结合起来。以UML作为基础,增强学生对开发项目的兴趣和感性认识,提高他们分析和解决实际问题的能力,从而达到UML与软件工程教学共赢的目的。

基于UML软件测试技术的比较研究(英文)

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

应用UML进行反辐射导弹对抗仿真建模

反辐射导弹是现代战场上雷达的主要克星 ,因此熟悉其特性 ,研究专门的战法具有重要的现实意义。该文阐述了面向对象的软件工程方法学对开发大型仿真系统软件的显著作用 ,并运用统一建模语言对反辐射导弹对抗仿真软件进行建模。

基于UML的医院饭堂就餐卡系统的设计

UML是一种基于面向对象的可视化建模语言,本文简要介绍了医院饭堂就餐卡系统的基本功能、设计思想,并结合该实例探索了基于UML的应用领域的系统开发及UML各图形之间的内在联系,说明了基于UML的系统开发过程是以用例为中心的开发方式。

基于UML的GIS基础软件开发管理

本文介绍了基于UML的软件工程 ,以及将UML用于面向对象的GIS基础软件开发的方法。

结合案例分析基于UML的面向对象可视化建模教学(英文)

面向对象软件可视化分析与设计建模(OOVM)已成为一个较为成熟的技术,而UML是目前高校软件工程教学中广泛使用的一个图形建模工具。基于一个案例,描述了面向对象软件分析与设计的全过程,指出了基于UML建模方法所需输出的必要制品,讨论了OOVM集成的完整技术。