顺序图

作品数：202被引量：443H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李宣东郑国梁张广泉朱梅霞李必信更多>>
相关机构：北京航空航天大学苏州大学南京大学国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML顺序图的鲁棒性分析
《郑州大学学报（理学版）》2024年第2期66-72,共7页张强 蒋建民 李建清 
国家重点研发计划(2022YFB3305104);国家自然科学基金项目(61772004);成都信息工程大学人才科研基金项目(KYTZ202009)。
鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language,UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出...
关键词：UML 顺序图 鲁棒性 精化 
基于测试树模型的软件测试能力值优先级排序被引量：1
《计算机仿真》2024年第1期425-428,437,共5页黄丽 赵红霞 朱叶 杨秋琴 
江西省教育厅科技项目(GJJ202011)。
为了有效提升软件测试用例排序的执行效率,保障软件运行安全,提出基于UML顺序图的软件测试用例优先级排序方法。根据UML顺序图场景概念,通过遍历顺序图中的时间序列获取全部场景,得到与之对应的场景测试树模型。设置约束条件,根据场景...
关键词：顺序图 软件测试用例 优先级排序 测试场景 
基于SFC编程方法在维修电工技能鉴定PLC项目中的应用被引量：3
《电子制作》2022年第6期75-77,35,共4页王雪琴 
PLC有多种编程语言,最常见的有指令语句表、梯形图和顺序功能图(SFC)。而SFC编程语言是其中一种比较简单易懂的编程方法,容易被用户接受。笔者在带培中职学生维修电工技能鉴定PLC项目中,采用SFC语言对程序进行设计,极大地提高了编程的...
关键词：功能顺序图(SFC) 维修电工 PLC 
基于活动图与顺序图的自动代码生成被引量：2
《软件工程》2021年第8期34-38,30,共6页文浩 蒋建民 张仕 洪中 
国家自然基金(61772004);国家自然基金(61361136002);福建省自然基金(2018J01777);福建省自然基金(2014J01221);成都信息工程大学引进人才科研启动项目(KYTZ202009).
在模型驱动开发过程中,为了减轻开发人员的负担,通常采用自动工具生成代码框架。本文提出了一种基于活动图与顺序图自动生成代码框架的方法,并且基于该方法开发了原型工具。首先,给出了活动图和顺序图的形式化表达;其次,基于活动图和顺...
关键词：模型驱动开发 自动代码生成 形式化方法 
基于UML的网络学习系统的分析和建模
《科学技术创新》2021年第21期100-101,共2页郑智红 
现在教育部要求学校对学生进行减负,发展素质教育,促进中小学生健康成长,但很多家长和学生都希望自己的孩子或者自己的成绩不落在别人之后,因此课后会去报各种的线上线下辅导班、培训班。由于网络学习平台较之传统的教育辅导培训机构而...
关键词：网络学习系统 UML建模技术 用例图 类图 顺序图 
基于UML的门诊管理系统的分析与设计被引量：1
《信息与电脑》2020年第22期102-104,共3页曲翠玉 
UML是面向对象的建模语言,从结构化系统开发转向面向对象的系统开发,是必然的趋势.本文以医院的门诊管理子系统为例,进行了需求分析、用例分析、动态分析,产生了用例图、类图、顺序图等成果,实现了门诊管理系统的原型系统.
关键词：UML 结构化 面向对象 用例图 类图 顺序图 
汽车白车身焊装生产线工艺规划
《中文科技期刊数据库（全文版）工程技术》2020年第11期210-212,共3页宋金强 
本论文是基于阐述特斯拉项目汽车白车身焊装生产线的工艺规划,详细介绍了白车身焊装工艺规划的整个过程,分别从数模整理、上件顺序图、工艺信息提取、工艺卡、节拍表、layout平面布置图及安全产品等角度来进行陈述,以特斯拉Model S车型...
关键词：白车身焊装 工艺规划 上件顺序图 焊点 
基于扩展I~*框架的嵌入式系统需求建模方法被引量：1
《青岛大学学报（自然科学版）》2019年第1期66-73,共8页李潇 魏长江 
系统功能需求可通过用例建模技术进行有效建模,针对非功能需求缺乏有效建模方法和标准的问题,提出结合使用I*建模技术记录和建模非功能需求的方法,完成对嵌入式系统需求的完整描述。通过扩展I*目标模型和UML模型之间传统的映射规则,在...
关键词：嵌入式系统 用例技术 I^*建模技术 扩展的UML顺序图 
基于时序描述逻辑的UML顺序图形式化研究被引量：2
《计算机系统应用》2018年第8期276-280,共5页冉婕 谢树云 漆丽娟 
在统一建模语言(UML)规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及论证.针对UML顺序图缺乏精确的形式化描述问题,根据顺序图的时序特征,提出了增加交互操作符的UML顺序图的...
关键词：UML顺序图 形式化 时序描述逻辑 算子 
VASR-CBMC:基于变量子图的多线程程序验证
《计算机应用研究》2018年第8期2393-2396,共4页李运筹 尹平 尹良泽 
Yogar-CBMC基于事件顺序图实现了反例抽象精化思想,是当前最有效的多线程程序验证工具之一。针对事件顺序图过于复杂,导致判断反例可行性及求解精化约束耗时过长的问题,提出变量子图概念及基于变量子图的抽象精化方法,将全局事件顺序图...
关键词：程序验证 变量子图 反例抽象精化 事件顺序图 
全选清除导出
共21页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部