| 【中文题名】 | 基于故障模型的Linux系统下协议一致性测试方法及测试系统 |
| 【英文题名】 | Based on Fault Model Protocol Conformance Testing Method and System for Linux |
| 【学科专业】 | 计算机应用 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2007-10-31 |
| 【中关键词】 | 一致性测试,OSPFv3,XML,EFSM,数据流与控制流, |
| 【英关键词】 | Conformance Testing,OSPFv3,XML,EFSM,Data Flow and Control Flow, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>计算技术、计算机技术>计算机软件>操作系统>网络操作系统 |
| 【论文摘要】 |
随着计算机网络的发展，IPv4协议显示出许多不足之处，因此IPv6协议应运而生。由于各协议实现厂家对协议说明的不同理解，实现的通信设备也各有不同，因此对IPv6协议族的实现进行一致性测试是相当重要的。OSPFv3协议是支持IPv6协议的域内路由协议，对OSPFv3协议进行协议一致性测试是必要的。
本文针对OSPFv3协议的一致性测试问题，探讨了路由协议一致性测试的方法。根据路由协议的特点，本文中采用远程测试法，并使用自动和手工相结合的方法产生OSPFv3协议的测试套。对于协议中能用形式化方法建模的部分，使用扩展的有限状态机EFSM建模，遵循故障模型的故障类型标准，使用数据流与控制流相结合的方法自动生成测试例。以前人们运用手工法生成的测试例具有随机性、不确定性，抽取出来的测试例不完整，为了改进手工抽取测试例的不足，本文中提出了自动生成测试例的方法，使用该方法可以准确地抽出测试例，提高效率。对于无法用形式化方法建模的部分，通过分析协议，手工产生测试例。
XML是一种数据描述语言，可以自定义元素和标记，使用规则简单，容易掌握，编辑的测试套经过解析可以直接由执行系统执行，因此我们采用XML描... |
| 【论文题纲】 |
|
摘要 |
4-6 |
|
ABSTRACT |
6-10 |
|
引言 |
10-12 |
|
第一章 协议一致性测试及OSPFv3协议简介 |
12-17 |
|
1.1 协议一致性测试简介 |
12-13 |
|
1.2 OSPFv3协议简介 |
13-17 |
|
第二章 基于EFSM模型的OSPFv3协议测试套的生成 |
17-30 |
|
2.1 EFSM |
17-18 |
|
2.2 故障模型 |
18-19 |
|
2.3 数据流与控制流 |
19 |
|
2.4 OSPFv3协议的测试例的生成 |
19-29 |
|
2.5 小结 |
29-30 |
|
第三章 用XML语言描述和保存测试套 |
30-41 |
|
3.1 可扩展标记语言XML简介 |
30-31 |
|
3.2 测试套的组织 |
31-35 |
|
3.2.1 测试套在XML文件中的结构 |
31-32 |
|
3.2.2 用于描述OSPFv3协议测试套的XML标记 |
32-35 |
|
3.3 举例 |
35-39 |
|
3.4 与TTCN描述的测试套的对比 |
39-41 |
|
第四章 linux系统下协议一致性测试系统的UML、MSC模型 |
41-47 |
|
4.1 UML简介 |
41 |
|
4.2 MSC简介 |
41-43 |
|
4.3 测试套编辑子系统的UML序列图 |
43-45 |
|
4.4 测试套执行子系统的MSC序列图 |
45 |
|
4.5 小结 |
45-47 |
|
第五章 linux系统下OSPFv3协议一致性测试系统的设计与实现 |
47-63 |
|
5.1 开发环境 |
47 |
|
5.2 系统结构 |
47-48 |
|
5.3 测试套编辑子系统的实现 |
48-59 |
|
5.3.1 测试套编辑子系统的工作流程 |
48-49 |
|
5.3.2 程序中测试套的组织 |
49-50 |
|
5.3.3 测试套编辑子系统的功能实现 |
50-59 |
|
5.4 测试套执行子系统的实现 |
59-61 |
|
5.4.1 Socket套接字 |
60-61 |
|
5.4.2 测试套执行子系统的执行过程 |
61 |
|
5.5 日志文件 |
61-62 |
|
5.6 与以前开发的测试系统的区别以及改进 |
62-63 |
|
第六章 对OSPFv3协议的一致性测试 |
63-67 |
|
6.1 组建OSPFv3协议一致性测试平台 |
63-64 |
|
6.1.1 测试平台逻辑结构 |
63-64 |
|
6.1.2 测试平台物理结构 |
64 |
|
6.2 OSPFv3协议的一致性测试报告 |
64-67 |
|
第七章 结论及进一步工作 |
67-69 |
|
7.1 结论 |
67 |
|
7.2 进一步工作 |
67-69 |
|
参考文献 |
69-70 |
|
致谢 |
70 |
|
| 【DOI】 | LunWen.ID:2.2008.376486 |
