EFSM模型动态解释技术的研究

• 作者: 宋瑾钰 徐俊 舒挺 贾宇波
• 来源期刊: 工业控制计算机
• 学科: 工学
• 关键词: EFSM模型 动态脚本 通信协议 一致性测试
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 软件与仿真
• 页码范围: 75-77
• 分类号: TP311.52
• 字数: 3308字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-182X.2012.02.036

摘要

扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一.首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法.然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法.新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题.最后,通过一个应用实例验证了新方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贾宇波	浙江理工大学信息电子学院	60	235	9.0	14.0
2	宋瑾钰	浙江理工大学信息电子学院	39	136	7.0	10.0
3	舒挺	浙江理工大学信息电子学院	22	99	5.0	9.0
4	徐俊	浙江理工大学信息电子学院	1	2	1.0	1.0