您的位置： 专家智库 > >

上海市科委科研计划项目(10DZ2291800)

作品数：1 被引量：1H指数：1
相关作者：童维勤蔡立志张娟更多>>
相关机构：上海大学江西财经大学上海市计算机软件评测重点实验室更多>>
发文基金：上海市科委科研计划项目国家火炬计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇软件测试
  • 1篇Z规格说明
  • 1篇测试用例

机构

  • 1篇江西财经大学
  • 1篇上海大学
  • 1篇上海市计算机...

作者

  • 1篇张娟
  • 1篇蔡立志
  • 1篇童维勤

传媒

  • 1篇计算机工程

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于Z规格说明的可复用测试用例形式化描述被引量：1
2012年
可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性。应用结果证明,该方法能提高测试用例的可复用性。
张娟童维勤蔡立志
关键词：形式化描述Z规格说明软件测试
全选 清除 导出
共1页<1>
聚类工具0