UML状态图

作品数：68被引量：174H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉姚淑珍陆公正郭峰王曦更多>>
相关机构：苏州大学北京航空航天大学上海交通大学电子科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目中国航空科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于WF StateMachine的UML状态图动态构建与测试被引量：1
《软件工程》2018年第6期8-10,7,共4页孔令东 
采用UML分析与设计的业务信息系统,业务流程经过层层的抽象迭代,缺乏一种透明的业务流程实现。WF提供了可视化的业务过程编程模型,便于实现业务流程自动化,在对比分析WF State Machine和UML状态图的基础上,研究从UML状态图到WF State Ma...
关键词：WF State MACHINE UML 状态图 
UML状态图的检测算法生成
《电子技术与软件工程》2017年第19期129-130,共2页王佳婧 冯长宝 佟鑫 
在软件系统设计中,经常应用UML状态图对系统行为进行完整建模,其正确性尤为重要。在其他文献中虽然已提出基于HA和EMC的检测规则,但是并未给出具体算法。因此根据算法生成的关键问题主要探讨:基于状态图HA的自动生成及存储、基于HA的Kri...
关键词：HA自动生成 Kripke自动生成 检测规则算法实现 
UML状态图到B形式化规范的转换实现
《软件导刊》2017年第1期6-10,共5页滕飞 杨静 
国家自然科学基金项目(61562011)
统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化...
关键词：UML状态图 B方法 转换工具 UML2B 
基于UML状态图的列控中心软件测试路径生成方法被引量：7
《铁路计算机应用》2016年第8期9-12,15,共5页王秀玄 
针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型;采用改进的深度优先搜索算法(DFS)自动搜索有向图得到从初始节点到终止节点的所有路径集合,利用贪心算法构造超串合并测试需...
关键词：测试路径 UML状态图 列控中心 深度优先搜索 超串 
UML测试用例自动生成方法研究被引量：1
《电子技术（上海）》2016年第4期52-54,共3页张卉 高仲合 黄铭 任志迁 
测试用例由于关系到测试执行的效率,是自动化测试技术中的关键环节,根据测试需求设计高效的测试用例对提高自动化测试效率起着至关重要的作用。目前大多数的研究多集中在使用UML的一种模型生成测试用例,这种方法可能造成不准确的需求分...
关键词：UML用例图 UML状态图 作业提交系统 测试用例 
UML状态图在软件工程设计中的应用研究被引量：3
《微型电脑应用》2015年第11期36-37,44,共3页樊波 袁国铭 周萍 成天华 
首都医科大学2013年度基础临床合作研究基金资助(1300171749);首都医科大学2014年度青年教师人才培养基金资助(114333050228);中华医学会课题的支持(1140950306)
状态图作为UML的一种建模图形广泛应用在面向对象软件系统开发过程中,主要研究了状态图与活动图的区别,状态图的绘制方法步骤以及在证券交易系统中的股民与股票两种对象的状态图的详细绘制过程。
关键词：UML 状态图 活动图 交易系统 
基于UML状态图和Qt状态机框架的IEC104规约的分析与实现被引量：12
《电力系统保护与控制》2015年第15期118-125,共8页余存 黄利军 黄浩然 申艳红 张睿 崔晓优 贾帅峰 
为了提高软件的可维护性和可扩展性,降低规约开发的复杂度,基于统一建模语言(UML)的状态图理论对IEC 60870-5-104规约主站端进行了分析。抽象定义了动作、事件和状态,利用UML状态图分层和并发特性设计了规约逻辑状态图,并使用Qt的自动...
关键词：IEC 60870.5-104 统一建模语言UML状态图 有限状态机 QT 
BDL模型到UML状态图的可视化方法研究被引量：1
《计算机科学》2015年第7期38-43,共6页马丽 毋国庆 黄勃 程铭 崔梦天 
国家自然科学基金(91118003;61003071);国家自然科学基金面上项目(61379019);深圳战略性新兴产业发展专项资金(JCYJ20120616135936123);国家留学基金(201206070041);四川省学术和技术带头人培养资金联合资助
针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中...
关键词：行为描述语言 需求建模 映射规则 模型转换 状态图 
基于工作流模型的业务流程测试方法研究被引量：1
《北方工业大学学报》2015年第3期57-61,共5页权淑静 
信息系统交付时的验收测试很大程度上都是对业务流程进行的功能测试.本文对信息系统中的业务流程进行功能测试,提出一种基于工作流模型的测试方法.该方法先对业务流程进行基于UML状态图的工作流建模,然后对此模型进行改进的深度优先遍历...
关键词：软件测试 工作流模型 测试用例 UML状态图 
基于LTL的UML状态图测试用例生成方法
《安徽建筑大学学报》2015年第2期75-78,共4页高莉 
国家科技支撑计划(2012BAJ08B00);安徽高校省级自然科学研究重点项目(KJ2009A018Z);校青年科研专项经费(201183-14)
测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻...
关键词：软件测试 测试用例生成 UML状态图 线性时序逻辑 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部