基于分支界限搜索的EFSM协议测试序列生成算法

发布时间：2018-08-29 16:49

【摘要】：针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成转换为寻找最小权值状态变迁路径的问题。该算法克服了无赋权要求的宽度优先搜索的缺陷,降低了测试序列的搜索与生成时间复杂度,提高了测试序列生成的效率。
[Abstract]:A protocol conformance test sequence generation algorithm is proposed to solve the problem of protocol conformance test sequence generation due to the uncertainty of state migration in EFSM. The algorithm is based on the theory of different representative system for each protocol state transition weighted value, and then based on the branch bound method to search the generated protocol test sequence, the protocol conformance test sequence generation is transformed into the problem of finding the minimum weight state transition path. The algorithm overcomes the limitation of width first search without weight requirement, reduces the complexity of test sequence search and generation time, and improves the efficiency of test sequence generation.
【作者单位】： 解放军信息工程大学;解放军电子工程学院;
【分类号】：TP393.04

【参考文献】

相关期刊论文 前1条

1 赵保华;陈波;屈玉贵;;一种改进的转换可执行分析测试序列生成算法[J];中国科学技术大学学报;2007年09期

【共引文献】

相关期刊论文 前10条

1 张喜平,冯乃勤;计算机人工智能中模糊度分析研究[J];安阳师范学院学报;2003年02期

2 涂承媛，涂承宇;知识模型的拓扑变换[J];北京工业大学学报;1994年03期

3 舒挺;孙守迁;王海宁;徐伟强;李文书;;启发式探索的协议测试序列生成[J];北京邮电大学学报;2009年06期

4 何险峰;神经网络专家系统外壳[J];成都气象学院学报;1993年04期

5 方群,张静;电脑之路在何方?——对计算机可持续发展的思考[J];电脑;1996年12期

6 沈涛;宋建社;;光电武器装备故障智能测试系统研究[J];弹箭与制导学报;2006年03期

7 戚海英,黄明,宋存利;人工智能的搜索策略在物料管理系统中的应用[J];大连铁道学院学报;2001年01期

8 李伟,曹晓东;从知识表示到算法的研究——三枚钱币问题的状态空间表示和算法实现[J];电脑开发与应用;2002年11期

9 曹晓东，赵广利;对CAI建设过程中的核心问题探讨[J];电脑开发与应用;1998年01期

10 唐勇敏;郑军婷;于雪梅;郭宗智;;基于人工智能的HICAI[J];电脑知识与技术;2006年29期

相关博士学位论文 前10条

1 舒挺;EFSM模型协议一致性测试序列自动生成研究[D];浙江大学;2010年

2 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

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

4 马恒太;基于Agent分布式入侵检测系统模型的建模及实践[D];中国科学院软件研究所;2001年

5 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年

6 李蓉;基于质量评价的矢量化工程图后处理技术研究[D];西北工业大学;2003年

7 杨宏宇;网络入侵检测技术的研究[D];天津大学;2003年

8 苏财茂;基于网络的产品协同设计系统若干关键技术研究[D];浙江大学;2004年

9 马盈仓;命题泛逻辑的演算理论及推理研究[D];西北工业大学;2006年

10 许亮;基于核函数和知识的化工过程安全运行智能支持系统研究[D];华南理工大学;2007年

相关硕士学位论文 前10条

1 王大卫;高速网络入侵检测若干关键技术的研究[D];长沙理工大学;2010年

2 左洪艳;僵尸网络检测系统的研究与设计[D];北京邮电大学;2011年

3 朱广彬;基于数据挖掘的入侵检测技术研究[D];北京交通大学;2011年

4 童翔威;RBF神经网络在数据挖掘中的应用研究[D];中南林业科技大学;2009年

5 刘本仓;基于采样数据流挖掘的网络行为分析研究[D];西安电子科技大学;2009年

6 汪尚兵;基于PDA模式的电站新机组调试专家系统研究[D];西安工业大学;2011年

7 张春节;基于规则的隐私本体推理研究[D];云南大学;2011年

8 谭伟卓;牛群改良辅助系统的设计及大庆地区DHI数据的分析[D];东北农业大学;2011年

9 马进;基于知识的集成电路光刻工艺设计系统研究[D];上海交通大学;2011年

10 李灏荃;遗传算法及神经网络在数据融合中的应用[D];西安电子科技大学;2001年

【二级参考文献】

相关期刊论文 前4条

1 郭雄辉,赵保华,周颢,屈玉贵;基于构造类别代数的数据流和控制流相结合的协议测试[J];北京邮电大学学报;2003年S2期

2 赵保华;柯尧;;一致性测试中的时间约束及测试用例生成算法[J];西安交通大学学报;2006年04期

3 吕欣岩,赵保华,周颢;一种动态协议一致性测试方法[J];中国科学技术大学学报;2005年03期

4 赵保华;钱兰;屈玉贵;郭雄辉;;基于Markov链模型的被动测试错误检测算法[J];中国科学技术大学学报;2006年02期

【相似文献】

相关期刊论文 前10条

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

2 毕军,杨家海,吴建平;3X协议一致性测试组织研究与设计[J];计算机工程与应用;1997年04期

3 郝瑞兵,张文铖,吴建平;协议集成测试系统的设计与实现[J];小型微型计算机系统;1997年10期

4 葛猛,赵保华;BGP-4协议一致性测试序列生成[J];计算机工程与应用;2005年22期

5 夏启志;綦科;谢高岗;;BGP4+协议一致性测试系统设计与实现[J];计算机工程;2006年03期

6 田野;刘兴伟;郭闯;;协议一致性测试系统中执行器的设计与实现[J];西华大学学报(自然科学版);2006年06期

7 杜宁;郑红霞;谢高岗;;NEMO协议一致性测试集的设计与实现[J];计算机工程;2007年24期

8 马军锋;郭建勋;;BGP4+协议一致性测试系统的设计[J];电信网技术;2008年09期

9 丁雪莲;陈银凤;王彪;;移动IPv6协议一致性测试研究[J];内蒙古农业大学学报(自然科学版);2009年02期

10 陈涛;潘雪增;陈健;陈小平;陆魁军;;基于FSM的协议一致性测试序列生成算法研究[J];计算机工程与应用;2010年06期

相关会议论文 前3条

1 赵会群;赵洁;王恩雷;;基于TTCN-3的SIP协议一致性测试方法研究[A];第五届中国测试学术会议论文集[C];2008年

2 李占伟;杨俊强;;IPv6协议一致性测试技术[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（上）[C];2006年

3 朱尊;;第二代互联网主要技术与发展[A];四川省通信学会2007年学术年会论文集[C];2007年

相关博士学位论文 前6条

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

2 邓琦皓;分布式主动协同入侵检测系统研究与实践[D];中国人民解放军信息工程大学;2005年

3 田军;IPv6协议一致性测试研究及测试系统实现[D];中国科学院研究生院（计算技术研究所）;2001年

4 张炜;基于状态机模型的协议被动测试研究[D];中国科学技术大学;2007年

5 王W

本文编号：2211811