标题：EFSM模型动态解释技术的研究
作者：徐俊 舒挺 贾宇波 宋瑾钰
作者单位：浙江理工大学信息电子学院，浙江 杭州 310018
关键字：EFSM模型，动态脚本，通信协议，一致性测试
摘要：扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技术：基于编译的方法和基于第三方软件扩展接口的方法。然后，在分析两类方法优缺点的基础上，提出了一种基于动态脚本交互技术的模型行为解释新方法。新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题。最后，通过一个应用实例验证了新方法的可行性。