搜索结果: 1-15 共查到“知识库 计算机软件 UML”相关记录45条 . 查询时间(0.075 秒)
采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测...
针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自...
运用统一建模语言UML（Unified Modeling Language），提出了一种关系型建模方法，并实现了一个原型系统，能够对UML中蕴含的部分设计信息进行建模与抽取.所得到设计信息能够应用于软件重构及面向方面编程中，能够挖掘设计阶段形成的语义信息，有效地帮助开发人员进行软件重构.
运用统一建模语言UML（Unified Modeling Language），提出了一种关系型建模方法，并实现了一个原型系统，能够对UML中蕴含的部分设计信息进行建模与抽取.所得到设计信息能够应用于软件重构及面向方面编程中，能够挖掘设计阶段形成的语义信息，有效地帮助开发人员进行软件重构.
基于UML状态图的类测试技术
UML状态图 测试序列 变异测试
2010/1/28
针对基于状态的类测试技术缺陷检测率较低的问题，提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法，描述基于W方法的测试序列生成策略，使用Mujava变异工具对方法的有效性进行检测。实验结果表明，该测试策略具有较高的缺陷检测率。
A Method for Reverse Engineering of Use Case Realisations in UML
Object-oriented systems UML modeling reverse engineering
2009/12/9
We propose a novel method for recovering certain elements of the UML model of a software system. These include relationships between use cases as well as class roles in collaborations that realize eac...
基于UML类图的软件预测模型
统一建模语言 度量 可理解性
2009/11/30
针对面向对象软件开发过程中对软件进行复杂性预测的问题，提出一种在面向对象软件开发的初期阶段通过统一建模语言(UML)类图对软件的复杂性进行度量的模型，该模型运用多元线性方程和统计学原理。对比实验结果表明，为UML类图的可理解性和可修改性所生成的预测模型能建立在由关联和泛化所组成的早期度量标准上。
基于XML的UML时序图向Petri网的转换
可扩展标记语言 统一建模语言 Petri网
2009/11/26
针对统一建模语言(UML)时序图与Petri网间转换的问题，提出基于消息的UML时序图向Petri网转换的映射算法。以XMI, XPDL, XSLT为核心，建立基于可扩展标记语言(XML)的实现该映射算法的3层转换方案。结合XML应用环境要求，建立映射处理流程，并通过实例对方案可行性进行了验证。
在传统的UML Statechart图中加入了数据流对象后，因为UML Statechart图缺乏精确的数据流语义，所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题，选择标记转换系统（LTS）作为语义域，并用结构化操作语义（SOS）分两步定义了UML Statechart图的数据流语义，为工作流中的数据流正确性验证奠定了基础。在此基础上，使用时...
一种基于UML的软件产品线可变性建模方法
统一建模语言 需求建模 约束
2009/9/17
将UML引入到软件产品线开发中，在产品线可变性分析的基础上，提出了一种基于UML的产品线可变性建模方法。该方法不仅支持可选、多选一等可变点类型的描述，还支持软件产品线可变性的约束建模。在此基础上，还通过一个手机应用软件的产品线可变性建模实例验证了该方法的有效性。
一种基于UML动态视图的测试场景生成方法
UML动态视图 测试场景 覆盖准则
2009/9/17
本文提出一种基于UML动态视图的测试场景生成方法。通过将状态图中对象的状态信息加入顺序图，构建一个基于UML动态视图的测试模型，将其转化为扩展的十字链表结构的有向图；针对测试模型中存在的普通、条件、循环消息类型提出相应的处理方法，采用深度优先算法遍历生成测试场景。在将复杂的UML图转化为测试模型的过程中，应用该方法可以提高所生成场景路径的完整性，同时降低生成场景的冗余度。
基于UML类图的OWL本体映射方法
本体 语义网 映射
2009/8/20
传统的本体构建在抽取关键观念和关系时，各领域专家的参与增加了构建领域本体的成本，限制了以领域本体为基础的语义网的发展和普及。针对该问题，通过分析UML类图和OWL的异同点，提出从现有UML模型中提取本体的概念、属性、关系、约束等领域知识并将其映射为OWL本体的方法，利用该方法将加油卡发行UML模型成功转换为OWL本体，从而实现本体创建的经济性和高效性。
基于UML的本体表示方法研究
本体表示 统一建模语言 对象约束语言
2009/8/19
研究本体表示相关技术，并且从表达和推理能力等方面对当前本体表示方法进行分析和比较，总结各种表示方法的利弊。在此基础上提出一种基于统一建模语言(UML)和对象约束语言的本体表示方法，特别研究该表示方法的推理机制，并对这种表示方法进行应用。
基于动态切片和UML图的回归测试用例生成
回归测试 UML顺序图 切片覆盖
2009/8/19
针对基于UML设计的面向对象软件在修改后进行回归测试的情况，提出一种回归测试用例生成的新方法。获取软件修改后进行回归测试时必须重新测试的类和方法，分析与需要重测试类有关的UML顺序图，对顺序图中每个包含不等关系的条件断言生成与其有关的动态程序切片，根据该动态程序切片生成与其相应的回归测试用例。