计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2014年
9期
2696-2699,2710
,共5页
熊海军%朱永利%赵建利%毕建刚%王德文
熊海軍%硃永利%趙建利%畢建剛%王德文
웅해군%주영리%조건리%필건강%왕덕문
行为树%协议建模%测试序列%协议验证%通信顺序进程
行為樹%協議建模%測試序列%協議驗證%通信順序進程
행위수%협의건모%측시서렬%협의험증%통신순서진정
behaviour trees%protocol modelling%test sequence%protocol verifying%CSP
为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法.采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试序列生成方法.以某监控协议为例给出了基于行为树的建模过程,将所建模型转换为通信顺序进程(CSP)后采用过程分析工具(PAT)完成了协议验证,并完成了测试序列的计算与对比分析,结果表明提出的方法能方便地完成对协议的描述与验证,能降低测试序列计算复杂度并减少生成的测试序列长度.
為解決現有協議建模方法驗證睏難及測試序列生成算法複雜度高和測試序列長的問題,提齣瞭一種基于行為樹(BT)的協議描述新方法.採用行為樹模型對協議的控製流程進行建模,提齣瞭基于行為樹描述的協議驗證方法,併給齣瞭基于行為樹的測試序列生成方法.以某鑑控協議為例給齣瞭基于行為樹的建模過程,將所建模型轉換為通信順序進程(CSP)後採用過程分析工具(PAT)完成瞭協議驗證,併完成瞭測試序列的計算與對比分析,結果錶明提齣的方法能方便地完成對協議的描述與驗證,能降低測試序列計算複雜度併減少生成的測試序列長度.
위해결현유협의건모방법험증곤난급측시서렬생성산법복잡도고화측시서렬장적문제,제출료일충기우행위수(BT)적협의묘술신방법.채용행위수모형대협의적공제류정진행건모,제출료기우행위수묘술적협의험증방법,병급출료기우행위수적측시서렬생성방법.이모감공협의위례급출료기우행위수적건모과정,장소건모형전환위통신순서진정(CSP)후채용과정분석공구(PAT)완성료협의험증,병완성료측시서렬적계산여대비분석,결과표명제출적방법능방편지완성대협의적묘술여험증,능강저측시서렬계산복잡도병감소생성적측시서렬장도.
