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

摘要

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