您的位置： 专家智库 > >

朱鸿

作品数：5 被引量：0H指数：0
供职机构：南京理工大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇中文专利

领域

  • 1篇自动化与计算...

主题

  • 5篇代数规约
  • 5篇规约
  • 2篇代数
  • 2篇形式化
  • 2篇形式化描述
  • 2篇实例化
  • 2篇请求
  • 2篇服务请求
  • 2篇WEB服务测...
  • 2篇测试技术
  • 2篇测试用例
  • 2篇测试用例生成
  • 2篇测试用例生成...
  • 2篇WEB服务
  • 1篇语义描述
  • 1篇搜索
  • 1篇自动转换
  • 1篇服务搜索
  • 1篇本体
  • 1篇本体描述

机构

  • 5篇南京理工大学

作者

  • 5篇刘冬梅
  • 5篇朱鸿
  • 3篇张鑫
  • 3篇吴献
  • 1篇陈颖
  • 1篇兰斌
  • 1篇杨芸菲

年份

  • 1篇2023
  • 1篇2022
  • 1篇2020
  • 1篇2019
  • 1篇2016
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于代数规约的Web服务测试执行方法
本发明公开了一种基于代数规约的Web服务测试执行方法，在使用单线测试技术生成Web服务测试序列的基础上，首先对测试序列进行解析，生成待测操作序列；然后依次执行序列中的每个待测操作，若待测操作类型是服务请求，则调用相应远程...
杜益宁刘冬梅郑小宇周子健邱玫媚朱鸿
文献传递
基于代数规约的Web服务单线测试用例生成方法
本发明公开了一种基于代数规约的Web服务单线测试用例生成方法，在使用代数规约对Web服务进行形式化描述的基础上，首先对代数规约中每条公理等式进行浮动实例化和可观察化处理，生成一组可检查浮动测试用例；然后针对每个可检查浮动...
何娟娟杜益宁刘冬梅朱鸿吴献张鑫周子健
文献传递
Web服务语义的代数规约到本体描述的转换及评估方法
本发明公开了一种Web服务语义的代数规约到本体描述的转换及评估方法，包括两部分：1）实现两种Web服务语义描述方法的自动转换，即代数规约到本体描述的转换；2）对1)中转换所得的本体描述进行自动评估。代数规约到本体描述的转...
刘冬梅杨芸菲吴献朱鸿陈颖张鑫兰斌
文献传递
基于代数规约的Web服务单线测试用例生成方法
本发明公开了一种基于代数规约的Web服务单线测试用例生成方法，在使用代数规约对Web服务进行形式化描述的基础上，首先对代数规约中每条公理等式进行浮动实例化和可观察化处理，生成一组可检查浮动测试用例；然后针对每个可检查浮动...
刘冬梅何娟娟杜益宁朱鸿吴献张鑫周子健
文献传递
基于代数规约的Web服务测试执行方法
本发明公开了一种基于代数规约的Web服务测试执行方法，在使用单线测试技术生成Web服务测试序列的基础上，首先对测试序列进行解析，生成待测操作序列；然后依次执行序列中的每个待测操作，若待测操作类型是服务请求，则调用相应远程...
刘冬梅杜益宁郑小宇周子健邱玫媚朱鸿
全选 清除 导出
共1页<1>
聚类工具0