工业控制计算机
工業控製計算機
공업공제계산궤
INDUSTRY CONTROL COMPUTER
2012年
2期
75-77
,共3页
徐俊%舒挺%贾宇波%宋瑾钰
徐俊%舒挺%賈宇波%宋瑾鈺
서준%서정%가우파%송근옥
EFSM模型%动态脚本%通信协议%一致性测试
EFSM模型%動態腳本%通信協議%一緻性測試
EFSM모형%동태각본%통신협의%일치성측시
扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一.首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法.然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法.新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题.最后,通过一个应用实例验证了新方法的可行性.
擴展有限狀態機EFSM模型行為的動態解釋是基于EFSM模型協議一緻性測試中的關鍵技術之一.首先深入探討瞭兩類經典的模型行為解釋技術:基于編譯的方法和基于第三方軟件擴展接口的方法.然後,在分析兩類方法優缺點的基礎上,提齣瞭一種基于動態腳本交互技術的模型行為解釋新方法.新方法把模型行為複雜的詞法和語法解釋任務化簡為一箇基于動態交互技術的腳本執行問題.最後,通過一箇應用實例驗證瞭新方法的可行性.
확전유한상태궤EFSM모형행위적동태해석시기우EFSM모형협의일치성측시중적관건기술지일.수선심입탐토료량류경전적모형행위해석기술:기우편역적방법화기우제삼방연건확전접구적방법.연후,재분석량류방법우결점적기출상,제출료일충기우동태각본교호기술적모형행위해석신방법.신방법파모형행위복잡적사법화어법해석임무화간위일개기우동태교호기술적각본집행문제.최후,통과일개응용실례험증료신방법적가행성.
