基于FSM的启发式测试序列生成方法研究及其应用
发布时间：2021-02-20 11:50
随着计算机网络的快速发展,网络协议日趋复杂和多样。通常网络协议的规范都是通过自然语言描述的,但由于自然语言的二义性,协议的实现可能不完全符合协议规范,所以对协议一致性测试技术的研究具有较大的应用价值。协议一致性测试是用来检验协议实现是否符合协议规范,其关键技术主要有形式化描述、测试序列生成等。其中,生成测试序列的时空效率以及最终总序列的长度将会影响整个一致性测试过程的实际效率。本论文在对一致性测试技术深入分析的基础上,重点研究了基于有限状态机的测试序列生成方法,尤其是基于UIO的测试序列生成方法,对其容易产生的序列长度较长、爆炸问题等情况进行了分析与优化。’本文首先介绍了一致性测试的基本原理、流程与方法,详细阐述了几种基于FSM的测试序列生成方法,分析对比了各个方法的优缺点。其次，本文介绍了几种经典的基于UIO序列生成的优化方法,在已有优化算法基础上提出了UIOv测试序列生成方法的改进算法,并给出了相应的实验分析,其结果表明,该算法能够在错误覆盖率保持不变的情况下有效缩短总测试序列的长度。然后,本文在现有的UIO序列生成方法基础上提出了一种改进的启发式测试序列生成算法,给出了算法的相关...
【文章来源】：北京邮电大学北京市 211工程院校 教育部直属院校
【文章页数】：67 页
【学位级别】：硕士
【文章目录】：
摘要
ABSTRACT
目录
符号说明
第一章 绪论
1.1 研究背景和研究意义
1.2 国内外研究现状
1.3 论文主要工作和贡献
1.4 论文的结构安排
第二章 基于FSM的一致性测试方法的研究
2.1 一致性测试的基本原理
2.1.1 一致性测试的流程
2.1.2 一致性测试方法的分类
2.2 基于FSM的一致性测试方法
2.2.1 FSM的相关理论研究
2.2.2 几种基于FSM的方法分析
2.3 基于UIOv的测试序列生成方法改进
2.3.1 传统优化方法的研究与分析
2.3.2 方法改进
2.4 实验结果与分析
2.5 本章小结
第三章 基于UIO的启发式测试序列生成方法的研究
3.1 基于UIO的测试序列生成方法研究
3.1.1 现有方法的研究与分析
3.1.1.1 基于宽度优先搜索的测试序列生成方法研究
3.1.1.2 基于遗传算法的测试序列生成方法研究
3.1.2 启发式测试序列生成方法的提出意义
3.2 基于UIO序列的启发式测试序列生成方法
3.2.1 算法的主要定义
3.2.2 算法的主要流程
3.2.3 算法分析
3.3 实验结果与分析
3.3.1 实验流程
3.3.1.1 简单协议
3.3.1.2 复杂协议
3.3.2 实验总结
3.4 本章小结
第四章 基于FSM的启发式测试序列生成方法的应用
4.1 测试序列自动生成系统的需求分析与概要设计
4.1.1 需求分析
4.1.2 平台体系架构
4.1.3 系统运行流程图
4.2 测试序列自动生成系统的详细设计
4.3 测试序列自动生成系统的实例应用
4.3.1 OSPF协议简介
4.3.2 协议有限状态机的生成
4.3.3 测试序列的生成
4.4 本章小结
第五章 总结与展望
参考文献
缩略语
致谢
硕士期间发表论文
【参考文献】：
期刊论文
[1]基于改进FSM的协议一致性测试方法[J]. 谢磊,魏蛟龙,朱光喜. 通信学报. 2011(06)
[2]基于FSM的测试理论、方法及评估[J]. 刘攀,缪淮扣,曾红卫,刘阳. 计算机学报. 2011(06)
[3]利用构造类别代数的协议安全测试方法[J]. 陈伟琳,周颢,赵保华. 西安交通大学学报. 2008(12)
[4]协议测试中测试序列生成方法综述[J]. 袁博,李进,孙海波,杨盘隆. 军事通信技术. 2008(01)
[5]一种改进的转换可执行分析测试序列生成算法[J]. 赵保华,陈波,屈玉贵. 中国科学技术大学学报. 2007(09)
[6]网络协议测试生成方法综述[J]. 朱振华,许毅平,周曼丽. 计算机工程与应用. 2005(15)
[7]基于构造类别代数的数据流和控制流相结合的协议测试[J]. 郭雄辉,赵保华,周颢,屈玉贵. 北京邮电大学学报. 2003(S2)
[8]基于Tcl的路由协议一致性测试[J]. 余营志,赵保华,屈玉贵. 北京邮电大学学报. 2003(S2)
[9]基于Tcl的BGP一致性测试系统设计[J]. 张波,赵保华,屈玉贵,张英堂. 计算机应用. 2003(11)
[10]基于形式化技术的协议集成测试系统——PITS[J]. 吴建平,陈修环,郝瑞兵,徐明伟,杨家海,毕军,尹霞. 清华大学学报(自然科学版). 1998(S1)
博士论文
[1]EFSM模型协议一致性测试序列自动生成研究[D]. 舒挺.浙江大学 2010
硕士论文
[1]模型驱动的协议一致性测试系统的研究与实现[D]. 汪志宾.中国科学技术大学 2011
本文编号：3042727
【文章来源】：北京邮电大学北京市 211工程院校 教育部直属院校
【文章页数】：67 页
【学位级别】：硕士
【文章目录】：
摘要
ABSTRACT
目录
符号说明
第一章 绪论
1.1 研究背景和研究意义
1.2 国内外研究现状
1.3 论文主要工作和贡献
1.4 论文的结构安排
第二章 基于FSM的一致性测试方法的研究
2.1 一致性测试的基本原理
2.1.1 一致性测试的流程
2.1.2 一致性测试方法的分类
2.2 基于FSM的一致性测试方法
2.2.1 FSM的相关理论研究
2.2.2 几种基于FSM的方法分析
2.3 基于UIOv的测试序列生成方法改进
2.3.1 传统优化方法的研究与分析
2.3.2 方法改进
2.4 实验结果与分析
2.5 本章小结
第三章 基于UIO的启发式测试序列生成方法的研究
3.1 基于UIO的测试序列生成方法研究
3.1.1 现有方法的研究与分析
3.1.1.1 基于宽度优先搜索的测试序列生成方法研究
3.1.1.2 基于遗传算法的测试序列生成方法研究
3.1.2 启发式测试序列生成方法的提出意义
3.2 基于UIO序列的启发式测试序列生成方法
3.2.1 算法的主要定义
3.2.2 算法的主要流程
3.2.3 算法分析
3.3 实验结果与分析
3.3.1 实验流程
3.3.1.1 简单协议
3.3.1.2 复杂协议
3.3.2 实验总结
3.4 本章小结
第四章 基于FSM的启发式测试序列生成方法的应用
4.1 测试序列自动生成系统的需求分析与概要设计
4.1.1 需求分析
4.1.2 平台体系架构
4.1.3 系统运行流程图
4.2 测试序列自动生成系统的详细设计
4.3 测试序列自动生成系统的实例应用
4.3.1 OSPF协议简介
4.3.2 协议有限状态机的生成
4.3.3 测试序列的生成
4.4 本章小结
第五章 总结与展望
参考文献
缩略语
致谢
硕士期间发表论文
【参考文献】：
期刊论文
[1]基于改进FSM的协议一致性测试方法[J]. 谢磊,魏蛟龙,朱光喜. 通信学报. 2011(06)
[2]基于FSM的测试理论、方法及评估[J]. 刘攀,缪淮扣,曾红卫,刘阳. 计算机学报. 2011(06)
[3]利用构造类别代数的协议安全测试方法[J]. 陈伟琳,周颢,赵保华. 西安交通大学学报. 2008(12)
[4]协议测试中测试序列生成方法综述[J]. 袁博,李进,孙海波,杨盘隆. 军事通信技术. 2008(01)
[5]一种改进的转换可执行分析测试序列生成算法[J]. 赵保华,陈波,屈玉贵. 中国科学技术大学学报. 2007(09)
[6]网络协议测试生成方法综述[J]. 朱振华,许毅平,周曼丽. 计算机工程与应用. 2005(15)
[7]基于构造类别代数的数据流和控制流相结合的协议测试[J]. 郭雄辉,赵保华,周颢,屈玉贵. 北京邮电大学学报. 2003(S2)
[8]基于Tcl的路由协议一致性测试[J]. 余营志,赵保华,屈玉贵. 北京邮电大学学报. 2003(S2)
[9]基于Tcl的BGP一致性测试系统设计[J]. 张波,赵保华,屈玉贵,张英堂. 计算机应用. 2003(11)
[10]基于形式化技术的协议集成测试系统——PITS[J]. 吴建平,陈修环,郝瑞兵,徐明伟,杨家海,毕军,尹霞. 清华大学学报(自然科学版). 1998(S1)
博士论文
[1]EFSM模型协议一致性测试序列自动生成研究[D]. 舒挺.浙江大学 2010
硕士论文
[1]模型驱动的协议一致性测试系统的研究与实现[D]. 汪志宾.中国科学技术大学 2011
本文编号：3042727
本文链接：https://www.wllwen.com/guanlilunwen/ydhl/3042727.html
