EFSM模型动态解释技术的研究 |
| |
引用本文: | 徐俊,舒挺,贾宇波,宋瑾钰. EFSM模型动态解释技术的研究[J]. 工业控制计算机, 2012, 25(2): 75-77 |
| |
作者姓名: | 徐俊 舒挺 贾宇波 宋瑾钰 |
| |
作者单位: | 浙江理工大学信息电子学院,浙江杭州,310018 |
| |
基金项目: | 国家自然科学基金,浙江理工大学科研基金 |
| |
摘 要: | 扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一.首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法.然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法.新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题.最后,通过一个应用实例验证了新方法的可行性.
|
关 键 词: | EFSM模型 动态脚本 通信协议 一致性测试 |
Research on Dynamic Interpretation Techniques for an EFSM Model |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|