网络移动IPv6协议测试生成的研究与实现

作者：杜宁; 杨柳; 郑红霞; 谢高岗nemomipv6协议一致性测试测试例描述语言

摘要：协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社