Mobile IPv6协议一致性测试集设计与实现

协议测试是用来保证协议实现的正确性和有效性的重要手段。协议一致性测试关注被 测协议实现与协议文本要求的一致性,是协议测试的基础。文中阐述了对移动IPv6协议一致性测试 的思想及方法,并使用形式化的测试例描述语言说明了测试例的设计过程,最后给出了在一种UNIX 实现下的测试结果及分析。