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

发布时间：2017-07-07 01:16

  本文关键词：基于行为树的协议建模方法及其应用研究

  更多相关文章： 行为树 协议建模 测试序列 协议验证 通信顺序进程

【摘要】：为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试序列生成方法。以某监控协议为例给出了基于行为树的建模过程,将所建模型转换为通信顺序进程(CSP)后采用过程分析工具(PAT)完成了协议验证,并完成了测试序列的计算与对比分析,结果表明提出的方法能方便地完成对协议的描述与验证,能降低测试序列计算复杂度并减少生成的测试序列长度。
【作者单位】： 华北电力大学控制与计算机工程学院;国网河北省电力公司电力科学研究院;中国电力科学研究院;
【关键词】： 行为树 协议建模 测试序列 协议验证 通信顺序进程
【基金】：国家自然科学基金资助项目(61074078) 中央高校基本科研业务费专项资金(2014MS126) 国家电网公司科技项目(GY17201200047)
【分类号】：TP393.04
【正文快照】： 0引言随着计算机技术及网络技术的发展,分布式应用系统间的网络通信协议越来越复杂,复杂系统投入使用前的协议描述、验证与测试工作也越来越重要。协议验证与测试的目的是评估协议实现与协议标准之间的符合程度,是协议装置投入使用前需要做的重要工作[1]。研究简单易用的描述

【相似文献】

中国期刊全文数据库 前10条

1 尹霞,吴建平;基于TTCN的测试序列选择技术研究[J];小型微型计算机系统;2000年05期

2 都军，刘积仁;一种高效的网络协议一致性测试生成方法[J];计算机学报;1994年11期

3 姬忠鹤;蒋凡;黄传动;;基于模型检查的协议一致性测试套自动生成[J];计算机工程;2006年11期

4 林华辉;周颢;潘全科;赵保华;;基于局部错误诊断的动态协议一致性测试方法[J];北京邮电大学学报;2007年01期

5 高翔;王欣;;一种新的测试序列生成方法研究[J];电子测量与仪器学报;2007年02期

6 胡雷刚;肖明清;王磊;;并行测试任务可并行性分析与应用[J];计算机测量与控制;2008年10期

7 汪洋;黄建国;;多线程测试序列在USB/UCB半自动检测与维护系统中的应用[J];电子质量;2008年12期

8 戴春翟;李晓静;张侃谕;;集成电路测试系统通用测试软件的研究与设计[J];电子测量技术;2010年01期

9 周清雷;张文宁;赵东明;李喜艳;;基于UML状态图的类测试技术[J];计算机工程;2010年02期

10 赵建光;胡永锋;;通信协议一致性测试序列自动生成算法与仿真的研究[J];煤炭技术;2011年01期

中国重要会议论文全文数据库 前10条

1 陈昱松;聂剑平;景博;崔楠;;一种改进的基于EFSM变迁依赖图的协议测试序列生成算法[A];第六届中国测试学术会议论文集[C];2010年

2 李勇;吴国凤;;软件测试中基于概率的测试用例选择[A];全国第16届计算机科学与技术应用（CACIS）学术会议论文集[C];2004年

3 赵秀才;李春灵;;基于COM的通用自动测试系统软件的设计[A];2007'中国仪器仪表与测控技术交流大会论文集（二）[C];2007年

4 唐乐;雷航;吴晓华;;基于时间Petri网产生测试序列的方法[A];第四届中国测试学术会议论文集[C];2006年

5 李华;叶新铭;吴承勇;王龙;王玲玲;;一种互操作测试的建模及测试选择方法[A];第五届中国测试学术会议论文集[C];2008年

6 陈思成;魏道政;王仲;;时序电路测试中时间及测试序列识别问题研究[A];中国图象图形科学技术新进展——第九届全国图象图形科技大会论文集[C];1998年

7 李秀华;桑楠;雷航;吴晓华;;EFSM模型的实时测试序列生成方法[A];第四届中国测试学术会议论文集[C];2006年

8 武茂春;李华;王龙;;一种互操作场景中策略路由的建模与测试[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

9 严德志;于凤芹;;基于Matching Pursuit的音像信号的分析[A];第十二届全国信号处理学术年会（CCSP-2005）论文集[C];2005年

10 方葛丰;刘毅;韩敬伟;宋斌;何怡刚;;自动测试系统软件平台技术[A];2009全国虚拟仪器大会论文集（一）[C];2009年

中国重要报纸全文数据库 前6条

1 ;找错[N];计算机世界;2002年

2 ;再上新台阶[N];计算机世界;2002年

3 记者 易凡;吉时利单一系统实现C-V/I-V/脉冲测试[N];电子资讯时报;2007年

4 ;安立：携十大终级武器亮相通信展[N];通信产业报;2004年

5 马文;吉时利仪器公司推出两款数字源表新产品[N];中国质量报;2007年

6 杨浩;简约之美[N];中国电脑教育报;2003年

中国博士学位论文全文数据库 前10条

1 孙涛;基于CP-nets模型的并行软件测试方法研究[D];内蒙古大学;2012年

2 陈锦富;基于错误注入的构件安全性测试理论与技术研究[D];华中科技大学;2009年

3 吴限德;快速响应空间小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年

4 吴限德;快速响应小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年

5 柯尧;协议分布式测试理论及系统可靠性研究[D];中国科学技术大学;2006年

6 张岩;列车运行控制系统软件故障相关形式化测试方法[D];北京交通大学;2012年

7 钱兰;协议一致性测试的错误诊断研究[D];中国科学技术大学;2006年

8 黄传动;通信协议的分布式测试方法研究和测试系统实现[D];中国科学技术大学;2006年

9 林华辉;协议互操作性测试理论与方法研究[D];中国科学技术大学;2007年

10 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年

中国硕士学位论文全文数据库 前10条

1 孙伟亮;轨道电路读取器测试序列生成方法的研究[D];北京交通大学;2012年

2 金丹;安全计算机平台测试序列的生成及应用[D];北京交通大学;2013年

3 顾娟;基于FSM的启发式测试序列生成方法研究及其应用[D];北京邮电大学;2013年

4 柳伟;基于形式化UML测试序列生成方法研究[D];哈尔滨工程大学;2011年

5 王超琦;CTCS-3级列控系统车载设备测试序列的生成方法及工具研究[D];北京交通大学;2011年

6 黎中文;基于状态的类测试技术研究[D];解放军信息工程大学;2011年

7 王书;CTCS-3级列控系统测试序列生成专家系统的研究[D];北京交通大学;2012年

8 陈雷;基于UML协作图的测试序列生成方法研究[D];河北工程大学;2011年

9 陈佳佳;基于UML协作图的测试序列生成方法研究[D];浙江师范大学;2009年

10 杨帆;可用带宽主动测量算法的研究[D];北京邮电大学;2008年

，

本文编号：528405