您的位置： 专家智库 > >

徐涛

作品数：1 被引量：0H指数：0
供职机构：信阳师范学院计算机与信息技术学院更多>>
发文基金：河南省教育厅自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇构件化
  • 1篇构件化软件
  • 1篇规约

机构

  • 1篇信阳师范学院

作者

  • 1篇雷梁
  • 1篇曹晋阳
  • 1篇徐涛

传媒

  • 1篇光盘技术

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种引入CSPE的构件化软件合约检查测试方法
2007年
本文分析当前构件化软件集成测试面临的问题,根据合约检查的构件软件测试理论,提出了一种引入CSPE的构件化软件合约检查测试方法。介绍了合约检查测试概念和CSPE理论,给出了如何使用CSPE生成测试序列的方法,描述了用该方法进行测试的过程,最后给出了一个实例说明方法的使用。
雷梁曹晋阳徐涛
关键词：规约
全选 清除 导出
共1页<1>
聚类工具0