咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 面向对象
  • 1 篇 oozs
  • 1 篇 软件测试
  • 1 篇 规格说明测试

机构

  • 1 篇 上海大学

作者

  • 1 篇 李刚
  • 1 篇 童頫
  • 1 篇 朱关铭

语言

  • 1 篇 中文
检索条件"主题词=规格说明测试"
1 条 记 录,以下是1-10 订阅
排序:
结构化面向对象形式规格说明语言OOZS——规格说明测试
收藏 引用
上海大学学报(自然科学版) 1998年 第4期4卷 429-435页
作者: 李刚 朱关铭 童頫 上海大学计算机工程与科学学院
自动或半自动实现面向对象形式规格说明测试不但要求相应的规格说明语言具有严格的形式语义,而且要求使用人员具有较深的数学基础,从而最终影响了面向对象规格说明测试的研究.本文提出了一种测试方法,该方法通过构造测试用例对面向对... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论