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

作者：郭伟北京工业大学

学位级别：硕士

随着工业的飞速发展、信息技术的不断进步，计算机信息系统在各个行业得到广泛应用。保证软件可靠性，提高软件的质量是软件研究的重要组成部分。目前，根据工业需求复杂度和规模的增加，软件系统的规模和业务逻辑逐渐增加，出现软件需... 详细信息

随着工业的飞速发展、信息技术的不断进步，计算机信息系统在各个行业得到广泛应用。保证软件可靠性，提高软件的质量是软件研究的重要组成部分。目前，根据工业需求复杂度和规模的增加，软件系统的规模和业务逻辑逐渐增加，出现软件需求前后逻辑不一致的情况增多，造成开发的软件具有许多安全隐患。因此，保证软件需求前后逻辑一致性是保障软件可靠性，提高软件的质量的重要途径。在软件开发流程中引用形式化分析方法进行需求分析，检验软件需求前后逻辑一致性是提高软件质量的有效方法。　　uml是当前软件开发中最为流行的可视化建模语言，已在软件的分析和设计中得到了普遍的应用。由于uml是半形式化的描述语言，多数描述采用自然语言，使uml模型缺乏精确的语义，容易产生理解分歧。另外，uml本身缺乏完善的模型检查能力和有效的验证、推理机制。软件形式化分析方法以数学为基础，能够对目标建立无二义性、精确的语义。但是形式化方法由需求直接构建形式化描述比较困难，使得目前软件分析形式化方法的研究特别是使用仍然局限在较小的范围中。B方法是一种软件形式化分析方法，通过严格的推理和证明发现需求前后逻辑不一致的问题。根据B方法的具体模型接近于计算机的表达方式，B的具体模型容易开发出软件代码自动生成工具，并在工业中得到了广泛的应用。本文提出的基于B方法的软件uml形式化分析方法，通过将uml模型图转换为B方法的抽象模型，得到uml形式化分析方法，即能根据抽象模型对需求进行形式化证明，又能降低由需求文档直接得到B方法抽象模型的使用难度，因此，基于B方法的软件uml形式化分析模型更具有效率，提高需求分析中的可靠性，保证软件的质量。　　本文在分析研究软件开发中的uml建模和形式化分析方法的基础上，在uml形式化分析方面进行研究，作了如下研究工作：　　1、提出了基于B方法的uml形式化分析模型。根据uml易于使用、图形化建模的特点，将uml模型图转化为B方法的抽象模型，运用B方法的逻辑证明方法，及时发现需求分析中的不一致性，以便降低设计中出现问题的风险。并且由uml模型图转换为B抽象模型降低了由需求分析直接得到B抽象模型的难度，提高了形式化分析的效率。　　2、本文研究了uml类图、用例图转换为B抽象模型的方法。根据面向对象中类和B方法中的抽象机的相似性质、类之间的关系和B方法中的抽象机组织机制的相似性，实现类图到B方法的转换;将uml中的参与者、用例看作特殊的类从而实现用例图到B方法的转换。　　3、运用本文提出的uml形式化分析模型对订单系统进行实例分析。详细介绍模型的应用方法，并利用B方法工具Atelier B对系统进行逻辑证明，以发现在该系统需求分析前后逻辑定义不一致的问题。

关键词：软件开发 uml模型 B方法形式化分析质量保障

来源：评论

学校读者我要写书评

暂无评论

基于uml活动图模型的测试用例生成方法的研究

基于UML活动图模型的测试用例生成方法的研究

引用

作者：粘新育山东大学

学位级别：硕士

测试用例的设计与生成是软件测试的重点和难点之所在，其本质是如何依据一种以适当方式描述的软件规格说明来设计和生成有效的测试用例。近年来，随着面向对象技术的成熟和广泛应用，基于统一建模语言uml的软件测试方法成为研究的热点... 详细信息

测试用例的设计与生成是软件测试的重点和难点之所在，其本质是如何依据一种以适当方式描述的软件规格说明来设计和生成有效的测试用例。近年来，随着面向对象技术的成熟和广泛应用，基于统一建模语言uml的软件测试方法成为研究的热点，并取得了不少重要的研究成果。本课题旨在针对一般大型、复杂软件所共有的交互性特征，重点研究基于uml活动图模型的测试用例设计与生成方法，并实现了一个与uml建模工具Rational Rose相集成的软件测试用例设计与辅助生成工具。本文首先对uml以及基于模型的测试方法做了简单介绍，指出uml模型用于指导测试的优势所在，并分析了uml各种模型及其可测试性和测试策略。进而指出活动图模型不仅是进行业务需求分析和系统设计的有力工具，同时也是系统测试的重要依据。基于上述分析，本文重点研究了基于uml活动图模型的测试用例设计与生成方法。对测试用例、测试场景等相关概念和技术进行了介绍，给出了基于uml活动图模型生成测试用例的总体策略，包括基于活动图模型控制流结构的测试场景生成和针对活动的输入量的测试数据生成。在测试场景生成部分，本文针对活动图模型的结构化问题提出了对象流处理方法及并发模块的实例化方法；在测试数据生成中，则针对测试数据的描述与生成组合问题，为活动图模型定义了测试剖面，用于描述活动图模型中活动结点的输入输出等测试相关信息，并提出了改进的轮转法以实现测试数据的组合。最后，本课题实现了基于uml活动图模型的测试用例自动生成工具，为测试人员提供了测试剖面定义、测试大纲及测试用例生成功能，并提供了一个管理和使用测试大纲与测试用例的平台。

关键词：软件测试测试用例自动生成 uml模型测试场景测试剖面

来源：评论

学校读者我要写书评

暂无评论

基于uml活动图和协作图模型的建模与测试方法的研究

基于UML活动图和协作图模型的建模与测试方法的研究

引用

作者：叶林华中科技大学

学位级别：硕士

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,使得传统的软件测试技术以不再适用于面向对象的软件测试。而统一建模语言uml的出现成为面向对象技术的的强有力的推动力量,以及其具有定义良好、易于表达和功能强大的特点,... 详细信息

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,使得传统的软件测试技术以不再适用于面向对象的软件测试。而统一建模语言uml的出现成为面向对象技术的的强有力的推动力量,以及其具有定义良好、易于表达和功能强大的特点,使得基于uml模型的软件测试逐渐成为研究的热点。软件在军事国防、国民经济和社会生活等方面的应用越来越广泛和深入,软件的质量也就显得越来越重要。而软件测试和验证是保证软件正确性和提高软件可靠性的最基本和最重要的手段。鉴于软件测试的重要性和自动化测试的要求,现有的测试方法已经不能够满足当前软件测试的要求。而现在软件测试发展的趋势是基于模型的测试方法,尤其是基于uml测试方法的测试,所以给出一种基于uml活动图和协作图模型的测试方法。面向对象技术虽然有许多优点,然而面向对象技术本身所具有的封装性、继承性和多态性等特点,给面向对象的软件测试带来了一定的困难。在对uml统一建模语言做详细分析后,给出了uml模型在测试方面的优势;并对uml各模型图如用例图、顺序图、协作图和活动图等在测试方面做了分析,同时对基于uml测试的关键技术做了详细的论述,这些关键技术包括测试场景、测试数据和测试脚本等。基于uml建模工具在软件设计和测试上的广泛应用,给出了uml建模工具的设计和实现方法。首先给出了uml建模工具的体系结构设计和系统功能设计,并在关键技术的基础上实现了uml建模工具,并对uml建模工具的可视化界面做了详细设计;在设计和实现了uml建模工具之后,给出了uml建模工具使用的示例。基于上述的分析,给出了基于uml活动图和协作图的测试方法的逻辑结构图,同时基于这种方法以调试工具为测试对象;分析了测试环境之后,先对调试工具进行了uml用例图和活动图的建模,然后给出了测试场景的生成方法,通过测试场景可以得到测试脚本和测试用例的生成;接着对测试数据的生成做了详细的分析;最后通过得到的测试结果进行了分析。

关键词：软件测试 uml模型测试脚本测试数据测试场景

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的uml形式化验证的研究

基于模型检测的UML形式化验证的研究

引用

作者：雷博西安理工大学

学位级别：硕士

uml作为一种软件面向对象分析和设计的建模语言，已经得到了广泛的应用，但是，在软件的设计过程中，难免会引入一些错误。传统的软件测试方法是在软件开发完成之后进行的，而如果能够在软件开发早期对系统设计进行形式化验证，这样既... 详细信息

uml作为一种软件面向对象分析和设计的建模语言，已经得到了广泛的应用，但是，在软件的设计过程中，难免会引入一些错误。传统的软件测试方法是在软件开发完成之后进行的，而如果能够在软件开发早期对系统设计进行形式化验证，这样既能保证软件的可靠性，还可以提高开发效率，节约开发成本。模型检测技术是一种主流的形式化验证方法，目前已经在硬件和协议验证方面取得了成功，利用模型检测技术对软件进行形式化验证成为近年来研究的一个热点。\n 本文针对如何利用模型检测技术对软件设计阶段的uml模型进行形式化验证这一问题进行了研究，在汲取前人的经验和教训的基础上，提出了一套形式化转换规则，改进了一种uml模型动态特性的一致性验证方法，主要包括三个方面的工作:\n 首先，阐述了模型检测工具SPIN的工作原理和特点，分析了选取SPIN作为模型检测工具的优势，并且对其输入语言Promela和线性时态逻辑LTL进行了深入的分析;\n 其次，选取了一个包括类图、状态图和协作图在内的uml子集，从中提取系统的静态和动态信息，并且提出了一套形式化转换规则，将其转换为模型检测工具SPIN所支持的Promela模型，对系统进行验证;\n 最后，基于uml2.0顺序图所引入的交互片断，改进了一种uml模型动态特性的一致性验证方法，在此方法中，对状态图的形式化转换尝试使用基于XYZ/E的中间方法，通过验证状态图所对应的Promela模型是否满足顺序图所对应的LTL公式来达到验证一致性的目的。

关键词： uml模型工作原理状态图数据信息软件测试

来源：评论

学校读者我要写书评

暂无评论

基于uml的警务区工作精细化管理评价系统的模型设计

引用

潍坊学院学报 2011年第4期11卷 32-35页

作者：周金玲潍坊学院山东潍坊261061

警务区工作精细化管理评价系统是在现有业务系统的基础上,针对基层民警的日常工作和信息化水平,结合一套科学有效的运行管理机制和考核办法,实现对基层民警的日常工作管理,并基于uml对系统进行了需求分析和模型设计。

关键词：精细化管理警务区工作 uml模型

来源：评论

学校读者我要写书评

暂无评论

基于uml的联合作战指挥控制模型

基于UML的联合作战指挥控制模型

引用

第四届全国虚拟现实与可视化学术会议

作者：陈祥国陈锋海军大连舰艇学院(大连)

联合作战是现代高科技战争中的重要作战形式,其指挥控制十分复杂.运用统一建模语言uml对联合作战指挥控制进行建模和分析,通过标准视图把联合作战中指挥控制中的对象及关系、主要行为和指挥控制流程进行建模,对于理解和分析联合作战指... 详细信息

联合作战是现代高科技战争中的重要作战形式,其指挥控制十分复杂.运用统一建模语言uml对联合作战指挥控制进行建模和分析,通过标准视图把联合作战中指挥控制中的对象及关系、主要行为和指挥控制流程进行建模,对于理解和分析联合作战指挥控制具有理论和实现意义.

关键词：联合作战指挥控制 uml模型统一建模语言计算机仿真

来源：评论

学校读者我要写书评

暂无评论

基于uml的公文处理系统需求分析和业务模型

基于UML的公文处理系统需求分析和业务模型

引用

中南六省自动化学会第二十三届学术年会

作者：江河中共湖南省委办公厅信息技术中心湖南长沙410011

公文处理是电子政务建设中的关键部分.本文利用面向对象的软件工程方法,深入分析了机关单位公文处理需求特点,指出当前公文处理系统设计中的问题.详细讨论了公文处理流程、角色、公文状态和公文类等关健部分,建立了公文处理系统的uml模... 详细信息

公文处理是电子政务建设中的关键部分.本文利用面向对象的软件工程方法,深入分析了机关单位公文处理需求特点,指出当前公文处理系统设计中的问题.详细讨论了公文处理流程、角色、公文状态和公文类等关健部分,建立了公文处理系统的uml模型,利用该模型设计的公文处理系统已在一些党政军机关应用,产生了良好的效果.

关键词：电子政务公文处理需求分析 uml模型软件工程

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程与设计 2004年第11期25卷 1969-1972页

作者：王涛徐锡山颜炯国防科技大学计算机学院湖南长沙410073

软件可靠性测试是高可靠软件质量保证的重要过程,而软件使用模型则是进行软件可靠性测试的基础。uml(Unified Modeling Language)作为事实上的工业标准,在软件开发中得到了日益广泛的应用。研究基于uml的软件可靠性测试具有很强的现实... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

基于uml的时空建模

引用

东北大学学报（自然科学版） 2018年第9期39卷 1221-1225页

作者：陈旭张富曹东霞东北大学计算机科学与工程学院辽宁沈阳110169

现实世界中存在大量的时空数据,时空数据的管理对时空建模提出了更高的要求,因此成为当前许多领域的研究热点.uml作为众多领域广泛使用的统一建模语言,基于uml的时空扩展模型也成为许多领域时空建模的重要形式.为此,本文提出一种时空UM... 详细信息

现实世界中存在大量的时空数据,时空数据的管理对时空建模提出了更高的要求,因此成为当前许多领域的研究热点.uml作为众多领域广泛使用的统一建模语言,基于uml的时空扩展模型也成为许多领域时空建模的重要形式.为此,本文提出一种时空uml模型,该模型能够表示与处理时空对象的多种时空拓扑关系(包括RCC-8空间和Allen-13时态拓扑关系)以及它们之间的复杂语义关系(例如关联、聚合、泛化和依赖);同时给出了时空uml的形式化表示形式和语义解释方法.最后结合地籍变更的实例说明了所提方法的可行性和实用性.

关键词： uml模型 RCC-8空间拓扑 Allen-13时态拓扑时空数据建模

来源：评论

学校读者我要写书评

暂无评论

基于uml交互概览图的测试线索的生成方法

引用

计算机应用 2014年第1期34卷 270-275,291页

作者：曾一王翠钦李函逾洪豪重庆大学计算机学院重庆400030 软件理论与技术重庆市重点实验室重庆400030

针对单一uml模型测试不充分的问题,结合uml2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出uml类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：