网络技术的快速发展,使得网络协议的应用遍及银行、金融、通信等关键领域,因此对于协议的可靠性和可信性都提出了很高的要求。协议测试作为保证协议质量的重要手段,一直是协议工程研究中的重点,并且已经产生了大量的研究成果。随着互联网规模日益扩大,IP地址短缺已经是亟待解决的问题了,IPv6协议是下一代互联网协议,提供了更大的地址空间。IPv6取代IPv4是必然的事情,对IPv6协议测试的研究和应用具有十分重要的理论和实用价值。本文对基于契约和代码植入的协议测试方法进行了比较完整而系统的研究。使用契约描述可以进一步对各种协议实现进行封装,使测试人员无需去过多关注实现的内部细节,只需了解契约描述即可完成协议的测试,本论文中使用注释作为描述契约的方式。本文还对检测代码的自动植入技术做了研究,在试验中完成了一个自动植入工具,该工具主要完成三个方面的功能:确定源代码中的植入点、对契约描述进行分析、生成自动检测功能的植入代码。对于使用统一契约描述的所有协议实现,均可完成检测代码的自动生成和植入,或者仅仅需要修改少量代码即可实现自动植入。为了更好的支持契约和代码植入的思想,我们采用XML做为协议规范的形式化描述语言。XML是一种新型的主流的描述语言,简单易懂且功能强大,正以它无可比拟的卓越特性征服着越来越多的领域和越来越多的科研开发人员。