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

Research on Dynamic Interpretation Techniques for an EFSM Model

作　　者：徐俊[1] 舒挺[1] 贾宇波[1] 宋瑾钰[1] 

机构地区：[1]浙江理工大学信息电子学院

出　　处：《工业控制计算机》2012年第2期75-77,共3页Industrial Control Computer

基　　金：国家自然科学基金(61101111);浙江理工大学科研基金(1004839-Y)

摘　　要：扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法。然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法。新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题。最后,通过一个应用实例验证了新方法的可行性。The dynamic interpretation for behaviors（DIB） of an EFSM（Extend Finite State Machine） model is one of the key technologies in EFSM-specified protocol conformance test.This paper makes a deep discussion on two classical model behavior interpretation techniques：a compile-based approach and a method based on the extensibility interfaces in third-party software.Then,a novel method for DIB is proposed on the basis of the discussion of the advantages and disadvantages of two methods.The new approach reformulates the problem of complex lexical and syntax analysis for DIB into a new problem,how to execute scripts by using the dynamic interaction techniques.Finally,a simple example is given to show the feasibility of the proposed method.

关 键 词：EFSM模型 动态脚本 通信协议 一致性测试 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]