检索结果-内蒙古大学图书馆

计算机工程与设计 2025年第4期46卷 1208-1218页

作者：董泽华蒋建民李朝江何清马国栋成都信息工程大学软件工程学院四川成都610200 成都信息工程大学软件自动生成与智能服务四川省重点实验室四川成都610200

为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于uml模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

uml模型向关系数据库的映射方法初探

引用

计算机工程与应用 2002年第19期38卷 212-214页

作者：张念春杨寿保江苏淮海工学院计算中心连云港222005 中国科学技术大学计算机科学与技术系合肥230026

关系数据库的数据模型变得越来越复杂,用传统方法分析和描述变得越来越困难,在数据密集型的应用系统中,应用逻辑与数据存储存在差异,不利于开发人员的交流和开发过程的管理,这是文章考虑把对象技术引入关系数据库逻辑设计的出发点。统... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

uml模型中并发对象的组合验证

引用

计算机科学 2005年第7期32卷 231-233,F004页

作者：董威王戟齐治昌国防科技大学计算机学院

本文在用层次自动机结构化表示uml Statecharts的基础上,定义了uml协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对uml协同图进行模型检验的过程中不必建立系统的全... 详细信息

本文在用层次自动机结构化表示uml Statecharts的基础上,定义了uml协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对uml协同图进行模型检验的过程中不必建立系统的全局状态图,以缓解状态爆炸问题。

关键词：并发对象 uml模型 Statecharts 验证组合同步合成模拟关系对象系统模型检验状态爆炸结构化自动机状态图协同

来源：评论

学校读者我要写书评

暂无评论

uml模型和Java代码之间的一致性检测方法

引用

计算机科学 2015年第4期42卷 151-155页

作者：曾一李函逾刘慧君余双双周波重庆大学计算机学院重庆400030 软件理论与技术重庆市重点实验室重庆400030

针对代码与模型之间的不一致性问题,提出了一种基于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代码时序调用图方法调用图一致性检测

来源：评论

学校读者我要写书评

暂无评论

uml模型测试策略及在软件测试中的应用

引用

微计算机信息 2008年第3期24卷 287-289页

作者：陈平池同柱河南工业职业技术学院计算机工程系

组件技术在软件开发中的应用日益广泛,同时对软件系统质量也有着越来越高的要求。因此,保证软件系统可靠性的软件测试技术显得益发重要。本文分析了组件系统的特点,从整体上研究了基于uml模型的组件测试方法,给出基于uml模型的测试策略... 详细信息

组件技术在软件开发中的应用日益广泛,同时对软件系统质量也有着越来越高的要求。因此,保证软件系统可靠性的软件测试技术显得益发重要。本文分析了组件系统的特点,从整体上研究了基于uml模型的组件测试方法,给出基于uml模型的测试策略,并对部分模型图进行了可测性与测试策略分析。

关键词：组件测试 uml模型软件测试

来源：评论

学校读者我要写书评

暂无评论

uml模型与形式模型双向转换的研究

UML模型与形式模型双向转换的研究

引用

作者：颜卫华东师范大学

学位级别：硕士

uml提供了图形概念来表示面向对象软件系统的设计。在软件设计领域,它已经成为了事实上的工业标准。然而uml缺乏精确语义且是一种半形式化语言。形式化规格语言试图为软件开发提供一种精确的、完备规格说明方法。许多研究者做了许多研... 详细信息

uml提供了图形概念来表示面向对象软件系统的设计。在软件设计领域,它已经成为了事实上的工业标准。然而uml缺乏精确语义且是一种半形式化语言。形式化规格语言试图为软件开发提供一种精确的、完备规格说明方法。许多研究者做了许多研究工作来把uml模型转换到形式模型以分析和验证uml模型。但是由于很难证明形式描述和非形式描述之间的等价性,因此需要在两个领域之间进行不断的来回往复。因此需要形式模型逆向转换回到uml模型。 Z语言易于描述软件系统的静态结构,因此本文首先利用umlTranZ的方法实现了uml模型到形式模型的转换。umlTranZ方法能够将uml概念类图转换到Z模型。Z模型的主要架构是Schema,它能够形式的描述uml概念类图的语义。利用现存的形式模型分析工具可以对Z模型进行分析推理和证明。 XMI(XML Metamodel Interchange)是由OMG提供的模型交换数据格式。利用XMI提供的传送模型不同部分的机制,我们提出了一种形式模型逆向转换uml模型的转换方法。这种逆向转换方法是一种间接的逆向转换方法,它能够在最大程度上减少uml模型转换到形式模型过程中所产生的弱化影响。将这种逆向转换方法与现有正向的转换方法向结合就能成功的实现uml模型和形式模型之间的双向转换。我们还利用了UTP理论形式的证明了逆向转转换方法的正确性和可行性。对应于通过umlTranZ所得到的Z模型,我们基于一阶逻辑谓词和集合论定义了Z模型到uml概念类图的逆向转换具体映射规则。利用所定义的映射规则,可以间接的实现Z模型到uml概念类图的逆向转换。将这种逆向转换技术和umlTranZ结合在一起,我们就能实现uml和Z之间的双向转换。最后我们设计了一个模型双向转换工具,并利用Java语言开发了一个原型。

关键词： uml模型形式模型双向转换逆向转换形式化方法 UTR

来源：评论

学校读者我要写书评

暂无评论

基于uml模型的全功能点自动化度量

引用

计算机科学 2004年第5期31卷 93-95页

作者：程莉莉刘宗田上海大学计算机工程与科学学院上海200072

软件规模在项目估算和决策中起着举足轻重的作用。基于软件需求从用户角度和功能角度度量规模的全功能,点(FFP)广受欢迎,但为手工操作,弊端显而易见,所以亟需自动化度量。本文提出并实现了基于uml模型全功能点自动化度量系统,不但能得... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学 2005年第8期32卷 219-222页

作者：朱虹虹熊光泽雷航桑楠电子科技大学计算机科学与工程学院成都610054

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言uml,提出了一种基于uml模型的统计测试方法。论文首先建立了基于uml模型的统计测试过程,然后结合扩展的uml模型和使用模型的形式化描述,... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

基于uml模型的组件集成测试方法

引用

四川大学学报（自然科学版） 2007年第4期44卷 791-794页

作者：魏洁洪玫杨嘉四川大学计算机学院成都610064

统一建模语言(uml)已经广泛应用于基于组件的软件开发过程中.许多uml模型,如交互图、状态图和组件图等从不同的角度刻画了组件的行为,可将其用于基于组件的软件系统的测试.本文首先提出了一个基于uml模型的测试框架,并对基于uml模型的... 详细信息

统一建模语言(uml)已经广泛应用于基于组件的软件开发过程中.许多uml模型,如交互图、状态图和组件图等从不同的角度刻画了组件的行为,可将其用于基于组件的软件系统的测试.本文首先提出了一个基于uml模型的测试框架,并对基于uml模型的组件集成测试方法进行了比较,然后将基于协作图的组件测试技术应用于ATC系统的集成测试,取得较好效果.

关键词： uml模型基于组件的软件系统组件集成测试空中交通管制(ATC)

来源：评论

学校读者我要写书评

暂无评论

基于uml模型的系统级测试用例生成方法

引用

计算机应用 2014年第1期34卷 276-280页

作者：冯秋燕河南财经政法大学图书馆郑州450000

采用基于uml模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：