UML顺序图

作品数：42被引量：108H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李宣东郑国梁于洪敏黄陇陈致明更多>>
相关机构：南京大学北京航空航天大学中国人民解放军军械工程学院西安理工大学更多>>
相关期刊：《计算机工程与设计》《青岛大学学报（自然科学版）》《南京大学学报（自然科学版）》《计算机系统应用》更多>>
相关基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划重庆市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML顺序图的鲁棒性分析
《郑州大学学报（理学版）》2024年第2期66-72,共7页张强 蒋建民 李建清 
国家重点研发计划(2022YFB3305104);国家自然科学基金项目(61772004);成都信息工程大学人才科研基金项目(KYTZ202009)。
鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language,UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出...
关键词：UML 顺序图 鲁棒性 精化 
基于扩展I~*框架的嵌入式系统需求建模方法被引量：1
《青岛大学学报（自然科学版）》2019年第1期66-73,共8页李潇 魏长江 
系统功能需求可通过用例建模技术进行有效建模,针对非功能需求缺乏有效建模方法和标准的问题,提出结合使用I*建模技术记录和建模非功能需求的方法,完成对嵌入式系统需求的完整描述。通过扩展I*目标模型和UML模型之间传统的映射规则,在...
关键词：嵌入式系统 用例技术 I^*建模技术 扩展的UML顺序图 
基于时序描述逻辑的UML顺序图形式化研究被引量：2
《计算机系统应用》2018年第8期276-280,共5页冉婕 谢树云 漆丽娟 
在统一建模语言(UML)规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及论证.针对UML顺序图缺乏精确的形式化描述问题,根据顺序图的时序特征,提出了增加交互操作符的UML顺序图的...
关键词：UML顺序图 形式化 时序描述逻辑 算子 
UML顺序图形式化语义的研究综述被引量：6
《计算机科学》2017年第2期17-30,64,共15页郭艳燕 张楠 童向荣 
国家自然科学基金项目(61403329;61502410;61572418);山东省自然科学基金项目(ZR2015PF010;ZR2013FQ020;ZR2014FL009;ZR2014FQ016);山东省高等学校科技计划项目(J15LN09;J14LN23)资助
为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析...
关键词：统一建模语言UML 形式化方法 顺序图 组合交互片段 指称语义 操作语义 
基于Timed-UML顺序图的RBC交接形式化建模与分析被引量：3
《铁道标准设计》2016年第6期132-138,共7页安越 李国宁 
在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的...
关键词：车载系统 RBC交接 实时UML顺序图 时间自动机 
基于UML顺序图的地铁联锁测试用例生成方法被引量：2
《小型微型计算机系统》2016年第5期1117-1120,共4页黄平霞 董昱 
国家自然基金地区科学基金项目(61164010)资助
地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能建立UML顺序图模型,并对其进行场景分析;基于图论中有向图的含...
关键词：计算机联锁 UML顺序图 有向图 测试用例生成 
基于通用知识的软件设计安全性评估被引量：1
《计算机系统应用》2013年第11期1-6,80,共7页戚荣波 杜晶 杨叶 
国家自然科学基金(61073044;71101138;61003028);国家重大科技专项(2012ZX01039-004);北京市自然科学基金(4122087)
安全性作为软件系统的重要属性,越来越受到人们的重视.在软件开发的早期对安全性进行评估,对软件的质量控制和成本控制有着重要意义.当前的软件安全性评估主要依靠专家评审,结果的客观性及准确性常常受到专家主观意见的影响.通过使用通...
关键词：软件安全性 通用知识 攻击模式 软件安全性评估 UML顺序图 
应用UML顺序图的联锁测试用例生成方法被引量：5
《计算机应用研究》2013年第9期2740-2743,共4页高雪娟 武晓春 
国家自然科学基金资助项目(61164010)
计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含有充分测试信息的UML模型,提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成...
关键词：UML顺序图 软件测试 测试用例生成 联锁 
形式化表示UML顺序图的结构操作语义
《云南民族大学学报（自然科学版）》2013年第4期299-301,共3页陈寿文 
安徽省高校优秀青年人才基金(2012SQRL154)
采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.
关键词：形式化表示 UML顺序图 结构操作语义 
基于UML顺序图的回归测试用例生成研究被引量：2
《集成技术》2013年第3期75-78,共4页文瑾 
云南省教育厅科学研究基金(09Y0348)
首先在分析UML模型可测试性的基础上,解析顺序图,得到场景测试树,再遍历该树,得到场景的输入、预期输出、约束条件以及场景环境,这4部分组成了测试用例。再通过比较UML设计修改前后两个版本的顺序图,找出其中的改变信息,并在测试用例和...
关键词：软件测试 UML顺序图 面向对象 回归测试用例 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部