基于抽象状态机的网格系统设计和分析

• 作者: 刘晖 李明禄
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 抽象状态机 抽象状态机语言 网格 软件测试 可执行规范 有限状态机
• 年，卷（期）: 2003,（z1）
• 所属期刊栏目: 信息处理技术
• 页码范围: 2096-2100
• 页数: 5页
• 分类号: TP311|TP393
• 字数: 3516字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2003.z1.035

摘要

基于可执行规范的实现-测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期.其理论基础是抽象状态机ASM,实现工具是支持.NET的AsmL.本文首先介绍了基于可执行规范的实现-测试同步开发模式、ASM起源和定义,然后采用ASM描述了网格高层次系统语义,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤.本文认为基于ASM的网格系统设计和分析值得学术界和工业界的共同关注.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明禄	上海交通大学计算机科学与工程系	95	847	15.0	25.0
2	刘晖	上海交通大学计算机科学与工程系	6	27	3.0	5.0