高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2011年
10期
1034-1041
,共8页
张新常%杨美红%罗万明%耿光刚
張新常%楊美紅%囉萬明%耿光剛
장신상%양미홍%라만명%경광강
协议一致性测试%扩展有限状态自动机(EFSM)%有限状态自动机(FSM)%测试序列生成%模型转换
協議一緻性測試%擴展有限狀態自動機(EFSM)%有限狀態自動機(FSM)%測試序列生成%模型轉換
협의일치성측시%확전유한상태자동궤(EFSM)%유한상태자동궤(FSM)%측시서렬생성%모형전환
考虑到协议一致性测试中基于扩展有限状态自动机( EFSM)模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题,提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法.此方法将EFSM模型转换成确定化的EFSM (DEFSM)模型,并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除,此外,通过测试序列生成附加模块的协助,可将变量及其条件判定从DEFSM模型中分离出来,使得处理后的DEFSM模型等同于有限状态自动机(FSM)模型,从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合.理论和实验分析结果显示了此方法的有效性.
攷慮到協議一緻性測試中基于擴展有限狀態自動機( EFSM)模型的測試序列生成仍然是一箇尚無理想方法解決的開放性問題,提齣瞭一種麵嚮協議一緻性測試的基于EFSM模型的測試序列生成方法.此方法將EFSM模型轉換成確定化的EFSM (DEFSM)模型,併在轉換過程中對EFSM模型中的條件和操作遲突進行檢測併加以消除,此外,通過測試序列生成附加模塊的協助,可將變量及其條件判定從DEFSM模型中分離齣來,使得處理後的DEFSM模型等同于有限狀態自動機(FSM)模型,從而將EFSM的描述優勢和基于FSM模型的測試序列生成優勢進行有效的結閤.理論和實驗分析結果顯示瞭此方法的有效性.
고필도협의일치성측시중기우확전유한상태자동궤( EFSM)모형적측시서렬생성잉연시일개상무이상방법해결적개방성문제,제출료일충면향협의일치성측시적기우EFSM모형적측시서렬생성방법.차방법장EFSM모형전환성학정화적EFSM (DEFSM)모형,병재전환과정중대EFSM모형중적조건화조작충돌진행검측병가이소제,차외,통과측시서렬생성부가모괴적협조,가장변량급기조건판정종DEFSM모형중분리출래,사득처리후적DEFSM모형등동우유한상태자동궤(FSM)모형,종이장EFSM적묘술우세화기우FSM모형적측시서렬생성우세진행유효적결합.이론화실험분석결과현시료차방법적유효성.
