您的位置： 专家智库 > >

孔良

作品数：2 被引量：5H指数：1
供职机构：国防科学技术大学计算机学院更多>>
发文基金：湖南省普通高等学校教学改革研究项目湖南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇代数规约
  • 2篇规约
  • 1篇软件测试
  • 1篇自动生成
  • 1篇黑盒
  • 1篇黑盒测试
  • 1篇WEB
  • 1篇WEB服务测...
  • 1篇测试用例
  • 1篇测试用例自动...
  • 1篇WEB服务

机构

  • 2篇国防科学技术...
  • 1篇中南林业科技...

作者

  • 2篇孔良
  • 1篇彭琛
  • 1篇余波

传媒

  • 1篇计算机工程
  • 1篇中国科学院计...

年份

  • 1篇2009
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于代数规约的Web服务测试被引量：5
2009年
针对自动测试Web服务,提出基于代数规约测试Web服务的方法,包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约,采用方法覆盖准则以及等式覆盖准则自动生成测试用例,在此基础上,设计并实现一个原型工具。结果表明该方法能够自动测试部署在Web应用服务器上的Web服务。
余波孔良彭琛
关键词：WEB代数规约
基于代数规约黑盒测试中测试用例自动生成技术研究
基于代数规约的软件测试是软件黑盒测试研究的一个重要内容.本文对当前基于代数规约面向对象测试中测试用例的生成技术及相关工作进行了分析,在可观察分类扩展定义和良构规约的基础上,提出了一个基于代数规约由公理的等价项基本对产生测...
孔良
关键词：软件测试黑盒测试代数规约测试用例
文献传递
全选 清除 导出
共1页<1>
聚类工具0