洪豪
- 作品数：5 被引量：6H指数：1
- 供职机构：重庆大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UML交互概览图的测试线索的生成方法被引量：1
- 2014年
- 针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。
- 曾一王翠钦李函逾洪豪
- 关键词：UML模型
- 基于OWL-S过程模型的Web服务发现方法被引量：5
- 2012年
- 现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。
- 曾一胡延强洪豪
- 关键词：WEB服务WEB服务本体语言过程图相似度
- 带OCL约束的多态路径测试线索生成方法
- 2013年
- 统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。
- 曾一刘青香王翠钦洪豪
- 关键词：统一建模语言对象约束语言协作图
- 复合Web服务匹配方法的研究
- 随着Web服务应用的深入,网络Web服务数量的日益增多,提供相同或相似功能的服务也越来越多,如何准确高效地从数量庞大的Web服务群中发现并定位服务请求者最需要的服务成为制约Web服务应用发展的关键问题。 现有的Web服...
- 洪豪
- 关键词：WEB服务UML活动图相似度匹配
- 文献传递
- 基于过程本体的语义Web服务过程模型的研究
- 2014年
- 针对Web服务本体语言(OWL-S)过程模型存在Web服务发现时对过程信息和QoS属性表达能力不足的问题,本文提出了一种基于过程本体的语义Web服务(SWS)过程模型的建立方法。首先,采用循环递进、逐步求精的本体建模方法建立过程本体,并且在过程本体中考虑QoS属性;其次,对其进行形式化定义,得到语义Web服务过程模型;最后,设计了一种转换算法,利用该算法将语义Web服务过程模型转换为过程图,并检测转换后的过程图的正确性。本文最终通过实验验证了语义Web服务过程模型的可用性和有效性。
- 洪豪曾一周波周波
- 关键词：WEB服务本体语言语义WEB服务本体建模过程图
