欢迎来到天天文库
浏览记录
ID:56029564
大小:408.13 KB
页数:5页
时间:2020-06-19
《基于行为树的协议建模方法及其应用研究.pdf》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、第3l卷第9期计算机应用研究Vo1.31No.92014年9月ApplicationResearchofCompute~Sep.2014基于行为树的协议建模方法及其应用研究术熊海军H,朱永利,赵建利,毕建刚,王德文(1.华北电力大学控制与计算机工程学院,河北保定071003;2.国网河北省电力公司电力科学研究院,石家庄050021;3.中国电力科学研究院,北京100192)摘要:为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模
2、型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试序列生成方法。以某监控协议为例给出了基于行为树的建模过程,将所建模型转换为通信顺序进程(CSP)后采用过程分析工具(PAT)完成了协议验证,并完成了测试序列的计算与对比分析,结果表明提出的方法能方便地完成对协议的描述与验证,能降低测试序列计算复杂度并减少生成的测试序列长度。关键词:行为树;协议建模;测试序列;协议验证;通信顺序进程中图分类号:TP311.52;TP393.04文献标志码:A文章编号:1001—3695(201
3、4)09-2696—04doi:10.3969/j.issn.1001-3695.2014.09.032ResearchonprotocolmodellingmethodbasedonbehaviortreesanditsapplicationXIONGHai-jun,ZHUYong—li,ZHAOJian—li,BIJian—gang,WANGDe.wen(1.SchoolofControl&ComputerEngineering,NoahChinaElectricPowerUniversity,Baodin
4、gHebei071003,China;2.StateGridHebeiElec—tricPowerResearchInstitute,Shijiazhuang050021,China;3.ChinaElectricPowerResearchInstitute,Being100192,China)Abstract:Tosolvetheproblemthattheexistingprotocolmodellingmethodisdifficulttovalidateandtestsequencegeneration
5、algorithmhashigheomplexityandlongtestsequence,thispaperputforwardanewprotocolmodellingmethodbasedonbeha—viourtrees(BT).Sequenceandselectionweretakenastwobasiccontrolstructurestomodelthecontrolflowofprotocol,thispaperproposedaprotocolverifyingmethodbasedonBT,
6、thengavethetestsequencegenerationmethodbasedonbehaviortree.Amonitoringprotocolwastakenasanexampleformodelingandvefi~ing.Firstly,itmodelledtheprotocolbyBT.Sec—ondly,ittranslatedtheBTmodelintocommunicationsequentialprocesses(CSP)mode1.Thirdly,itusedaprocessana
7、lysistoolkit(PAT)toverifythedeadlockandreachabilityofthemode1.Itfinishiedcontrastanalysisoftestsequencesatlast.Theresultsshowthatprotocolmodellingandverificationcanbeconvenientlycompletedbythemethodofthispaper,anditcanre—ducethecomputationcomplexityandthelen
8、gthofthetestsequence.Keywords:behaviourtrees;protocolmodelling;testsequence;protocolveri~ing;CSP现验证。在众多的协议一致性测试方法中,基于FSM的唯一0引言输入输出(uniqueinput/output,UIO)方法是使用较多的一种方法,然而上述方法采用基于有向图的协议建模方法,路径搜索随着
此文档下载收益归作者所有