UML2.0

作品数：34被引量：46H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉张琛段振华马浩海王智群更多>>
相关机构：西安电子科技大学苏州大学暨南大学北京大学更多>>
相关期刊：《职业时空》《计算机时代》《内蒙古大学学报（自然科学版）》《计算机工程与设计》更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目重庆市自然科学基金国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种UML2.0模型动态特性的一致性验证方法
《信息技术》2014年第8期183-186,共4页雷博 裴磐洁 
近年来,UML已经被广泛应用于软件的分析和设计,然而,由于软件系统的复杂性,在UML模型中,难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2.0模型状态图和顺序图一致性的方法。首先,用XYZ/E来形式化描述状态...
关键词：UML2 0 状态图 顺序图 一致性 模型检测 
应用UML2.0模型的测试用例生成方法被引量：8
《西安交通大学学报》2011年第8期18-23,共6页张琛 段振华 
国家重点基础研究发展规划资助项目(2010CB328102);国家自然科学基金资助项目(60433010;60873018;60910004;91018010;61003078;61003079);教育部高等学校博士学科点专项科研基金资助项目(200807010012);中央高校基本科研业务费专项资金资助项目(JY10000903004)
针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证...
关键词：测试用例 命题投影时序逻辑 模型检测 覆盖准则 
基于CPN的UML2.0形式化建模被引量：1
《青岛大学学报（工程技术版）》2011年第1期33-37,共5页孔莹莹 蒲海涛 隋瑞升 
UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网(CPN)拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形...
关键词：UML2.0 CPN 形式化 建模 
一种基于UML 2.0活动图的Web服务业务流程测试方法被引量：1
《山东科学》2010年第4期56-60,共5页宋朝云 张峻 
UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测...
关键词：UML2.0 活动图 BPEL 软件测试 测试用例 
ConcurTaskTrees任务建模的UML2.0表示
《计算机时代》2010年第5期8-9,12,共3页王泽 王智群 
ConcurTaskTrees是一种具有代表性且广泛应用的图形化任务建模方法,它是用户界面设计的重要组成部分。UML2.0建模语言缺少对交互式用户界面设计的支持,将ConcurTaskTrees引入到UML2.0中能极大地提高软件设计的质量,但是目前还没有一致...
关键词：ConcurTaskTrees UML2.0 活动图 任务 
基于UML2.0的软件安全测试方法被引量：1
《武汉大学学报（理学版）》2010年第2期165-169,共5页张琛 段振华 
国家自然科学基金资助项目(60873018)
提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2....
关键词：软件安全测试 UML2.0序列图 测试用例 事件迁移图 
一种Concur任务树转化为UML2.0的方法被引量：1
《计算机工程》2009年第11期46-48,共3页王智群 
国家自然科学基金资助项目(60872057);浙江省自然科学基金资助项目(Y1080212);湖州市自然科学基金资助项目(2008YZ07);湖州师范学院科研基金资助项目(kx24029)
Concur任务树是一种具有代表性的图形化用户界面任务建模方法。UML2.0缺少对用户界面设计的支持,针对该问题在UML2.0中引入Concur任务树。利用基于元模型的扩展机制对UML2.0活动图进行扩展,建立Concur任务树的元模型及其表示法。应用结...
关键词：Concur任务树 统一建模语言2.0 活动图 任务 
基于时序逻辑的UML2．0通信图语义研究被引量：1
《计算机工程与设计》2008年第21期5601-5604,共4页张姝 戎玫 张广泉 
江苏省高校自然科学基金项目(05KJB520119);重庆市自然科学基金项目(CSTC2006BB2259)
UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证。XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义。在定义UML2.0通信图的...
关键词：UML2.0 通信图 时序逻辑 形式化语法 形式化语义 XYZ/E 
面向服务体系结构的图形化建模研究被引量：1
《计算机工程与设计》2008年第13期3454-3457,3484,共5页沈美娥 王铁峰 刘京志 张韬 应时 
国家自然科学基金项目(60773006);北京市2007年度科技发展计划基金项目(KM200710772003)
面向服务体系结构是一种面向互联网的分布式体系结构,对其建模和分析对于面向服务应用的构建是一个重要的研究课题。利用UML2.0的扩展机制提出了一种SOA的图形化建模方法。分别就SOA的结构和行为定义了若干建模元素,并为其定义了相应的...
关键词：面向服务体系结构 图形化建模 服务结构 服务行为 UML2.0 
动静态信息相结合的UML2.0序列图逆向生成方法
《计算机科学》2008年第8期269-272,共4页梁若莹 陈平 胡圣明 刘鹏飞 
国家教育部博士点基金(项目编号:20030701009):面向对象逆向工程工具研究;国家自然科学基金(项目编号:60473063);研究生创新基金(编号05009)
符合UML2.0标准的序列图在UML1.x序列图的基础上添加了控制流信息。为此,本文提出一种基于动静态信息相结合的UML2.0序列图逆向生成方法。该方法首先利用目标程序运行时的动态信息产生基本的方法调用序列,然后依据静态的程序依赖图对其...
关键词：逆向工程 程序理解 序列图 UML2.0 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部