UML模型

摘要： 针对基于UML模型的软件可靠性测试方法的应用,软件可靠性模型在软件可靠性测试中的算法优化,从应用工具、数据存储方法等多个方面展开详细探讨,对软件可靠性测试中模型的选择问题进行了分析,并提出了一种将UML形态图行通过扩展算法转化为Markov链使用模型的实时测试序列和优化方法,解决了传统UML模型在软件可靠性测试过程中由于描述粒度过粗而导致的对软件可靠性描述真实度不够等问题。通过对比仿真实验分析,证实文章提出的模型同传统模型相比,预测精度和准确性较高,拟合效果较好,且可扩展性更强,从而达到软件可靠性增长模型的预测功能。

摘要： 为应对装备计量保障中涉及的多类信息管理混乱的问题,本文以信息化管理为切入点,将军民融合融入到装备全寿命管理中,设计了基于全寿命周期的军地装备计量保障信息化管理系统。该系统具有强大的数据存储、查询及分析功能,能够有效提高装备计量保障工作的效率和质量。

摘要： 以某矿西部轨道运输大巷西一料车场与西二料车场的进出车交叉点为背景,阐述进行局控系统设计,用UML语言对嵌入式控制器建模,模型主要包括用例图、部署图、类图、状态图以及顺序图。

摘要： 以某矿西部轨道运输大巷西一料车场与西二料车场的进出车交叉点为背景,阐述进行局控系统设计,用UML语言对嵌入式控制器建模,模型主要包括用例图、部署图、类图、状态图以及顺序图.

摘要： 为解决统一建模语言(UML,unified modeling language)模型与源代码一致性检测缺少动态分析的问题,讨论了一种基于有限状态机(FSM,finite state machine)的UML模型与代码一致性动态检测方法.该方法执行源代码并捕获方法调用跟踪,将捕获的方法调用与UML顺序图转换得到的FSM进行匹配,以此来检测动态行为的一致性.在三个开源项目上进行了实验,分别发现了31、45和69处不一致,检出率分别达到93.94％、88.24％和90.79％.实验结果表明,在基于图论的一致性静态检测的基础上,该方法可以对UML模型与代码的一致性进行动态检测,且具有较高的检测准确率.

摘要： 本文分析了传统软件需求分析技术的弊端,并提出使用可视化的软件需求分析技术来解决传统分析设计中出现的问题,通过案例详细描述了可视化建模工具UML在软件开发需求阶段中的使用方法,针对软件需求分析的主要任务,主要采用了UML中的用例模型和类图模型,分别用来描述软件系统的功能需求和数据对象需求,最后对两种需求分析技术进行了对比,总结了可视化技术的优势,并描述了其使用前景。

摘要： 以物联网、大数据应用为代表的信息技术在新型农业中得到广泛应用,促进了农业生产方式的转变.利用传感器技术收集农业信息,准确捕捉各种环境参数,对日光温室蔬菜生产系统进行智能化管理,建立不同的统一建模语言(UML)模型,帮助生产者及时检测蔬菜生长环境,为蔬菜生长发育提供良好的条件,有较大的研究价值和应用前景.本文针对日光温室蔬菜系统进行UML建模,利用蔬菜系统的抽象规则对系统进行检测,能准确识别蔬菜系统中存在的不一致问题,具有较高的检测效率,以期使建模系统更加高效、便捷,提高蔬菜生产效率.

摘要： 本文对传统的软件需求分析技术的不足进行了分析,并结合实例,对 UML 在软件开发过程中的应用进行了具体的阐述。在此基础上利用 UML 中的用例和类图两种方法,分别对软件的功能和数据对象的要求进行了描述,并比较了两者的优缺点。基于此,本文对可视化技术的优点进行了综述,并对其应用前景进行了展望。

摘要： 网络安全风险分析,是计算机网络管理领域中最具挑战的研究课题之一.网络安全风险分析过程通常是由网络安全专家完成.对于网络安全风险分析,人们可以利用很多工具,比如扫描仪和分析仪,但是对于关键风险分析过程,人们还是不可避免的需要网络安全专家的指导.现提出了一种UML网络安全威胁模型,利用该模型,可以有效降低网络风险评估人员的专业知识水平,UML模型可以有效的替代网络安全专家的安全建议.基于网络安全风险分析过程中所必须考虑的风险类,我们提出了UML类图表.UML类图表中所包含的风险类是评估安全威胁发生概率及安全威胁影响范围的基础.为了使UML模型适用于任何网络,UML类图表中所包含的类必须进行实例化,实例化的UML类组成了待分析网络的安全模型,为了对UML类进行实例化,我们需要必要的待分析网络的相关信息,这些必要的信息通常包含在一些网络文件中,或者可以通过一些自动化的网络扫描仪获取.最后,我们通过一个测试网络来对UML风险评估模型进行实践,实践结果表明,UML模型评估结果中不但包含了网络安全威胁对象,还包含了威胁对象所产生的风险值.

摘要： 随着微电子技术和超大规模集成电路飞速发展,各种技术和理念逐步应用系统开发中,嵌入式系统规模逐步扩张,现如今硬件异构程度增加、软件功能复杂化都进入了新的时期,更高的设计复杂度和群众需求的多样化,进一步缩减了系统的面市开发时间,要求系统设计中必须要更快地更新和开发,系统配置和软硬件设备一定要更快地更新,不断地提高系统的抽象层次,基于软硬件协同设计方法实现系统级设计能有效解决现有问题.系统级莫斯驱动架构为软件工程领域发展提供了明确的战略方向,为软件架构了较为完整的开发框架,UML是模型驱动架构(MDA)的核心,为整个开发过程为系统建模驱动提供保障,比对MDA和嵌入式系统软件系统设计,两者具有相似的目标和任务,基于UML的嵌入式系统系统级设计方法,就是要将软件工程成果和嵌入式系统软硬件系统设计方法有效结合,研究嵌入式系统设计方法的新发展,在UML模型实现软硬件协同的系统级,建立起完善的系统级框架与结构.

摘要： 在武器装备软件领域,随着对软件质量和软件开发效率越来越高的要求,传统软件开发方法越来越不适应,基于模型的软件开发方法越来越受到人们的重视,在基于模型的软件开发中,模型覆盖率分析技术用来判定对所建立的模型测试过程的完备性,此项技术的采用可以使得开发人员在开发的早期进行高质量软件验证活动,保证了软件质量,提高了软件开发效率.文章在研究覆盖率准则分类及覆盖率分析过程活动等理论的基础上,通过分析业界主流建模工具中模型覆盖率分析功能特点,给出了一种基于UML状态机覆盖率分析算法,指导自主研发模型覆盖率分析工具.

摘要： 在武器装备软件领域,随着对软件质量和软件开发效率越来越高的要求,传统软件开发方法越来越不适应,基于模型的软件开发方法越来越受到人们的重视,在基于模型的软件开发中,模型覆盖率分析技术用来判定对所建立的模型测试过程的完备性,此项技术的采用可以使得开发人员在开发的早期进行高质量软件验证活动,保证了软件质量,提高了软件开发效率.文章在研究覆盖率准则分类及覆盖率分析过程活动等理论的基础上,通过分析业界主流建模工具中模型覆盖率分析功能特点,给出了一种基于UML状态机覆盖率分析算法,指导自主研发模型覆盖率分析工具.

摘要： 在武器装备软件领域,随着对软件质量和软件开发效率越来越高的要求,传统软件开发方法越来越不适应,基于模型的软件开发方法越来越受到人们的重视,在基于模型的软件开发中,模型覆盖率分析技术用来判定对所建立的模型测试过程的完备性,此项技术的采用可以使得开发人员在开发的早期进行高质量软件验证活动,保证了软件质量,提高了软件开发效率.文章在研究覆盖率准则分类及覆盖率分析过程活动等理论的基础上,通过分析业界主流建模工具中模型覆盖率分析功能特点,给出了一种基于UML状态机覆盖率分析算法,指导自主研发模型覆盖率分析工具.

摘要： 在武器装备软件领域,随着对软件质量和软件开发效率越来越高的要求,传统软件开发方法越来越不适应,基于模型的软件开发方法越来越受到人们的重视,在基于模型的软件开发中,模型覆盖率分析技术用来判定对所建立的模型测试过程的完备性,此项技术的采用可以使得开发人员在开发的早期进行高质量软件验证活动,保证了软件质量,提高了软件开发效率.文章在研究覆盖率准则分类及覆盖率分析过程活动等理论的基础上,通过分析业界主流建模工具中模型覆盖率分析功能特点,给出了一种基于UML状态机覆盖率分析算法,指导自主研发模型覆盖率分析工具.

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

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

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

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

摘要： UML模型主要用于描述系统的结构和行为，不适用于描述软件测试的相关内容，如测试配置、测试过程等，所以Object Management Group 组织提出了UML Testing Profile 来支持模型驱动的测试。本文介绍了UTP的特点、基本概念和结构，讨论了从设计模型到测试模型的转化、UTP测试模型到可执行测试语言转化技术以及基于UTP的测试流程，最后指出了该领域存在的主要问题及难点，对未来的工作进行了展望。

摘要： UML模型主要用于描述系统的结构和行为，不适用于描述软件测试的相关内容，如测试配置、测试过程等，所以Object Management Group 组织提出了UML Testing Profile 来支持模型驱动的测试。本文介绍了UTP的特点、基本概念和结构，讨论了从设计模型到测试模型的转化、UTP测试模型到可执行测试语言转化技术以及基于UTP的测试流程，最后指出了该领域存在的主要问题及难点，对未来的工作进行了展望。

摘要： 本发明提供了一种从Simulink模型转换至UML模型的方法，通过建立Simulink模型的模型元素和UML模型的模型元素之间的对应关系，建立Simulink源元模型架构和UML目标元模型架构，从而根据Simulink源元模型和UML目标元模型确定Simulink模型转换至UML模型的转换方法。本发明确定了Simulink模型元素与UML模型元素的对应关系，简化了模型转换的复杂性，解决了在CPS系统中，通用建模过程领域细化问题和计算过程和物理过程融合的问题，解决了Simulink在需求建模上的弱势以及UML模型在表达控制，算法建模方面的缺陷，两者优势互补，扬长避短，提高模型开发的效率。

摘要： 本发明公开了一种从UML软件模型到排队网络模型的转换方法。该方法在软件系统的UML模型基础之上，加入构造型和标记值使之转化为带标注的UML图，生成UMLSPT模型，同时考虑了UML活动图中有分支节点和汇合节点的情况，将UMLSPT模型中的元素按照转换算法一一映射到排队网络生成排队网络模型。利用这个基于UML软件模型到排队网络模型的转换方法，得到软件系统的排队网络模型，从而计算出软件性能参数值，实现软件性能预测。本发明所设计基于UML软件模型到排队网络模型的方法由于考虑到了UML活动图中有分支节点和汇合节点的情况符合系统的并发性，因此对软件性能预测更加准确。

摘要： 本发明涉及嵌入式集成开发环境技术，主要是实现一种从UML模型转换至SmartC模型的转换方法。本发明一种从UML模型转换至SmartC模型的转换方法，包括如下步骤：1)分析UML模型中的对象图和状态图，提取UML模型状态图中状态与转移条件可执行代码中的OSEK标准API；2)分析OSEK标准API中涉及不同实体之间交互的函数，并以此为标准，将UML状态图转换成为支持OSEK标准的SmartC模型。本发明分析了UML模型的总体特点，从所有的模型图中提取出对象图与状态图两种模型用于模型转换，而不需要分析UML中的所有模型。由于SmartC擅长描述汽车电子领域，UML语言擅长于描述通用建模过程，该模型转换策略的出现，解决了在汽车电子领域，通用建模过程领域细化的问题。

摘要： 本发明提供了一种从目标模型到UML需求模型转化方法，包括以下步骤：(1)完成对目标模型的标注，使目标模型可以完成转换；(2)设计转换规则和转换算法，将目标模型向UML进行映射；(3)验证转换方法的正确性。在本发明中，提出了一种从目标模型到UML模型的转换方法Goal2UML，此方法可以用户需求提取的基础上，实现用户需求到系统需求的平滑过渡。通过CoCoME案例研究表明，本文提出的方法可以将84.1％的用户需求信息可以自动的转换到系统需求模型中，这将大大减少构建系统需求模型的工作量，进一步用户可完善系统需求模型，并结合RM2PT需求原型化工具，实现需求确认与迭代演化。

摘要： 本发明公开了一种基于simulink模型到UML模型转换的方法。包括如下步骤：用UML模型构建整个嵌入式控制系统的PIM模型；用simulink构建目标嵌入式控制系统的控制部分的模型，simulink控制模型经过转换导入用UML构建的PIM中，从而构建起目标嵌入式控制软件的完整平台无关模型PIM；结合目标系统运行平台，生成平台相关模型PSM。本发明通过基于simulink模型到UML模型控制算法与实现相分离，不需要软件实现人员的深度参与；应用与平台相独立；系统设计模型化；系统实现自动化；有基于验证的可靠性保障，基于该方法的开发中，开发人员能在系统设计的每一个阶段对系统的设计进行验证，早期的验证可以防止错误的传递。

摘要： 本发明提供了一种从Simulink模型转换至UML模型的方法，通过建立Simulink模型的模型元素和UML模型的模型元素之间的对应关系，建立Simulink源元模型架构和UML目标元模型架构，从而根据Simulink源元模型和UML目标元模型确定Simulink模型转换至UML模型的转换方法。本发明确定了Simulink模型元素与UML模型元素的对应关系，简化了模型转换的复杂性，解决了在CPS系统中，通用建模过程领域细化问题和计算过程和物理过程融合的问题，解决了Simulink在需求建模上的弱势以及UML模型在表达控制，算法建模方面的缺陷，两者优势互补，扬长避短，提高模型开发的效率。

摘要： 本发明公开了一种从UML软件模型到排队网络模型的转换方法。该方法在软件系统的UML模型基础之上，加入构造型和标记值使之转化为带标注的UML图，生成UMLSPT模型，同时考虑了UML活动图中有分支节点和汇合节点的情况，将UMLSPT模型中的元素按照转换算法一一映射到排队网络生成排队网络模型。利用这个基于UML软件模型到排队网络模型的转换方法，得到软件系统的排队网络模型，从而计算出软件性能参数值，实现软件性能预测。本发明所设计基于UML软件模型到排队网络模型的方法由于考虑到了UML活动图中有分支节点和汇合节点的情况符合系统的并发性，因此对软件性能预测更加准确。

摘要： 本发明涉及一种从UML行为设计模型生成U2TP测试模型方法，该方法将行为设计模型转化为多个以不同数据划分作为测试输入的测试用例模型，体现了测试数据等价类划分的思想，每一个用例代表了对一个等价类的测试，生成的测试模型更具有代表性，使模型驱动的测试设计更加充分有效，有利于提高测试效率，保障测试质量。

摘要： 本发明公开了一种从UML模型到AUTOSAR软件组件模型的转换方法。通过分析UML模型中的对象模型图和顺序图，提取对象模型图中对象之间的逻辑关系，转换生成符合AUTOSAR标准的软件组件模型；或提取顺序图中对象之间的交互信息，转换生成符合AUTOSAR标准的软件组件模型。本发明不需要分析UML中的所有模型，只需要提取对象模型图和顺序图，转换成软件组件模型，解决了软件组件在需求描述上的弱势，提高了模型开发的自动化程度，避免了人工执行的出错可能，加快了开发速度。

摘要： 本发明涉及嵌入式集成开发环境技术，主要是实现一种从UML模型转换至SmartC模型的转换方法。本发明一种从UML模型转换至SmartC模型的转换方法，包括如下步骤：1)分析UML模型中的对象图和状态图，提取UML模型状态图中状态与转移条件可执行代码中的OSEK标准API；2)分析OSEK标准API中涉及不同实体之间交互的函数，并以此为标准，将UML状态图转换成为支持OSEK标准的SmartC模型。本发明分析了UML模型的总体特点，从所有的模型图中提取出对象图与状态图两种模型用于模型转换，而不需要分析UML中的所有模型。由于SmartC擅长描述汽车电子领域，UML语言擅长于描述通用建模过程，该模型转换策略的出现，解决了在汽车电子领域，通用建模过程领域细化的问题。