基于行为树的协议建模方法及其应用研究

• 作者: 朱永利 毕建刚 熊海军 王德文 赵建利
• 来源期刊: 计算机应用研究
• 关键词: 行为树 协议建模 测试序列 协议验证 通信顺序进程
• 年，卷（期）: 2014,（9）
• 页码范围: 2696-2699,2710
• 页数: 5页
• 分类号: TP311.52|TP393.04
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.09.032

摘要

为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法.采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试序列生成方法.以某监控协议为例给出了基于行为树的建模过程,将所建模型转换为通信顺序进程(CSP)后采用过程分析工具(PAT)完成了协议验证,并完成了测试序列的计算与对比分析,结果表明提出的方法能方便地完成对协议的描述与验证,能降低测试序列计算复杂度并减少生成的测试序列长度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王德文	华北电力大学控制与计算机工程学院	61	2241	26.0	47.0
2	朱永利	华北电力大学控制与计算机工程学院	268	5516	39.0	62.0
3	赵建利	国网河北省电力公司电力科学研究院	12	35	4.0	5.0
4	毕建刚		33	339	10.0	18.0
5	熊海军	华北电力大学控制与计算机工程学院	12	73	7.0	8.0