基于UML模型的用户界面自动生成

1

作者 董泽华 蒋建民 +2 位作者 李朝江 何清 马国栋 《计算机工程与设计》 北大核心 2025年第4期1208-1218,共11页

为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法... 为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法。为保证系统需求与用户界面之间的一致性,满足高可信软件的要求,提出一致性分析与检测方法。不同于传统低代码开发平台的拖、拉、拽操作方式,只需要建立软件系统领域概念模型和用例模型,即可全自动生成用户界面。以实例验证了该方法的可行性。 展开更多

关键词 uml模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件

在线阅读 下载PDF 职称材料

UML模型和Java代码之间的一致性检测方法 被引量：6

2

作者 曾一 李函逾 +2 位作者 刘慧君 余双双 周波 《计算机科学》 CSCD 北大核心 2015年第4期151-155,共5页

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序... 针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。 展开更多

关键词 uml模型 JAVA代码 时序调用图 方法调用图 一致性检测

在线阅读 下载PDF 职称材料

UML模型形式化B方法转换的实现 被引量：6

3

作者 夏志翔 徐中伟 +1 位作者 陈祖希 张元玲 《计算机应用与软件》 CSCD 2011年第11期15-20,共6页

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系... UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。 展开更多

关键词 B方法 uml模型 用例图 顺序图

在线阅读 下载PDF 职称材料

基于UML模型的多态性与Java接口代码信息一致性检测的方法 被引量：5

4

作者 余双双 曾一 +1 位作者 刘慧君 杨燕宁 《计算机应用与软件》 2017年第2期8-13,47,共7页

UML模型是面向对象系统开发常用的建模语言,在由模型生成代码的过程中常常出现不一致问题,从而造成系统后期测试成本以及维护成本的增加。而UML模型中的多态性因执行路径的不确定性会对模型与代码的一致性产生重要影响,因此针对此问题... UML模型是面向对象系统开发常用的建模语言,在由模型生成代码的过程中常常出现不一致问题,从而造成系统后期测试成本以及维护成本的增加。而UML模型中的多态性因执行路径的不确定性会对模型与代码的一致性产生重要影响,因此针对此问题提出以UML模型为基准,针对多态特性,对UML模型类图、时序图以及Java接口代码信息进行解析预处理从而获取时序调用图以及代码调用图,并对其进行多态性扩展。根据模型的信息来对代码的信息进行检测,如果出现不一致问题时根据模型信息对代码信息进行修改。通过以上提出的方法能够更加完善模型与代码的一致性检测,使检测更为有效、精准。 展开更多

关键词 uml模型 多态性 多态性扩展 一致性检测

在线阅读 下载PDF 职称材料

UML模型向关系数据库的映射方法初探 被引量：7

5

作者 张念春 杨寿保 《计算机工程与应用》 CSCD 北大核心 2002年第19期212-214,共3页

关系数据库的数据模型变得越来越复杂,用传统方法分析和描述变得越来越困难,在数据密集型的应用系统中,应用逻辑与数据存储存在差异,不利于开发人员的交流和开发过程的管理,这是文章考虑把对象技术引入关系数据库逻辑设计的出发点。统... 关系数据库的数据模型变得越来越复杂,用传统方法分析和描述变得越来越困难,在数据密集型的应用系统中,应用逻辑与数据存储存在差异,不利于开发人员的交流和开发过程的管理,这是文章考虑把对象技术引入关系数据库逻辑设计的出发点。统一建模语言UML是对象建模技术的发展结晶,可用于数据库的数据模型分析。通过技巧性的方法,可把UML模型映射到关系数据库,从而在数据库领域得到对象技术的诸多益处。 展开更多

关键词 uml模型 关系数据库 映射方法 统一建模语言 对象建模技术

在线阅读 下载PDF 职称材料

基于UML模型的系统级测试用例生成方法 被引量：5

6

作者 冯秋燕 《计算机应用》 CSCD 北大核心 2014年第1期276-280,共5页

采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、... 采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测试。 展开更多

关键词 uml模型 软件测试 用例图 顺序图 测试用例

在线阅读 下载PDF 职称材料

基于UML模型的全功能点自动化度量 被引量：7

7

作者 程莉莉 刘宗田 《计算机科学》 CSCD 北大核心 2004年第5期93-95,共3页

软件规模在项目估算和决策中起着举足轻重的作用。基于软件需求从用户角度和功能角度度量规模的全功能,点(FFP)广受欢迎,但为手工操作,弊端显而易见,所以亟需自动化度量。本文提出并实现了基于UML模型全功能点自动化度量系统,不但能得... 软件规模在项目估算和决策中起着举足轻重的作用。基于软件需求从用户角度和功能角度度量规模的全功能,点(FFP)广受欢迎,但为手工操作,弊端显而易见,所以亟需自动化度量。本文提出并实现了基于UML模型全功能点自动化度量系统,不但能得到精确的量化结果,而且能减轻工作量、降低花费,以及很大程度上避免抽取数据及度量过程中差错所造成的风险,更重要的是具有可重复性,从而易于功能规模度量方法的推广。 展开更多

关键词 uml模型 自动化度量 全功能点 规模度量 统一建模语言 FFP

在线阅读 下载PDF 职称材料

基于多个域的UML模型的一致性检测 被引量：1

8

作者 许培嘉 赵合计 《计算机工程与设计》 CSCD 北大核心 2005年第5期1355-1357,1372,共4页

任何模型的表示都是要有意义的、一致的,通常的解决办法是加强约束。给出了在当前软件开发过程中的解决方案。约束和语义的关系是一致性检测的基础。对建模过程中模型受到的各个域的约束进行分级:从专家系统的知识根基中引入即成建模规... 任何模型的表示都是要有意义的、一致的,通常的解决办法是加强约束。给出了在当前软件开发过程中的解决方案。约束和语义的关系是一致性检测的基础。对建模过程中模型受到的各个域的约束进行分级:从专家系统的知识根基中引入即成建模规则并且用约束构造型定义了不一致性的类型、级别和严重程度,因此可以向用户发出警告并且帮助用户改正甚至完善模型。 展开更多

关键词 一致性 域 uml模型 建模规则 软件开发

在线阅读 下载PDF 职称材料

基于UML模型的统计测试方法研究

9

作者 朱虹虹 熊光泽 +1 位作者 雷航 桑楠 《计算机科学》 CSCD 北大核心 2005年第8期219-222,共4页

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,... 为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。 展开更多

关键词 统计测试 使用模型 uml模型 马尔可夫链 有限状态机 测试方法 统一建模语言uml 形式化描述 可测试性 工业标准

在线阅读 下载PDF 职称材料

从用例驱动UML模型中获取用例切片

10

作者 易福华 罗燕京 +2 位作者 王悠 姜海森 田伟华 《计算机工程与科学》 CSCD 2006年第z2期27-30,共4页

当前,面向方面技术正在快速发展,同时面向对象技术也在深入应用.一种既支持用例驱动的对象建模也支持用例驱动的方面建模,并能在一定的规则下进行有效转换的方法也变得更为迫切.用例切片是用例驱动AOSA的重要分析对象.本文主要研究如何... 当前,面向方面技术正在快速发展,同时面向对象技术也在深入应用.一种既支持用例驱动的对象建模也支持用例驱动的方面建模,并能在一定的规则下进行有效转换的方法也变得更为迫切.用例切片是用例驱动AOSA的重要分析对象.本文主要研究如何从用例驱动UML模型中获取用例切片元素,构建用例切片和非用例特定切片,从而支持方面和对象"双视角"的用例驱动软件建模. 展开更多

关键词 用例驱动 uml模型 AOP 用例切片

在线阅读 下载PDF 职称材料

基于UML的软件使用模型生成技术研究

11

作者 王涛 徐锡山 颜炯 《计算机工程与设计》 CSCD 2004年第11期1969-1972,共4页

软件可靠性测试是高可靠软件质量保证的重要过程,而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准,在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实... 软件可靠性测试是高可靠软件质量保证的重要过程,而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准,在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型,如用例图、顺序图、活动图,可以生成软件使用模型,进而可据此产生测试用例。 展开更多

关键词 软件可靠性测试 软件使用 uml模型 软件开发 模型生成 顺序图 软件质量保证 过程 现实意义 技术研究

在线阅读 下载PDF 职称材料

基于UML的软件测试用例自动生成技术研究 被引量：11

12

作者 黄陇 陈致明 +1 位作者 于洪敏 于秀山 《计算机应用与软件》 CSCD 北大核心 2004年第11期16-17,113,共3页

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试... 测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。 展开更多

关键词 uml模型 测试用例 软件测试 自动生成技术 测试场景 覆盖准则 软件自动化 定义 建模工具 产生

在线阅读 下载PDF 职称材料

OCL与Object-Z作为UML约束语言的分析比较 被引量：4

13

作者 陈怡海 缪淮扣 《计算机科学》 CSCD 北大核心 2004年第12期182-185,共4页

UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,... UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模。 展开更多

关键词 OBJECT-Z uml模型 OCL 面向对象建模语言 对象约束语言 规格说明 系统 分析比较 人员 标准

在线阅读 下载PDF 职称材料

基于UML交互概览图的测试线索的生成方法 被引量：1

14

作者 曾一 王翠钦 +1 位作者 李函逾 洪豪 《计算机应用》 CSCD 北大核心 2014年第1期270-275,291,共7页

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点... 针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。 展开更多

关键词 uml模型 交互概览图 流程信息 覆盖准则 测试线索

在线阅读 下载PDF 职称材料

一种基于UML类图和活动图的故障树生成方法 被引量：3

15

作者 徐慧 燕雪峰 周勇 《计算机科学》 CSCD 北大核心 2016年第7期180-185,共6页

针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障... 针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素。基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树。经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径。 展开更多

关键词 uml模型 活动图模型 类图模型 故障树

在线阅读 下载PDF 职称材料

面向模型检测的LTL语句自动生成方法 被引量：2

16

作者 段喜龙 陆智伟 +3 位作者 郑巍 陈晋升 樊鑫 肖鹏 《计算机工程与设计》 北大核心 2023年第8期2337-2344,共8页

为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中... 为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中的状态进行归类,将模型中的状态分为数据属性类和调用操作类,利用配对的线性时态逻辑格式生成线性时态逻辑,用于软件模型一致性验证。实验结果表明,该方法与ST模型相比可以提高模型检测的效率。 展开更多

关键词 自然语言处理 模型一致性 线性时态逻辑 uml模型 形式化验证工具 模型验证 模型注释

在线阅读 下载PDF 职称材料

基于UML活动图的软件可靠性预测方法 被引量：1

17

作者 苏岳 李蜜 +1 位作者 汪文心 张德平 《计算机科学》 CSCD 北大核心 2015年第S1期531-536 560,560,共7页

以构件化的软件开发方法为背景,提出了一种能自动将UML活动图转换为模型Markov链的可靠性预测方法。该方法基于构件化的软件体系结构,从UML的活动图和顺序图出发,通过构造一个名为"控制结构转移图"的中间模型,将标注了可靠性... 以构件化的软件开发方法为背景,提出了一种能自动将UML活动图转换为模型Markov链的可靠性预测方法。该方法基于构件化的软件体系结构,从UML的活动图和顺序图出发,通过构造一个名为"控制结构转移图"的中间模型,将标注了可靠性信息的UML模型转换为Markov链,并通过递归方法自动生成测试路径,然后依据每条路径的可靠性信息来估计整个软件系统的可靠性。转换结果可以直接被现有分析方法用来进行软件可靠性预测工作,从而使分析变得高效和模型化。 展开更多

关键词 uml模型 MARKOV链 软件可靠性 模型转换 路径测试

在线阅读 下载PDF 职称材料

基于Atlas语言的数据库模型转换方法的研究 被引量：1

18

作者 张博 李亚芬 王普 《计算机工程与设计》 CSCD 北大核心 2013年第2期507-514,共8页

为了减少需求变更对软件开发的影响,提高软件开发效率和系统的可维护性,针对面向对象的数据库建设环节,在MDA思想的基础上,提出了基于元模型的UML模型到数据库模型的自动转换,建立了平台无关模型和平台相关模型的元模型,分析了Atlas的... 为了减少需求变更对软件开发的影响,提高软件开发效率和系统的可维护性,针对面向对象的数据库建设环节,在MDA思想的基础上,提出了基于元模型的UML模型到数据库模型的自动转换,建立了平台无关模型和平台相关模型的元模型,分析了Atlas的转换语言及其特点。以Web信息管理系统为例,说明了在模型转换中自动化地生成目标模型,并在一定程度上验证了MDA在软件开发中的可行性。 展开更多

关键词 模型转换 模型驱动架构 uml模型 数据库模型 Atlas转换语言

在线阅读 下载PDF 职称材料

基于统一建模语言的新型决策库模型 被引量：1

19

作者 于水 黄道 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第5期471-474,共4页

通过对 UML语言和 DSS中模型的研究 ,给出了基于 UML模型库模型的建模方法 ,并提出了可重用的

关键词 决策支持系统 标准建模语言 对象模型库 模式匹配 uml模型库 体系结构 软件开发

在线阅读 下载PDF 职称材料

面向复杂UML的Markov建模方法研究 被引量：1

20

作者 靖天才 方景龙 魏丹 《计算机工程与应用》 CSCD 北大核心 2018年第4期60-65,134,共7页

软件可靠性测试技术是保证软件质量的重要研究内容,尤其是对航空航天、金融机构等高信度复杂软件尤为重要。在现有研究的基础上,针对复杂软件UML模型场景消息粒度过大导致构建的Markov链使用模型描述软件的真实度不够的问题,提出了一种... 软件可靠性测试技术是保证软件质量的重要研究内容,尤其是对航空航天、金融机构等高信度复杂软件尤为重要。在现有研究的基础上,针对复杂软件UML模型场景消息粒度过大导致构建的Markov链使用模型描述软件的真实度不够的问题,提出了一种基于多层嵌套组合片段UML模型的Markov链使用模型的构建方法,最后结合实例对研究提出的模型构建方法做出应用分析,说明了算法的可行性,为更有效地构建Markov链使用模型提供了指导。 展开更多

关键词 可靠性测试 uml模型 嵌套组合片段 MARKOV链

在线阅读 下载PDF 职称材料