您的位置： 专家智库 > >

国家科技支撑计划(2009BAH46B05)

作品数：1 被引量：0H指数：0
相关作者：张弘范贵生顾春华陈诚更多>>
相关机构：中国建设银行万达信息股份有限公司华东理工大学更多>>
发文基金：上海市教育发展基金会“曙光计划”项目国家自然科学基金国家科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇PETRI
  • 1篇测试用例
  • 1篇PETRI网

机构

  • 1篇华东理工大学
  • 1篇中国建设银行
  • 1篇万达信息股份...

作者

  • 1篇陈诚
  • 1篇顾春华
  • 1篇范贵生
  • 1篇张弘

传媒

  • 1篇华东理工大学...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于Petri的服务组合测试模型和分析方法
2012年
测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。
陈诚范贵生顾春华张弘
关键词：测试用例PETRI网
全选 清除 导出
共1页<1>
聚类工具0