您的位置： 专家智库 > >

上海市科委科技攻关项目(025115033)

作品数：1 被引量：6H指数：1
相关作者：李明禄刘晖更多>>
相关机构：上海交通大学更多>>
发文基金：上海市科委科技攻关项目国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有限状态机
  • 1篇软件测试
  • 1篇状态机
  • 1篇网格
  • 1篇网格系统
  • 1篇抽象状态机

机构

  • 1篇上海交通大学

作者

  • 1篇刘晖
  • 1篇李明禄

传媒

  • 1篇电子学报

年份

  • 1篇2003
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于抽象状态机的网格系统设计和分析被引量：6
2003年
基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述了网格高层次系统语义 ,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤 .
刘晖李明禄
关键词：抽象状态机网格软件测试有限状态机
全选 清除 导出
共1页<1>
聚类工具0