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

【Abstract】 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.更多还原