王翠钦
- 作品数：6 被引量：4H指数：1
- 供职机构：重庆大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UML交互概览图的测试线索的生成方法被引量：1
- 2014年
- 针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。
- 曾一王翠钦李函逾洪豪
- 关键词：UML模型
- 带OCL约束的多态路径测试线索生成方法
- 2013年
- 统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。
- 曾一刘青香王翠钦洪豪
- 关键词：统一建模语言对象约束语言协作图
- 基于MDA的需求捕获工具的设计与实现
- 2014年
- 目前MDA开发过程中仍采用人工捕获、文字描述的传统需求获取形式,这影响了需求模型与PIM模型的精度和一致性,降低了MDA开发的自动化程度。重点研究开发了一个可视化需求捕获工具。该工具采用MDA框架以及GEF等技术进行开发,基于目标-情景的捕获方式进行需求获取,同时支持以需求文档与XML的形式将需求模型导出,为需求模型到PIM模型的转换提供了足够信息。最后通过实例验证了该捕获工具的有效性。该工具弥补了MDA中没有独立需求捕获阶段的不足,在一定程度上完善了MDA的开发流程,提高了MDA软件开发的自动化程度。
- 曾一黄兴砚李函逾王翠钦
- 关键词：模型驱动架构需求捕获EMFGEF
- 模型和代码的一致性检测方法的研究
- 随着计算机应用领域的扩大、应用程度的不断加深,计算机软件规模的不断增大,使得提高软件质量和效率迫在眉睫。由于在现有的软件开发过程中,代码与模型不一致问题的存在导致系统功能与用户需求不相符合,软件维护代价过大,软件质量的下...
- 王翠钦
- 关键词：软件测试UML模型JAVA源代码
- 文献传递
- 基于过程本体的语义Web服务过程模型的研究
- 2014年
- 针对Web服务本体语言(OWL-S)过程模型存在Web服务发现时对过程信息和QoS属性表达能力不足的问题,本文提出了一种基于过程本体的语义Web服务(SWS)过程模型的建立方法。首先,采用循环递进、逐步求精的本体建模方法建立过程本体,并且在过程本体中考虑QoS属性;其次,对其进行形式化定义,得到语义Web服务过程模型;最后,设计了一种转换算法,利用该算法将语义Web服务过程模型转换为过程图,并检测转换后的过程图的正确性。本文最终通过实验验证了语义Web服务过程模型的可用性和有效性。
- 洪豪曾一周波周波
- 关键词：WEB服务本体语言语义WEB服务本体建模过程图
- 一种结合MDA的高阶模型转换方法被引量：3
- 2012年
- 模型转换是MDA的关键技术,也是MDA的研究热点。目前,不同的MDA开发平台都有一套相对独立的开发技术和转换框架,这使平台之间缺乏兼容性,模型转换代码重用困难。究其原因是缺少一种与具体转换语言相对应,且与平台无关的转换规则模型。为了解决以上问题,将高阶模型转换的思想与模型驱动软件开发相结合,提出了一种构造模型转换规则的高阶转换元模型,并以ATL语言为例展示了高阶转换元模型的使用方法;最后通过一个实例验证了该方法的可行性和可用性。该方法提高了模型转换语言的抽象层次,降低了模型转换语言的重用难度,在一定程度上解决了模型转换技术不兼容的问题。
- 曾一许林黄兴砚王翠钦
- 关键词：模型驱动架构
