您的位置： 专家智库 > >

吴献

作品数：3 被引量：0H指数：0
供职机构：南京理工大学更多>>

合作作者

文献类型

  • 3篇中文专利

主题

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

机构

  • 3篇南京理工大学

作者

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

年份

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