基于UML状态图的自动化测试系统研究与实现

以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。     

基于LTL的UML状态图测试用例生成方法

测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。     

复杂分布式系统的面向智能agent建模

为了有效管理复杂分布式系统建造过程中的复杂性,提出了一种面向智能多agent系统的工程化软件建模技术.该方法使用扩展的UML用况图和顺序图来认定角色并建立角色模型,通过对agent的心智状态建模,使用扩展的UML状态图和Petri网图来发展agent自治行为和交互行为的动态模型.给出了一个覆盖了从问题域分析到生成agent类模型和agent交互模型全部过程的网络资源管理系统应用实例,并验证了建模方法抽象和管理系统复杂性的有效性.     

利用框架设计模式开发嵌入式网络协议

为了规范地开发嵌入式网络协议，设计了一个软件框架，它将UML状态机的事件、定时器、状态、状态机等核心数据结构整合为一体，提供了实现UML状态的各种接口。项目开发结果表明，该软件框架清晰地反映了状态机各个状态之间的嵌套层次关系，能够将嵌入式网络协议的UML状态图高效地转化为该网络协议的实现代码，成功地生成特定的嵌入式网络协议。     

运用UML建模机制构建图书管理系统

运用UML建模机制对一个简单的图书管理系统进行分析，利用用例图、类图、活动图建立、图书管理系统需求分析模型，通过建立静态模型(用例图、包图、配置图)和动态模型．(状态图、顺序图、合作图)，展示UML建模机制应用实例，说明应用UML建模机制，在对系统进行分析、设计到实现的不同阶段，建立起灵活的系统模型的过程和机制。     

一种UML状态图模型检测方法

为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式...     

基于UML的XML Schema设计

给出了一种基于UML对XML Schema文档进行辅助设计的方法,该方法将设计过程分为3个层次,即概念层、逻辑层和物理层。概念层使用标准的UML类图对对象建模,逻辑层使用自定义的逻辑层UML类图表示,物理层则用最终的XMLSchema文档表示。给出的逻辑层UML类图充分利用了XML Schema文档的嵌套结构特点,结构清晰简明,经过一系列的转换步骤,可以由概念层的UML类图生成逻辑层UML类图,并最终得到XML Schema设计。     

一种层次状态图的自动生成方法

提出了一种基于状态图语法分析的方法自动生成层次状态图．该方法搜索简单状态图上具有异或关系的状态,将这些状态聚类得到层次状态图,达到减少状态转移数量和高层状态数目,提高抽象层次的目的．通过系统的实验研究,验证了该方法的有效性．     

Rational Rose及用Rose建模火电厂设备状态检修管理信息系统

Rose是一种标准建模语言 (即UML) ,它利用用例图、静态图、行为图、交互图及实现图来表达建模思想 .文章简单介绍了UML及Rose的特点 ,并以设备台帐管理子系统为例 ,通过用Rose捕获用户需求、表达系统的对象和类之间的交互、描述系统的类及关联、添加系统中类的属性和操作以及用Rose生成类代码 ,阐述了用Rose建模火电厂设备状态检修管理信息系统的过程 .实践表明 ,Rose不失为一种强有力的建模工具 .     

基于Object-Z的带OCL约束的UML类图形式化描述

UML2．0OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行条件约束后,类图便具备了严格的语法和精确的语义,同时也具备了演绎验证的基本条件．但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证,因此提出了将带OCL约束的UML类图通过Object—Z进行形式化描述的方法,这样便可以充分利用Object—Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等。     

UML活动图在物流业务流程分析中的应用

大多数物流企业的业务流都采用传统的数据流图方法,造成了物流企业资源分配上的不均匀,使用户 和管理人员难以相互沟通.在以建立我国商务车队的管理系统为最终目的的背景下,将北京市某物流企业作为 研究对象,在进行较为详尽的调查基础上,运用UML(unified modeling language)语言进行了业务流程分析,明析 物流企业的业务流程.为进一步建立商务车队管理软件奠定了基础.     

面向对象系统的回归测试研究

首先简单介绍了现代软件工程采用的建模语言UML的特点和功能，特别是其图形表达方式类图和包图的特点，并分析了面向对象系统基于安全缩减的回归测试．最后，提出了一种基于UML类图和包图构造类依赖集、子系统依赖集的算法．     

基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

频图的研制

在文献［１］的基础上,运用绘图软件ＡｕｔｏＣＡＤ中接口语言ＡｕｔｏＬＩＳＰ,研制出室外湿空气焓频图的绘制软件,运行该软件可自动生成不同温度间距、焓值间距和不同大气压下的室外湿空气焓频图     

用剪力图面积法作静定梁的内力图的探讨

通过对梁上外载荷与内力间微分关系及函数图形的研究,找到了剪力图与弯矩图之间规律。提出一种快速绘制弯矩图的方法——剪力图面积法．     

利用信号流图分析热力系统经济性

基于的概念,利用信号流图的原理,绘制出了热力系统流图;在此基础上进行了一典型热力系统的热力计算,其结果与利用“符号经济学”方法进行分析所得结论相同。该方法思路简单,计算容易。     

UML statechart based rigorous modeling of real-time system

Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1 ) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system ; 2) an approach to capture timed automata based semantics from a timed statechart; and 3 ) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.     

基于指称语义的UML序列图的形式化分析

统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的...     

采用网络横道图编制施工进度计划

网络横道图是综合了横道图和网络图的优点而避免其不足的新型图形，将网络横道网应用到编制施工进度表上，对推广网络计划技术有着很大的意义。