UML状态图在软件工程设计中的应用研究

状态图作为UML的一种建模图形广泛应用在面向对象软件系统开发过程中,主要研究了状态图与活动图的区别,状态图的绘制方法步骤以及在证券交易系统中的股民与股票两种对象的状态图的详细绘制过程。

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

UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.

基于UML的数据采集测试用例生成研究

将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成.首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少.

铁路平交道口的组件架构设计与分析

铁路与道路平面交叉处的道口是事故的多发地点,如何处理好道口的交通和安全问题,已成为重要的研究内容。为了提高铁路道口系统的安全稳定性,必须对系统结构和运行状态进行设计、模拟和分析。文章采用组件技术对基于无线通讯的平面交叉道口进行了静态模型架构的设计和动态运行状态的分析,为铁路平交道口系统的安全分析和采取必要的安全措施奠定了基础。

实现顺序控制的PLC程序设计

顺序控制在工业控制中被广泛应用。本文介绍应用日本 ＯＭＲＯＮ公司的可编程序控制器（ＰＬＣ）中的锁存指令 ＫＥＥＰ（１１），设计顺序控制系统的状态流程图，据此转化为梯形图的一种简单易行的方法。

UML和CPN在企业销售信息管理系统开发中的应用

UML是标准的统一建模语言,但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Petri网)是严格定义的数学对象,可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程,并用CPN对所建立的模型进行了分析和检验。

基于UML状态图的列控中心软件测试路径生成方法

针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型;采用改进的深度优先搜索算法(DFS)自动搜索有向图得到从初始节点到终止节点的所有路径集合,利用贪心算法构造超串合并测试需求;利用路径集合扩展测试需求集合,最终实现测试路径自动生成;以列控中心改变区间运行方向功能为例,给出测试路径生成方法实现。

数字逻辑电路系统设计综合

提出了把现有数字逻辑电路系统设计中控制器部分的设计统一到首先获得MDS图,然后根据MDS图再进行具体控制器设计的新思路,并建立了由ASM图和RTL微程序获得MDS图的具体规则。这将给数字系统设计者进行控制器设计带来极大的方便。

基于TFG的UML状态图测试方法

随着软件规模的不断扩大,其状态空间会随之增大,甚至会出现状态大爆炸的现象,这给分析其状态转换的流程带来相当大的困难。本文探讨了一种通过把UML状态图转化为中间图TFG的方法来产生测试序列,该方法能有效降低使用UML状态图产生测试用例的难度。