Print

基于契约和代码植入的协议测试技术研究

论文摘要

网络技术的快速发展,使得网络协议的应用遍及银行、金融、通信等关键领域,因此对于协议的可靠性和可信性都提出了很高的要求。协议测试作为保证协议质量的重要手段,一直是协议工程研究中的重点,并且已经产生了大量的研究成果。随着互联网规模日益扩大,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 到 IPv6
  • 2.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 隧道协议的一致性测试
  • 结束语
  • 致谢
  • 参考文献
  • 在读期间研究成果

    • 相关论文文献

    本文来源: https://www.lw50.cn/article/4ded1190ba9df5ffd5f03658.html