您的位置： 专家智库 > >

胡芸

作品数：4 被引量：10H指数：1
供职机构：上海大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文
  • 1篇科技成果

领域

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

主题

  • 3篇自动生成
  • 3篇测试用例
  • 2篇形式化
  • 2篇形式化规格说...
  • 2篇软件测试
  • 2篇自动生成方法
  • 1篇形式规格说明
  • 1篇WEB应用
  • 1篇WEB应用测...
  • 1篇测试工具
  • 1篇测试用例自动...

机构

  • 4篇上海大学

作者

  • 4篇胡芸
  • 3篇缪淮扣
  • 2篇刘玲
  • 1篇刘振宇
  • 1篇曹旻
  • 1篇陈怡海
  • 1篇王皙
  • 1篇陈圣波
  • 1篇蔡立志
  • 1篇许庆国
  • 1篇曾红卫

传媒

  • 1篇同济大学学报...
  • 1篇第二届中国测...

年份

  • 1篇2015
  • 1篇2003
  • 2篇2002
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
从测试规格说明到测试用例的自动生成方法被引量：10
2002年
讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .
胡芸缪淮扣刘玲
关键词：测试用例自动生成方法形式化规格说明软件测试
一种从测试规格说明到测试用例的自动生成方法
选择测试策略对测试用例的生成是至关重要的.该文讨论了使用域测试策略生成测试用例的过程:将测试规格说明,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词,变换成不等式组,然后对每一个不等式组利用1×1域测试策...
胡芸缪淮扣刘玲
关键词：形式化规格说明软件测试
文献传递
从测试规格说明到测试用例自动生成的方法
该文以Z测试规格说明作为推导测试用例的依据,探讨了从Z测试规格说明推导出测试用例的过程、方法和技术.所谓测试规格说明,是指从规格说明中的输入变量前置条件表达式、输入输出变量基本约束条件以及输出函数抽取得到的以析取范式形式...
胡芸
关键词：形式规格说明测试用例
文献传递
基于模型的Web应用测试方法与工具
缪淮扣曾红卫蔡立志陈圣波王皙刘振宇曹旻胡芸陈怡海许庆国
项目隶属信息传输、计算机服务和软件业领域。背景和主要内容：Web应用是一种主要软件形式，为了适应Web应用的快速开发、部署和维护，保证Web应用的质量，实现Web应用测试的自动化。项目的总体目标是开发基于模型的Web应用...
关键词：
关键词：WEB应用测试工具
全选 清除 导出
共1页<1>
聚类工具0