论文摘要
网络技术的快速发展,使得网络协议的应用遍及银行、金融、通信等关键领域,因此对于协议的可靠性和可信性都提出了很高的要求。协议测试作为保证协议质量的重要手段,一直是协议工程研究中的重点,并且已经产生了大量的研究成果。随着互联网规模日益扩大,IP地址短缺已经是亟待解决的问题了,IPv6协议是下一代互联网协议,提供了更大的地址空间。IPv6取代IPv4是必然的事情,对IPv6协议测试的研究和应用具有十分重要的理论和实用价值。本文对基于契约和代码植入的协议测试方法进行了比较完整而系统的研究。使用契约描述可以进一步对各种协议实现进行封装,使测试人员无需去过多关注实现的内部细节,只需了解契约描述即可完成协议的测试,本论文中使用注释作为描述契约的方式。本文还对检测代码的自动植入技术做了研究,在试验中完成了一个自动植入工具,该工具主要完成三个方面的功能:确定源代码中的植入点、对契约描述进行分析、生成自动检测功能的植入代码。对于使用统一契约描述的所有协议实现,均可完成检测代码的自动生成和植入,或者仅仅需要修改少量代码即可实现自动植入。为了更好的支持契约和代码植入的思想,我们采用XML做为协议规范的形式化描述语言。XML是一种新型的主流的描述语言,简单易懂且功能强大,正以它无可比拟的卓越特性征服着越来越多的领域和越来越多的科研开发人员。
论文目录
摘要Abstract第一章 绪论1.1 论文工作背景1.2 IPV6 协议产生背景1.3 国内外测试研究现状1.4 本文的工作第二章 协议测试技术概述2.1 软件测试的定义2.2 软件测试的常用技术2.3 协议测试概述2.4 IPV6 协议的相关知识2.4.1 IPv6 协议研究发展现状2.4.2 从IPv4 到 IPv62.4.3 IPv6 的地址类型及表示方式2.4.4 IPv6 的数据报文格式2.5 本章小结第三章 协议规范的形式化描述3.1 对协议规范进行形式化描述的重要性3.2 形式化描述的常用方法3.2.1 有限状态机模型3.2.2 Petri网3.2.3 常用的形式化描述语言3.3 使用XML对协议规范进行形式化描述3.3.1 XML的先进特性3.3.2 使用XML实现IPv6 报文报头协议规范的形式化描述3.3.3 使用XML实现隧道协议的形式化描述3.4 本章小结第四章 基于契约和代码植入的协议一致性测试4.1 契约的概念与描述4.1.1 什么是契约4.1.2 契约的描述4.2 代码植入技术概论4.2.1 代码植入概述4.2.2 代码植入工具4.3 基于契约和代码植入的IPV6 协议测试的实现4.3.1 代码自动植入的实现过程4.3.2 协议一致性测试的实现4.4 本章小结第五章 实验及结果分析5.1 IPV6 报文报头的一致性测试5.2 隧道协议的一致性测试结束语致谢参考文献在读期间研究成果
相关论文文献
标签：协议测试论文; 形式化描述论文; 契约论文; 代码植入技术论文;
